Su búsqueda retornó 5913 resultados.

Resultados
		Computer Aided Verification [recurso electrónico] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings / edited by Tayssir Touili, Byron Cook, Paul Jackson. por Touili, Tayssir [editor.] \| Cook, Byron [editor.] \| Jackson, Paul [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6174Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .L63.
		Networked Digital Technologies [recurso electrónico] : Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010. Proceedings, Part II / edited by Filip Zavoral, Jakub Yaghob, Pit Pichappan, Eyas El-Qawasmeh. por Zavoral, Filip [editor.] \| Yaghob, Jakub [editor.] \| Pichappan, Pit [editor.] \| El-Qawasmeh, Eyas [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 88Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TK5105.5 -5105.9.
		Balanced Automation Systems for Future Manufacturing Networks [recurso electrónico] : 9th IFIP WG 5.5 International Conference, BASYS 2010, Valencia, Spain, July 21-23, 2010. Proceedings / edited by Ángel Ortiz, Rubén Darío Franco, Pedro Gómez Gasquet. por Ortiz, Ángel [editor.] \| Franco, Rubén Darío [editor.] \| Gasquet, Pedro Gómez [editor.] \| SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology ; 322Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .C65.
		Towards Hybrid and Adaptive Computing [recurso electrónico] : A Perspective / by Anupam Shukla, Ritu Tiwari, Rahul Kala. por Shukla, Anupam [author.] \| Tiwari, Ritu [author.] \| Kala, Rahul [author.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 307Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q342.
		Self-Organizing Architectures [recurso electrónico] : First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009, Revised Selected and Invited Papers / edited by Danny Weyns, Sam Malek, Rogério Lemos, Jesper Andersson. por Weyns, Danny [editor.] \| Malek, Sam [editor.] \| Lemos, Rogério [editor.] \| Andersson, Jesper [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6090Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Resource Discovery [recurso electrónico] : Second International Workshop, RED 2009, Lyon, France, August 28, 2009. Revised Papers / edited by Zoé Lacroix. por Lacroix, Zoé [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6162Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.76 .A65.
		Controlled Natural Language [recurso electrónico] : Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009. Revised Papers / edited by Norbert E. Fuchs. por Fuchs, Norbert E [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5972Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
		Innovations in Multi-Agent Systems and Applications - 1 [recurso electrónico] / edited by Dipti Srinivasan, Lakhmi C. Jain. por Srinivasan, Dipti [editor.] \| Jain, Lakhmi C [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 310Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TA329 -348.
		Developments in Language Theory [recurso electrónico] : 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings / edited by Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu. por Gao, Yuan [editor.] \| Lu, Hanlin [editor.] \| Seki, Shinnosuke [editor.] \| Yu, Sheng [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6224Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .A43.
		Computational Intelligence in Healthcare 4 [recurso electrónico] : Advanced Methodologies / edited by Isabelle Bichindaritz, Sachin Vaidya, Ashlesha Jain, Lakhmi C. Jain. por Bichindaritz, Isabelle [editor.] \| Vaidya, Sachin [editor.] \| Jain, Ashlesha [editor.] \| Jain, Lakhmi C [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 309Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q342.
		Transactions on Rough Sets XII [recurso electrónico] / edited by James F. Peters, Andrzej Skowron, Roman Slowinski, Pawan Lingras, Duoqian Miao, Shusaku Tsumoto. por Peters, James F [editor.] \| Skowron, Andrzej [editor.] \| Slowinski, Roman [editor.] \| Lingras, Pawan [editor.] \| Miao, Duoqian [editor.] \| Tsumoto, Shusaku [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6190Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -QA10.3.
		On Collective Intelligence [recurso electrónico] / edited by Theo J. Bastiaens, Ulrike Baumöl, Bernd J. Krämer. por Bastiaens, Theo J [editor.] \| Baumöl, Ulrike [editor.] \| Krämer, Bernd J [editor.] \| SpringerLink (Online service). Series Advances in Intelligent and Soft Computing ; 76Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q342.
		Recent Trends in Networks and Communications [recurso electrónico] : International Conferences, NeCoM 2010, WiMoN 2010, WeST 2010, Chennai, India, July 23-25, 2010. Proceedings / edited by Natarajan Meghanathan, Selma Boumerdassi, Nabendu Chaki, Dhinaharan Nagamalai. por Meghanathan, Natarajan [editor.] \| Boumerdassi, Selma [editor.] \| Chaki, Nabendu [editor.] \| Nagamalai, Dhinaharan [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 90Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.76 .A65.
		Logical Analysis of Hybrid Systems [recurso electrónico] : Proving Theorems for Complex Dynamics / by André Platzer. por Platzer, André [author.] \| SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -QA10.3.
		Unifying Theories of Programming [recurso electrónico] : Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers / edited by Andrew Butterfield. por Butterfield, Andrew [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5713Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .L63.
		Dependency Structures and Lexicalized Grammars [recurso electrónico] : An Algebraic Approach / by Marco Kuhlmann. por Kuhlmann, Marco [author.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6270Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
		Computational Intelligence Methods for Bioinformatics and Biostatistics [recurso electrónico] : 6th International Meeting, CIBB 2009, Genoa, Italy, October 15-17, 2009, Revised Selected Papers / edited by Francesco Masulli, Leif E. Peterson, Roberto Tagliaferri. por Masulli, Francesco [editor.] \| Peterson, Leif E [editor.] \| Tagliaferri, Roberto [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6160Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA75.5 -76.95.
		Database Systems for Advanced Applications [recurso electrónico] : 15th International Conference, DASFAA 2010, International Workshops: GDM, BenchmarX, MCIS, SNSMW, DIEW, UDM, Tsukuba, Japan, April 1-4, 2010, Revised Selected Papers / edited by Masatoshi Yoshikawa, Xiaofeng Meng, Takayuki Yumoto, Qiang Ma, Lifeng Sun, Chiemi Watanabe. por Yoshikawa, Masatoshi [editor.] \| Meng, Xiaofeng [editor.] \| Yumoto, Takayuki [editor.] \| Ma, Qiang [editor.] \| Sun, Lifeng [editor.] \| Watanabe, Chiemi [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6193Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.76 .A65.
		Innovation through Knowledge Transfer [recurso electrónico] / edited by Robert James Howlett. por Howlett, Robert James [editor.] \| SpringerLink (Online service). Series Smart Innovation, Systems and Technologies ; 5Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q342.
		Diagrammatic Representation and Inference [recurso electrónico] : 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings / edited by Ashok K. Goel, Mateja Jamnik, N. Hari Narayanan. por Goel, Ashok K [editor.] \| Jamnik, Mateja [editor.] \| Narayanan, N. Hari [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6170Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .U83.

		Computer Aided Verification [recurso electrónico] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings / edited by Tayssir Touili, Byron Cook, Paul Jackson. por Touili, Tayssir [editor.] \| Cook, Byron [editor.] \| Jackson, Paul [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6174Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .L63.
		Networked Digital Technologies [recurso electrónico] : Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010. Proceedings, Part II / edited by Filip Zavoral, Jakub Yaghob, Pit Pichappan, Eyas El-Qawasmeh. por Zavoral, Filip [editor.] \| Yaghob, Jakub [editor.] \| Pichappan, Pit [editor.] \| El-Qawasmeh, Eyas [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 88Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TK5105.5 -5105.9.
		Balanced Automation Systems for Future Manufacturing Networks [recurso electrónico] : 9th IFIP WG 5.5 International Conference, BASYS 2010, Valencia, Spain, July 21-23, 2010. Proceedings / edited by Ángel Ortiz, Rubén Darío Franco, Pedro Gómez Gasquet. por Ortiz, Ángel [editor.] \| Franco, Rubén Darío [editor.] \| Gasquet, Pedro Gómez [editor.] \| SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology ; 322Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .C65.
		Towards Hybrid and Adaptive Computing [recurso electrónico] : A Perspective / by Anupam Shukla, Ritu Tiwari, Rahul Kala. por Shukla, Anupam [author.] \| Tiwari, Ritu [author.] \| Kala, Rahul [author.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 307Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q342.
		Self-Organizing Architectures [recurso electrónico] : First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009, Revised Selected and Invited Papers / edited by Danny Weyns, Sam Malek, Rogério Lemos, Jesper Andersson. por Weyns, Danny [editor.] \| Malek, Sam [editor.] \| Lemos, Rogério [editor.] \| Andersson, Jesper [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6090Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Resource Discovery [recurso electrónico] : Second International Workshop, RED 2009, Lyon, France, August 28, 2009. Revised Papers / edited by Zoé Lacroix. por Lacroix, Zoé [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6162Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.76 .A65.
		Controlled Natural Language [recurso electrónico] : Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009. Revised Papers / edited by Norbert E. Fuchs. por Fuchs, Norbert E [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5972Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
		Innovations in Multi-Agent Systems and Applications - 1 [recurso electrónico] / edited by Dipti Srinivasan, Lakhmi C. Jain. por Srinivasan, Dipti [editor.] \| Jain, Lakhmi C [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 310Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TA329 -348.
		Developments in Language Theory [recurso electrónico] : 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings / edited by Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu. por Gao, Yuan [editor.] \| Lu, Hanlin [editor.] \| Seki, Shinnosuke [editor.] \| Yu, Sheng [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6224Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .A43.
		Computational Intelligence in Healthcare 4 [recurso electrónico] : Advanced Methodologies / edited by Isabelle Bichindaritz, Sachin Vaidya, Ashlesha Jain, Lakhmi C. Jain. por Bichindaritz, Isabelle [editor.] \| Vaidya, Sachin [editor.] \| Jain, Ashlesha [editor.] \| Jain, Lakhmi C [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 309Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q342.
		Transactions on Rough Sets XII [recurso electrónico] / edited by James F. Peters, Andrzej Skowron, Roman Slowinski, Pawan Lingras, Duoqian Miao, Shusaku Tsumoto. por Peters, James F [editor.] \| Skowron, Andrzej [editor.] \| Slowinski, Roman [editor.] \| Lingras, Pawan [editor.] \| Miao, Duoqian [editor.] \| Tsumoto, Shusaku [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6190Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -QA10.3.
		On Collective Intelligence [recurso electrónico] / edited by Theo J. Bastiaens, Ulrike Baumöl, Bernd J. Krämer. por Bastiaens, Theo J [editor.] \| Baumöl, Ulrike [editor.] \| Krämer, Bernd J [editor.] \| SpringerLink (Online service). Series Advances in Intelligent and Soft Computing ; 76Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q342.
		Recent Trends in Networks and Communications [recurso electrónico] : International Conferences, NeCoM 2010, WiMoN 2010, WeST 2010, Chennai, India, July 23-25, 2010. Proceedings / edited by Natarajan Meghanathan, Selma Boumerdassi, Nabendu Chaki, Dhinaharan Nagamalai. por Meghanathan, Natarajan [editor.] \| Boumerdassi, Selma [editor.] \| Chaki, Nabendu [editor.] \| Nagamalai, Dhinaharan [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 90Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.76 .A65.
		Logical Analysis of Hybrid Systems [recurso electrónico] : Proving Theorems for Complex Dynamics / by André Platzer. por Platzer, André [author.] \| SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -QA10.3.
		Unifying Theories of Programming [recurso electrónico] : Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers / edited by Andrew Butterfield. por Butterfield, Andrew [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5713Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .L63.
		Dependency Structures and Lexicalized Grammars [recurso electrónico] : An Algebraic Approach / by Marco Kuhlmann. por Kuhlmann, Marco [author.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6270Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
		Computational Intelligence Methods for Bioinformatics and Biostatistics [recurso electrónico] : 6th International Meeting, CIBB 2009, Genoa, Italy, October 15-17, 2009, Revised Selected Papers / edited by Francesco Masulli, Leif E. Peterson, Roberto Tagliaferri. por Masulli, Francesco [editor.] \| Peterson, Leif E [editor.] \| Tagliaferri, Roberto [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6160Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA75.5 -76.95.
		Database Systems for Advanced Applications [recurso electrónico] : 15th International Conference, DASFAA 2010, International Workshops: GDM, BenchmarX, MCIS, SNSMW, DIEW, UDM, Tsukuba, Japan, April 1-4, 2010, Revised Selected Papers / edited by Masatoshi Yoshikawa, Xiaofeng Meng, Takayuki Yumoto, Qiang Ma, Lifeng Sun, Chiemi Watanabe. por Yoshikawa, Masatoshi [editor.] \| Meng, Xiaofeng [editor.] \| Yumoto, Takayuki [editor.] \| Ma, Qiang [editor.] \| Sun, Lifeng [editor.] \| Watanabe, Chiemi [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6193Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.76 .A65.
		Innovation through Knowledge Transfer [recurso electrónico] / edited by Robert James Howlett. por Howlett, Robert James [editor.] \| SpringerLink (Online service). Series Smart Innovation, Systems and Technologies ; 5Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q342.
		Diagrammatic Representation and Inference [recurso electrónico] : 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings / edited by Ashok K. Goel, Mateja Jamnik, N. Hari Narayanan. por Goel, Ashok K [editor.] \| Jamnik, Mateja [editor.] \| Narayanan, N. Hari [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6170Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .U83.

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Ubicaciones

Series

Lugares

Tópicos

Su búsqueda retornó 5913 resultados.