Su búsqueda retornó 7749 resultados.

Resultados
		Parallel Processing and Applied Mathematics [recurso electrónico] : 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Revised Selected Papers, Part II / edited by Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wasniewski. por Wyrzykowski, Roman [editor.] \| Dongarra, Jack [editor.] \| Karczewski, Konrad [editor.] \| Wasniewski, Jerzy [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6068Origen: 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.
		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.
		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.
		Parallel Computational Fluid Dynamics 2008 [recurso electrónico] : Parallel Numerical Methods, Software Development and Applications / edited by Damien Tromeur-Dervout, Gunther Brenner, David R. Emerson, Jocelyne Erhel. por Tromeur-Dervout, Damien [editor.] \| Brenner, Gunther [editor.] \| Emerson, David R [editor.] \| Erhel, Jocelyne [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computational Science and Engineering ; 74Origen: 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: QA71 -90.
		Towards Hardware-Intrinsic Security [recurso electrónico] : Foundations and Practice / edited by Ahmad-Reza Sadeghi, David Naccache. por Sadeghi, Ahmad-Reza [editor.] \| Naccache, David [editor.] \| SpringerLink (Online service). Series Information Security and CryptographyOrigen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .D35.
		Web Services and Formal Methods [recurso electrónico] : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers / edited by Cosimo Laneve, Jianwen Su. por Laneve, Cosimo [editor.] \| Su, Jianwen [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6194Origen: 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.
		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.
		Stone in Architecture [recurso electrónico] : Properties, Durability / edited by Siegfried Siegesmund, Rolf Snethlage. por Siegesmund, Siegfried [editor.] \| Snethlage, Rolf [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: TH438.
		Recent Trends in Network Security and Applications [recurso electrónico] : Third International Conference, CNSA 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 ; 89Origen: 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.
		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.
		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.
		Specification and Verification of Declarative Open Interaction Models [recurso electrónico] : A Logic-Based Approach / by Marco Montali. por Montali, Marco [author.] \| SpringerLink (Online service). Series Lecture Notes in Business Information Processing ; 56Origen: 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.
		Frontiers in Algorithmics [recurso electrónico] : 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings / edited by Der-Tsai Lee, Danny Z. Chen, Shi Ying. por Lee, Der-Tsai [editor.] \| Chen, Danny Z [editor.] \| Ying, Shi [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6213Origen: 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.
		Model-Driven Development of Advanced User Interfaces [recurso electrónico] / edited by Heinrich Hussmann, Gerrit Meixner, Detlef Zuehlke. por Hussmann, Heinrich [editor.] \| Meixner, Gerrit [editor.] \| Zuehlke, Detlef [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 340Origen: 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.
		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.
		Experimental and Theoretical Investigations of Steel-Fibrous Concrete [recurso electrónico] / by Jacek Tejchman, Jan Kozicki. por Tejchman, Jacek [author.] \| Kozicki, Jan [author.] \| SpringerLink (Online service). Series Springer Series in Geomechanics and GeoengineeringOrigen: 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: TA703 -705.4.
		Intelligent Interactive Multimedia Systems and Services [recurso electrónico] / edited by George A. Tsihrintzis, Ernesto Damiani, Maria Virvou, Robert J. Howlett, Lakhmi C. Jain. por Tsihrintzis, George A [editor.] \| Damiani, Ernesto [editor.] \| Virvou, Maria [editor.] \| Howlett, Robert J [editor.] \| Jain, Lakhmi C [editor.] \| SpringerLink (Online service). Series Smart Innovation, Systems and Technologies ; 6Origen: 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.
		Torsion and Shear Stresses in Ships [recurso electrónico] / by Mohamed Shama. por Shama, Mohamed [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 : Imprint: Springer, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TJ1 -1570.

		Parallel Processing and Applied Mathematics [recurso electrónico] : 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Revised Selected Papers, Part II / edited by Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wasniewski. por Wyrzykowski, Roman [editor.] \| Dongarra, Jack [editor.] \| Karczewski, Konrad [editor.] \| Wasniewski, Jerzy [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6068Origen: 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.
		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.
		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.
		Parallel Computational Fluid Dynamics 2008 [recurso electrónico] : Parallel Numerical Methods, Software Development and Applications / edited by Damien Tromeur-Dervout, Gunther Brenner, David R. Emerson, Jocelyne Erhel. por Tromeur-Dervout, Damien [editor.] \| Brenner, Gunther [editor.] \| Emerson, David R [editor.] \| Erhel, Jocelyne [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computational Science and Engineering ; 74Origen: 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: QA71 -90.
		Towards Hardware-Intrinsic Security [recurso electrónico] : Foundations and Practice / edited by Ahmad-Reza Sadeghi, David Naccache. por Sadeghi, Ahmad-Reza [editor.] \| Naccache, David [editor.] \| SpringerLink (Online service). Series Information Security and CryptographyOrigen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .D35.
		Web Services and Formal Methods [recurso electrónico] : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers / edited by Cosimo Laneve, Jianwen Su. por Laneve, Cosimo [editor.] \| Su, Jianwen [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6194Origen: 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.
		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.
		Stone in Architecture [recurso electrónico] : Properties, Durability / edited by Siegfried Siegesmund, Rolf Snethlage. por Siegesmund, Siegfried [editor.] \| Snethlage, Rolf [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: TH438.
		Recent Trends in Network Security and Applications [recurso electrónico] : Third International Conference, CNSA 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 ; 89Origen: 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.
		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.
		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.
		Specification and Verification of Declarative Open Interaction Models [recurso electrónico] : A Logic-Based Approach / by Marco Montali. por Montali, Marco [author.] \| SpringerLink (Online service). Series Lecture Notes in Business Information Processing ; 56Origen: 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.
		Frontiers in Algorithmics [recurso electrónico] : 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings / edited by Der-Tsai Lee, Danny Z. Chen, Shi Ying. por Lee, Der-Tsai [editor.] \| Chen, Danny Z [editor.] \| Ying, Shi [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6213Origen: 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.
		Model-Driven Development of Advanced User Interfaces [recurso electrónico] / edited by Heinrich Hussmann, Gerrit Meixner, Detlef Zuehlke. por Hussmann, Heinrich [editor.] \| Meixner, Gerrit [editor.] \| Zuehlke, Detlef [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 340Origen: 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.
		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.
		Experimental and Theoretical Investigations of Steel-Fibrous Concrete [recurso electrónico] / by Jacek Tejchman, Jan Kozicki. por Tejchman, Jacek [author.] \| Kozicki, Jan [author.] \| SpringerLink (Online service). Series Springer Series in Geomechanics and GeoengineeringOrigen: 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: TA703 -705.4.
		Intelligent Interactive Multimedia Systems and Services [recurso electrónico] / edited by George A. Tsihrintzis, Ernesto Damiani, Maria Virvou, Robert J. Howlett, Lakhmi C. Jain. por Tsihrintzis, George A [editor.] \| Damiani, Ernesto [editor.] \| Virvou, Maria [editor.] \| Howlett, Robert J [editor.] \| Jain, Lakhmi C [editor.] \| SpringerLink (Online service). Series Smart Innovation, Systems and Technologies ; 6Origen: 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.
		Torsion and Shear Stresses in Ships [recurso electrónico] / by Mohamed Shama. por Shama, Mohamed [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 : Imprint: Springer, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TJ1 -1570.

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.