Su búsqueda retornó 7749 resultados.

Resultados
		Recent Trends in Wireless and Mobile Networks [recurso electrónico] : Second International Conference, WiMo 2010, Ankara, Turkey, June 26-28, 2010. Proceedings / edited by Abdulkadir Özcan, Nabendu Chaki, Dhinaharan Nagamalai. por Özcan, Abdulkadir [editor.] \| Chaki, Nabendu [editor.] \| Nagamalai, Dhinaharan [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 84Origen: 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.
		Theory and Applications of Satisfiability Testing – SAT 2010 [recurso electrónico] : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings / edited by Ofer Strichman, Stefan Szeider. por Strichman, Ofer [editor.] \| Szeider, Stefan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6175Origen: 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.
		Requirements Engineering: Foundation for Software Quality [recurso electrónico] : 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30–July 2, 2010. Proceedings / edited by Roel Wieringa, Anne Persson. por Wieringa, Roel [editor.] \| Persson, Anne [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6182Origen: 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.
		Fluid Structure Interaction II [recurso electrónico] : Modelling, Simulation, Optimization / edited by Hans-Joachim Bungartz, Miriam Mehl, Michael Schäfer. por Bungartz, Hans-Joachim [editor.] \| Mehl, Miriam [editor.] \| Schäfer, Michael [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computational Science and Engineering ; 73Origen: 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.
		Optical Remote Sensing [recurso electrónico] : Advances in Signal Processing and Exploitation Techniques / edited by Saurabh Prasad, Lori M. Bruce, Jocelyn Chanussot. por Prasad, Saurabh [editor.] \| Bruce, Lori M [editor.] \| Chanussot, Jocelyn [editor.] \| SpringerLink (Online service). Series Augmented Vision and Reality ; 3Origen: 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.
		Cellular and Biomolecular Mechanics and Mechanobiology [recurso electrónico] / edited by Amit Gefen. por Gefen, Amit [editor.] \| SpringerLink (Online service). Series Studies in Mechanobiology, Tissue Engineering and Biomaterials ; 4Origen: 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: R856 -857.
		New Results in Numerical and Experimental Fluid Mechanics VII [recurso electrónico] : Contributions to the 16th STAB/DGLR Symposium Aachen, Germany 2008 / edited by Andreas Dillmann, Gerd Heller, Michael Klaas, Hans-Peter Kreplin, Wolfgang Nitsche, Wolfgang Schröder. por Dillmann, Andreas [editor.] \| Heller, Gerd [editor.] \| Klaas, Michael [editor.] \| Kreplin, Hans-Peter [editor.] \| Nitsche, Wolfgang [editor.] \| Schröder, Wolfgang [editor.] \| SpringerLink (Online service). Series Notes on Numerical Fluid Mechanics and Multidisciplinary Design ; 112Origen: 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: TA357 -359.
		FORMS/FORMAT 2010 [recurso electrónico] : Formal Methods for Automation and Safety in Railway and Automotive Systems / edited by Eckehard Schnieder, Geza Tarnai. por Schnieder, Eckehard [editor.] \| Tarnai, Geza [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: TA169.7.
		Logic, Language and Meaning [recurso electrónico] : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers / edited by Maria Aloni, Harald Bastiaanse, Tikitu Jager, Katrin Schulz. por Aloni, Maria [editor.] \| Bastiaanse, Harald [editor.] \| Jager, Tikitu [editor.] \| Schulz, Katrin [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6042Origen: 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 .M35.
		Networked Digital Technologies [recurso electrónico] : Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010. Proceedings, Part I / 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 ; 87Origen: 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.
		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.
		Exploring Services Science [recurso electrónico] : First International Conference , IESS 2010, Geneva, Switzerland, February 17-19, 2010. Revised Papers / edited by Jean-Henry Morin, Jolita Ralyté, Mehdi Snene. por Morin, Jean-Henry [editor.] \| Ralyté, Jolita [editor.] \| Snene, Mehdi [editor.] \| SpringerLink (Online service). Series Lecture Notes in Business Information Processing ; 53Origen: 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: HF54.5 -54.56.
		Digital Filters [recurso electrónico] : Basics and Design / by Dietrich Schlichthärle. por Schlichthärle, Dietrich [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: TK5102.9.
		Voice over IP Networks [recurso electrónico] : Quality of Service, Pricing and Security / by Pramode K. Verma, Ling Wang. por Verma, Pramode K [author.] \| Wang, Ling [author.] \| SpringerLink (Online service). Series Lecture Notes in Electrical Engineering ; 71Origen: 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: TK1 -9971.
		Testing Techniques in Software Engineering [recurso electrónico] : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures / edited by Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook. por Borba, Paulo [editor.] \| Cavalcanti, Ana [editor.] \| Sampaio, Augusto [editor.] \| Woodcook, Jim [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6153Origen: 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.
		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.
		New Modeling Concepts for Today’s Software Processes [recurso electrónico] : International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings / edited by Jürgen Münch, Ye Yang, Wilhelm Schäfer. por Münch, Jürgen [editor.] \| Yang, Ye [editor.] \| Schäfer, Wilhelm [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6195Origen: 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.
		Critical Information Infrastructures Security [recurso electrónico] : 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009. Revised Papers / edited by Erich Rome, Robin Bloomfield. por Rome, Erich [editor.] \| Bloomfield, Robin [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6027Origen: 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 .R44.
		Parallel Processing and Applied Mathematics [recurso electrónico] : 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009. Revised Selected Papers, Part I / 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 ; 6067Origen: 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.

		Recent Trends in Wireless and Mobile Networks [recurso electrónico] : Second International Conference, WiMo 2010, Ankara, Turkey, June 26-28, 2010. Proceedings / edited by Abdulkadir Özcan, Nabendu Chaki, Dhinaharan Nagamalai. por Özcan, Abdulkadir [editor.] \| Chaki, Nabendu [editor.] \| Nagamalai, Dhinaharan [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 84Origen: 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.
		Theory and Applications of Satisfiability Testing – SAT 2010 [recurso electrónico] : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings / edited by Ofer Strichman, Stefan Szeider. por Strichman, Ofer [editor.] \| Szeider, Stefan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6175Origen: 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.
		Requirements Engineering: Foundation for Software Quality [recurso electrónico] : 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30–July 2, 2010. Proceedings / edited by Roel Wieringa, Anne Persson. por Wieringa, Roel [editor.] \| Persson, Anne [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6182Origen: 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.
		Fluid Structure Interaction II [recurso electrónico] : Modelling, Simulation, Optimization / edited by Hans-Joachim Bungartz, Miriam Mehl, Michael Schäfer. por Bungartz, Hans-Joachim [editor.] \| Mehl, Miriam [editor.] \| Schäfer, Michael [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computational Science and Engineering ; 73Origen: 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.
		Optical Remote Sensing [recurso electrónico] : Advances in Signal Processing and Exploitation Techniques / edited by Saurabh Prasad, Lori M. Bruce, Jocelyn Chanussot. por Prasad, Saurabh [editor.] \| Bruce, Lori M [editor.] \| Chanussot, Jocelyn [editor.] \| SpringerLink (Online service). Series Augmented Vision and Reality ; 3Origen: 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.
		Cellular and Biomolecular Mechanics and Mechanobiology [recurso electrónico] / edited by Amit Gefen. por Gefen, Amit [editor.] \| SpringerLink (Online service). Series Studies in Mechanobiology, Tissue Engineering and Biomaterials ; 4Origen: 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: R856 -857.
		New Results in Numerical and Experimental Fluid Mechanics VII [recurso electrónico] : Contributions to the 16th STAB/DGLR Symposium Aachen, Germany 2008 / edited by Andreas Dillmann, Gerd Heller, Michael Klaas, Hans-Peter Kreplin, Wolfgang Nitsche, Wolfgang Schröder. por Dillmann, Andreas [editor.] \| Heller, Gerd [editor.] \| Klaas, Michael [editor.] \| Kreplin, Hans-Peter [editor.] \| Nitsche, Wolfgang [editor.] \| Schröder, Wolfgang [editor.] \| SpringerLink (Online service). Series Notes on Numerical Fluid Mechanics and Multidisciplinary Design ; 112Origen: 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: TA357 -359.
		FORMS/FORMAT 2010 [recurso electrónico] : Formal Methods for Automation and Safety in Railway and Automotive Systems / edited by Eckehard Schnieder, Geza Tarnai. por Schnieder, Eckehard [editor.] \| Tarnai, Geza [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: TA169.7.
		Logic, Language and Meaning [recurso electrónico] : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers / edited by Maria Aloni, Harald Bastiaanse, Tikitu Jager, Katrin Schulz. por Aloni, Maria [editor.] \| Bastiaanse, Harald [editor.] \| Jager, Tikitu [editor.] \| Schulz, Katrin [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6042Origen: 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 .M35.
		Networked Digital Technologies [recurso electrónico] : Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010. Proceedings, Part I / 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 ; 87Origen: 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.
		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.
		Exploring Services Science [recurso electrónico] : First International Conference , IESS 2010, Geneva, Switzerland, February 17-19, 2010. Revised Papers / edited by Jean-Henry Morin, Jolita Ralyté, Mehdi Snene. por Morin, Jean-Henry [editor.] \| Ralyté, Jolita [editor.] \| Snene, Mehdi [editor.] \| SpringerLink (Online service). Series Lecture Notes in Business Information Processing ; 53Origen: 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: HF54.5 -54.56.
		Digital Filters [recurso electrónico] : Basics and Design / by Dietrich Schlichthärle. por Schlichthärle, Dietrich [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: TK5102.9.
		Voice over IP Networks [recurso electrónico] : Quality of Service, Pricing and Security / by Pramode K. Verma, Ling Wang. por Verma, Pramode K [author.] \| Wang, Ling [author.] \| SpringerLink (Online service). Series Lecture Notes in Electrical Engineering ; 71Origen: 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: TK1 -9971.
		Testing Techniques in Software Engineering [recurso electrónico] : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures / edited by Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook. por Borba, Paulo [editor.] \| Cavalcanti, Ana [editor.] \| Sampaio, Augusto [editor.] \| Woodcook, Jim [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6153Origen: 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.
		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.
		New Modeling Concepts for Today’s Software Processes [recurso electrónico] : International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings / edited by Jürgen Münch, Ye Yang, Wilhelm Schäfer. por Münch, Jürgen [editor.] \| Yang, Ye [editor.] \| Schäfer, Wilhelm [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6195Origen: 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.
		Critical Information Infrastructures Security [recurso electrónico] : 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009. Revised Papers / edited by Erich Rome, Robin Bloomfield. por Rome, Erich [editor.] \| Bloomfield, Robin [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6027Origen: 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 .R44.
		Parallel Processing and Applied Mathematics [recurso electrónico] : 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009. Revised Selected Papers, Part I / 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 ; 6067Origen: 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.

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.