Su búsqueda retornó 7749 resultados.

Resultados
		Software Process Improvement and Capability Determination [recurso electrónico] : 11th International Conference, SPICE 2011, Dublin, Ireland, May 30 – June 1, 2011. Proceedings / edited by Rory V. O’Connor, Terry Rout, Fergal McCaffery, Alec Dorling. por O’Connor, Rory V [editor.] \| Rout, Terry [editor.] \| McCaffery, Fergal [editor.] \| Dorling, Alec [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 155Origen: 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: QA76.9 .M3.
		Injection Molding [recurso electrónico] : Integration of Theory and Modeling Methods / by Rong Zheng, Roger I. Tanner, Xi-Jun Fan. por Zheng, Rong [author.] \| Tanner, Roger I [author.] \| Fan, Xi-Jun [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, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: T55.4 -60.8.
		Coordination, Organizations, Institutions, and Norms in Agent Systems VI [recurso electrónico] : COIN 2010 International Workshops, COIN@AAMAS 2010, Toronto, Canada, May 2010, COIN@MALLOW 2010, Lyon, France, August 2010, Revised Selected Papers / edited by Marina Vos, Nicoletta Fornara, Jeremy V. Pitt, George Vouros. por Vos, Marina [editor.] \| Fornara, Nicoletta [editor.] \| Pitt, Jeremy V [editor.] \| Vouros, George [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6541Origen: 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: Q334 -342.
		Intelligent Decision Systems in Large-Scale Distributed Environments [recurso electrónico] / edited by Pascal Bouvry, Horacio González-Vélez, Joanna Kolodziej. por Bouvry, Pascal [editor.] \| González-Vélez, Horacio [editor.] \| Kolodziej, Joanna [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 362Origen: 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.
		From Curve Fitting to Machine Learning [recurso electrónico] : An Illustrative Guide to Scientific Data Analysis and Computational Intelligence / by Achim Zielesny. por Zielesny, Achim [author.] \| SpringerLink (Online service). Series Intelligent Systems Reference Library ; 18Origen: 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.
		Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems [recurso electrónico] : 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers / edited by Radu Calinescu, Ethan Jackson. por Calinescu, Radu [editor.] \| Jackson, Ethan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6662Origen: 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: QA76.758.
		Robust Speech Recognition of Uncertain or Missing Data [recurso electrónico] : Theory and Applications / edited by Dorothea Kolossa, Reinhold Häb-Umbach. por Kolossa, Dorothea [editor.] \| Häb-Umbach, Reinhold [editor.] \| 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, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TK5102.9.
		Developing Concepts in Applied Intelligence [recurso electrónico] / edited by Kishan G. Mehrotra, Chilukuri Mohan, Jae C. Oh, Pramod K. Varshney, Moonis Ali. por Mehrotra, Kishan G [editor.] \| Mohan, Chilukuri [editor.] \| Oh, Jae C [editor.] \| Varshney, Pramod K [editor.] \| Ali, Moonis [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 363Origen: 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: TA1 -2040.
		Reliable Software Technologies - Ada-Europe 2011 [recurso electrónico] : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings / edited by Alexander Romanovsky, Tullio Vardanega. por Romanovsky, Alexander [editor.] \| Vardanega, Tullio [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6652Origen: 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: QA76.7 -76.73.
		Top Productivity through Software Reuse [recurso electrónico] : 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings / edited by Klaus Schmid. por Schmid, Klaus [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6727Origen: 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: QA76.758.
		Computers,Networks, Systems, and Industrial Engineering 2011 [recurso electrónico] / edited by Roger Lee. por Lee, Roger [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 365Origen: 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.
		Computer and Information Science 2011 [recurso electrónico] / edited by Roger Lee. por Lee, Roger [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 364Origen: 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.
		Distributed Applications and Interoperable Systems [recurso electrónico] : 11th IFIP WG 6.1 International Conference, DAIS 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings / edited by Pascal Felber, Romain Rouvoy. por Felber, Pascal [editor.] \| Rouvoy, Romain [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6723Origen: 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: TK5105.5 -5105.9.
		Random Finite Sets for Robot Mapping and SLAM [recurso electrónico] : New Concepts in Autonomous Robotic Map Representations / by John Mullane, Ba-Ngu Vo, Martin Adams, Ba-Tuong Vo. por Mullane, John [author.] \| Vo, Ba-Ngu [author.] \| Adams, Martin [author.] \| Vo, Ba-Tuong [author.] \| SpringerLink (Online service). Series Springer Tracts in Advanced Robotics ; 72Origen: 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: TJ210.2 -211.495.
		Dependable Computer Systems [recurso electrónico] / edited by Wojciech Zamojski, Janusz Kacprzyk, Jacek Mazurkiewicz, Jaroslaw Sugier, Tomasz Walkowiak. por Zamojski, Wojciech [editor.] \| Kacprzyk, Janusz [editor.] \| Mazurkiewicz, Jacek [editor.] \| Sugier, Jaroslaw [editor.] \| Walkowiak, Tomasz [editor.] \| SpringerLink (Online service). Series Advances in Intelligent and Soft Computing ; 97Origen: 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.
		Intelligent Systems: Approximation by Artificial Neural Networks [recurso electrónico] / by George A. Anastassiou. por Anastassiou, George A [author.] \| SpringerLink (Online service). Series Intelligent Systems Reference Library ; 19Origen: 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.
		FM 2011: Formal Methods [recurso electrónico] : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings / edited by Michael Butler, Wolfram Schulte. por Butler, Michael [editor.] \| Schulte, Wolfram [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6664Origen: 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: QA76.758.
		Mobile Networks and Management [recurso electrónico] : Second International ICST Conference, MONAMI 2010, Santander, Spain, September 22-24, 2010, Revised Selected Papers / edited by Kostas Pentikousis, Ramón Agüero, Marta García-Arranz, Symeon Papavassiliou. por Pentikousis, Kostas [editor.] \| Agüero, Ramón [editor.] \| García-Arranz, Marta [editor.] \| Papavassiliou, Symeon [editor.] \| SpringerLink (Online service). Series Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 68Origen: 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: TK5105.5 -5105.9.
		Linear and Nonlinear Integral Equations [recurso electrónico] : Methods and Applications / by Abdul-Majid Wazwaz. por Wazwaz, Abdul-Majid [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, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA431.
		Formal Methods for Eternal Networked Software Systems [recurso electrónico] : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures / edited by Marco Bernardo, Valérie Issarny. por Bernardo, Marco [editor.] \| Issarny, Valérie [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6659Origen: 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: QA76.758.

		Software Process Improvement and Capability Determination [recurso electrónico] : 11th International Conference, SPICE 2011, Dublin, Ireland, May 30 – June 1, 2011. Proceedings / edited by Rory V. O’Connor, Terry Rout, Fergal McCaffery, Alec Dorling. por O’Connor, Rory V [editor.] \| Rout, Terry [editor.] \| McCaffery, Fergal [editor.] \| Dorling, Alec [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 155Origen: 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: QA76.9 .M3.
		Injection Molding [recurso electrónico] : Integration of Theory and Modeling Methods / by Rong Zheng, Roger I. Tanner, Xi-Jun Fan. por Zheng, Rong [author.] \| Tanner, Roger I [author.] \| Fan, Xi-Jun [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, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: T55.4 -60.8.
		Coordination, Organizations, Institutions, and Norms in Agent Systems VI [recurso electrónico] : COIN 2010 International Workshops, COIN@AAMAS 2010, Toronto, Canada, May 2010, COIN@MALLOW 2010, Lyon, France, August 2010, Revised Selected Papers / edited by Marina Vos, Nicoletta Fornara, Jeremy V. Pitt, George Vouros. por Vos, Marina [editor.] \| Fornara, Nicoletta [editor.] \| Pitt, Jeremy V [editor.] \| Vouros, George [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6541Origen: 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: Q334 -342.
		Intelligent Decision Systems in Large-Scale Distributed Environments [recurso electrónico] / edited by Pascal Bouvry, Horacio González-Vélez, Joanna Kolodziej. por Bouvry, Pascal [editor.] \| González-Vélez, Horacio [editor.] \| Kolodziej, Joanna [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 362Origen: 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.
		From Curve Fitting to Machine Learning [recurso electrónico] : An Illustrative Guide to Scientific Data Analysis and Computational Intelligence / by Achim Zielesny. por Zielesny, Achim [author.] \| SpringerLink (Online service). Series Intelligent Systems Reference Library ; 18Origen: 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.
		Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems [recurso electrónico] : 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers / edited by Radu Calinescu, Ethan Jackson. por Calinescu, Radu [editor.] \| Jackson, Ethan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6662Origen: 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: QA76.758.
		Robust Speech Recognition of Uncertain or Missing Data [recurso electrónico] : Theory and Applications / edited by Dorothea Kolossa, Reinhold Häb-Umbach. por Kolossa, Dorothea [editor.] \| Häb-Umbach, Reinhold [editor.] \| 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, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TK5102.9.
		Developing Concepts in Applied Intelligence [recurso electrónico] / edited by Kishan G. Mehrotra, Chilukuri Mohan, Jae C. Oh, Pramod K. Varshney, Moonis Ali. por Mehrotra, Kishan G [editor.] \| Mohan, Chilukuri [editor.] \| Oh, Jae C [editor.] \| Varshney, Pramod K [editor.] \| Ali, Moonis [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 363Origen: 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: TA1 -2040.
		Reliable Software Technologies - Ada-Europe 2011 [recurso electrónico] : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings / edited by Alexander Romanovsky, Tullio Vardanega. por Romanovsky, Alexander [editor.] \| Vardanega, Tullio [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6652Origen: 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: QA76.7 -76.73.
		Top Productivity through Software Reuse [recurso electrónico] : 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings / edited by Klaus Schmid. por Schmid, Klaus [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6727Origen: 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: QA76.758.
		Computers,Networks, Systems, and Industrial Engineering 2011 [recurso electrónico] / edited by Roger Lee. por Lee, Roger [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 365Origen: 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.
		Computer and Information Science 2011 [recurso electrónico] / edited by Roger Lee. por Lee, Roger [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 364Origen: 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.
		Distributed Applications and Interoperable Systems [recurso electrónico] : 11th IFIP WG 6.1 International Conference, DAIS 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings / edited by Pascal Felber, Romain Rouvoy. por Felber, Pascal [editor.] \| Rouvoy, Romain [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6723Origen: 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: TK5105.5 -5105.9.
		Random Finite Sets for Robot Mapping and SLAM [recurso electrónico] : New Concepts in Autonomous Robotic Map Representations / by John Mullane, Ba-Ngu Vo, Martin Adams, Ba-Tuong Vo. por Mullane, John [author.] \| Vo, Ba-Ngu [author.] \| Adams, Martin [author.] \| Vo, Ba-Tuong [author.] \| SpringerLink (Online service). Series Springer Tracts in Advanced Robotics ; 72Origen: 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: TJ210.2 -211.495.
		Dependable Computer Systems [recurso electrónico] / edited by Wojciech Zamojski, Janusz Kacprzyk, Jacek Mazurkiewicz, Jaroslaw Sugier, Tomasz Walkowiak. por Zamojski, Wojciech [editor.] \| Kacprzyk, Janusz [editor.] \| Mazurkiewicz, Jacek [editor.] \| Sugier, Jaroslaw [editor.] \| Walkowiak, Tomasz [editor.] \| SpringerLink (Online service). Series Advances in Intelligent and Soft Computing ; 97Origen: 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.
		Intelligent Systems: Approximation by Artificial Neural Networks [recurso electrónico] / by George A. Anastassiou. por Anastassiou, George A [author.] \| SpringerLink (Online service). Series Intelligent Systems Reference Library ; 19Origen: 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.
		FM 2011: Formal Methods [recurso electrónico] : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings / edited by Michael Butler, Wolfram Schulte. por Butler, Michael [editor.] \| Schulte, Wolfram [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6664Origen: 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: QA76.758.
		Mobile Networks and Management [recurso electrónico] : Second International ICST Conference, MONAMI 2010, Santander, Spain, September 22-24, 2010, Revised Selected Papers / edited by Kostas Pentikousis, Ramón Agüero, Marta García-Arranz, Symeon Papavassiliou. por Pentikousis, Kostas [editor.] \| Agüero, Ramón [editor.] \| García-Arranz, Marta [editor.] \| Papavassiliou, Symeon [editor.] \| SpringerLink (Online service). Series Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 68Origen: 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: TK5105.5 -5105.9.
		Linear and Nonlinear Integral Equations [recurso electrónico] : Methods and Applications / by Abdul-Majid Wazwaz. por Wazwaz, Abdul-Majid [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, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA431.
		Formal Methods for Eternal Networked Software Systems [recurso electrónico] : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures / edited by Marco Bernardo, Valérie Issarny. por Bernardo, Marco [editor.] \| Issarny, Valérie [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6659Origen: 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: QA76.758.

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Ubicaciones

Series

Lugares

Tópicos

Títulos

Su búsqueda retornó 7749 resultados.