Su búsqueda retornó 7749 resultados.

Resultados
		Leveraging Applications of Formal Methods, Verification, and Validation [recurso electrónico] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. por Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6416Origen: 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.
		High Speed VCSELs for Optical Interconnects [recurso electrónico] / by Alex Mutig. por Mutig, Alex [author.] \| SpringerLink (Online service). Series Springer Theses, Recognizing Outstanding Ph.D. ResearchOrigen: 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: TA1671 -1707.
		Testing Software and Systems [recurso electrónico] : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings / edited by Alexandre Petrenko, Adenilso Simão, José Carlos Maldonado. por Petrenko, Alexandre [editor.] \| Simão, Adenilso [editor.] \| Maldonado, José Carlos [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6435Origen: 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.
		Challenges in Analytical Quality Assurance [recurso electrónico] / by Manfred Reichenbächer, Jürgen W. Einax. por Reichenbächer, Manfred [author.] \| Einax, Jürgen W [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: QD71 -142.
		The Smart Internet [recurso electrónico] : Current Research and Future Applications / edited by Mark Chignell, James Cordy, Joanna Ng, Yelena Yesha. por Chignell, Mark [editor.] \| Cordy, James [editor.] \| Ng, Joanna [editor.] \| Yesha, Yelena [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6400Origen: 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.
		Runtime Verification [recurso electrónico] : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings / edited by Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann. por Barringer, Howard [editor.] \| Falcone, Ylies [editor.] \| Finkbeiner, Bernd [editor.] \| Havelund, Klaus [editor.] \| Lee, Insup [editor.] \| Pace, Gordon [editor.] \| Rosu, Grigore [editor.] \| Sokolsky, Oleg [editor.] \| Tillmann, Nikolai [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6418Origen: 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.
		Multiobjective Genetic Algorithms for Clustering [recurso electrónico] : Applications in Data Mining and Bioinformatics / by Ujjwal Maulik, Sanghamitra Bandyopadhyay, Anirban Mukhopadhyay. por Maulik, Ujjwal [author.] \| Bandyopadhyay, Sanghamitra [author.] \| Mukhopadhyay, Anirban [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: Q334 -342.
		Manufacturing Systems Modeling and Analysis [recurso electrónico] / by Guy L. Curry, Richard M. Feldman. por Curry, Guy L [author.] \| Feldman, Richard M [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: TA177.4 -185.
		Computational Intelligence in Security for Information Systems 2010 [recurso electrónico] : Proceedings of the 3rd International Conference on Computational Intelligence in Security for Information Systems (CISIS’10) / edited by Álvaro Herrero, Emilio Corchado, Carlos Redondo, Ángel Alonso. por Herrero, Álvaro [editor.] \| Corchado, Emilio [editor.] \| Redondo, Carlos [editor.] \| Alonso, Ángel [editor.] \| SpringerLink (Online service). Series Advances in Intelligent and Soft Computing ; 85Origen: 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.
		X-Ray Diffraction Crystallography [recurso electrónico] : Introduction, Examples and Solved Problems / by Yoshio Waseda, Eiichiro Matsubara, Kozo Shinoda. por Waseda, Yoshio [author.] \| Matsubara, Eiichiro [author.] \| Shinoda, Kozo [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: TA404.6.
		Springer Handbook of Metrology and Testing [recurso electrónico] / edited by Horst Czichos, Tetsuya Saito, Leslie Smith. por Czichos, Horst [editor.] \| Saito, Tetsuya [editor.] \| Smith, Leslie [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 : Imprint: Springer, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TA404.6.
		Mobile Lightweight Wireless Systems [recurso electrónico] : Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, Revised Selected Papers / edited by Periklis Chatzimisios, Christos Verikoukis, Ignacio Santamaría, Massimiliano Laddomada, Oliver Hoffmann. por Chatzimisios, Periklis [editor.] \| Verikoukis, Christos [editor.] \| Santamaría, Ignacio [editor.] \| Laddomada, Massimiliano [editor.] \| Hoffmann, Oliver [editor.] \| SpringerLink (Online service). Series Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 45Origen: 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.
		Modeling, Diagnostics and Process Control [recurso electrónico] : Implementation in the DiaSter System / edited by Józef Korbicz, Jan Maciej Koscielny. por Korbicz, Józef [editor.] \| Koscielny, Jan Maciej [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: TJ212 -225.
		Nanotechnology in Civil Infrastructure [recurso electrónico] : A Paradigm Shift / edited by Kasthurirangan Gopalakrishnan, Bjorn Birgisson, Peter Taylor, Nii O. Attoh-Okine. por Gopalakrishnan, Kasthurirangan [editor.] \| Birgisson, Bjorn [editor.] \| Taylor, Peter [editor.] \| Attoh-Okine, Nii O [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: TA1 -2040.
		Unifying Theories of Programming [recurso electrónico] : Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings / edited by Shengchao Qin. por Qin, Shengchao [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6445Origen: 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.
		Concrete Fracture Models and Applications [recurso electrónico] / by Shailendra Kumar, Sudhirkumar V Barai. por Kumar, Shailendra [author.] \| Barai, Sudhirkumar V [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: TA401 -492.
		Design Methodologies for Secure Embedded Systems [recurso electrónico] : Festschrift in Honor of Prof. Dr.-Ing. Sorin A. Huss / edited by Alexander Biedermann, H. Gregor Molter. por Biedermann, Alexander [editor.] \| Molter, H. Gregor [editor.] \| SpringerLink (Online service). Series Lecture Notes in Electrical Engineering ; 78Origen: 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: TK7888.4.
		Practice-Driven Research on Enterprise Transformation [recurso electrónico] : Second Working Conference, PRET 2010, Delft, The Netherlands, November 11, 2010. Proceedings / edited by Frank Harmsen, Erik Proper, Frank Schalkwijk, Joseph Barjis, Sietse Overbeek. por Harmsen, Frank [editor.] \| Proper, Erik [editor.] \| Schalkwijk, Frank [editor.] \| Barjis, Joseph [editor.] \| Overbeek, Sietse [editor.] \| SpringerLink (Online service). Series Lecture Notes in Business Information Processing ; 69Origen: 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.
		Stability Analysis and Nonlinear Observer Design Using Takagi-Sugeno Fuzzy Models [recurso electrónico] / by Zsófia Lendek, Thierry Marie Guerra, Robert Babuška, Bart Schutter. por Lendek, Zsófia [author.] \| Guerra, Thierry Marie [author.] \| Babuška, Robert [author.] \| Schutter, Bart [author.] \| SpringerLink (Online service). Series Studies in Fuzziness and Soft Computing ; 262Origen: 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.
		Robotic Systems for Handling and Assembly [recurso electrónico] / edited by Daniel Schütz, Friedrich M. Wahl. por Schütz, Daniel [editor.] \| Wahl, Friedrich M [editor.] \| SpringerLink (Online service). Series Springer Tracts in Advanced Robotics ; 67Origen: 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.

		Leveraging Applications of Formal Methods, Verification, and Validation [recurso electrónico] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. por Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6416Origen: 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.
		High Speed VCSELs for Optical Interconnects [recurso electrónico] / by Alex Mutig. por Mutig, Alex [author.] \| SpringerLink (Online service). Series Springer Theses, Recognizing Outstanding Ph.D. ResearchOrigen: 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: TA1671 -1707.
		Testing Software and Systems [recurso electrónico] : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings / edited by Alexandre Petrenko, Adenilso Simão, José Carlos Maldonado. por Petrenko, Alexandre [editor.] \| Simão, Adenilso [editor.] \| Maldonado, José Carlos [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6435Origen: 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.
		Challenges in Analytical Quality Assurance [recurso electrónico] / by Manfred Reichenbächer, Jürgen W. Einax. por Reichenbächer, Manfred [author.] \| Einax, Jürgen W [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: QD71 -142.
		The Smart Internet [recurso electrónico] : Current Research and Future Applications / edited by Mark Chignell, James Cordy, Joanna Ng, Yelena Yesha. por Chignell, Mark [editor.] \| Cordy, James [editor.] \| Ng, Joanna [editor.] \| Yesha, Yelena [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6400Origen: 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.
		Runtime Verification [recurso electrónico] : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings / edited by Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann. por Barringer, Howard [editor.] \| Falcone, Ylies [editor.] \| Finkbeiner, Bernd [editor.] \| Havelund, Klaus [editor.] \| Lee, Insup [editor.] \| Pace, Gordon [editor.] \| Rosu, Grigore [editor.] \| Sokolsky, Oleg [editor.] \| Tillmann, Nikolai [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6418Origen: 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.
		Multiobjective Genetic Algorithms for Clustering [recurso electrónico] : Applications in Data Mining and Bioinformatics / by Ujjwal Maulik, Sanghamitra Bandyopadhyay, Anirban Mukhopadhyay. por Maulik, Ujjwal [author.] \| Bandyopadhyay, Sanghamitra [author.] \| Mukhopadhyay, Anirban [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: Q334 -342.
		Manufacturing Systems Modeling and Analysis [recurso electrónico] / by Guy L. Curry, Richard M. Feldman. por Curry, Guy L [author.] \| Feldman, Richard M [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: TA177.4 -185.
		Computational Intelligence in Security for Information Systems 2010 [recurso electrónico] : Proceedings of the 3rd International Conference on Computational Intelligence in Security for Information Systems (CISIS’10) / edited by Álvaro Herrero, Emilio Corchado, Carlos Redondo, Ángel Alonso. por Herrero, Álvaro [editor.] \| Corchado, Emilio [editor.] \| Redondo, Carlos [editor.] \| Alonso, Ángel [editor.] \| SpringerLink (Online service). Series Advances in Intelligent and Soft Computing ; 85Origen: 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.
		X-Ray Diffraction Crystallography [recurso electrónico] : Introduction, Examples and Solved Problems / by Yoshio Waseda, Eiichiro Matsubara, Kozo Shinoda. por Waseda, Yoshio [author.] \| Matsubara, Eiichiro [author.] \| Shinoda, Kozo [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: TA404.6.
		Springer Handbook of Metrology and Testing [recurso electrónico] / edited by Horst Czichos, Tetsuya Saito, Leslie Smith. por Czichos, Horst [editor.] \| Saito, Tetsuya [editor.] \| Smith, Leslie [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 : Imprint: Springer, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TA404.6.
		Mobile Lightweight Wireless Systems [recurso electrónico] : Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, Revised Selected Papers / edited by Periklis Chatzimisios, Christos Verikoukis, Ignacio Santamaría, Massimiliano Laddomada, Oliver Hoffmann. por Chatzimisios, Periklis [editor.] \| Verikoukis, Christos [editor.] \| Santamaría, Ignacio [editor.] \| Laddomada, Massimiliano [editor.] \| Hoffmann, Oliver [editor.] \| SpringerLink (Online service). Series Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 45Origen: 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.
		Modeling, Diagnostics and Process Control [recurso electrónico] : Implementation in the DiaSter System / edited by Józef Korbicz, Jan Maciej Koscielny. por Korbicz, Józef [editor.] \| Koscielny, Jan Maciej [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: TJ212 -225.
		Nanotechnology in Civil Infrastructure [recurso electrónico] : A Paradigm Shift / edited by Kasthurirangan Gopalakrishnan, Bjorn Birgisson, Peter Taylor, Nii O. Attoh-Okine. por Gopalakrishnan, Kasthurirangan [editor.] \| Birgisson, Bjorn [editor.] \| Taylor, Peter [editor.] \| Attoh-Okine, Nii O [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: TA1 -2040.
		Unifying Theories of Programming [recurso electrónico] : Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings / edited by Shengchao Qin. por Qin, Shengchao [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6445Origen: 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.
		Concrete Fracture Models and Applications [recurso electrónico] / by Shailendra Kumar, Sudhirkumar V Barai. por Kumar, Shailendra [author.] \| Barai, Sudhirkumar V [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: TA401 -492.
		Design Methodologies for Secure Embedded Systems [recurso electrónico] : Festschrift in Honor of Prof. Dr.-Ing. Sorin A. Huss / edited by Alexander Biedermann, H. Gregor Molter. por Biedermann, Alexander [editor.] \| Molter, H. Gregor [editor.] \| SpringerLink (Online service). Series Lecture Notes in Electrical Engineering ; 78Origen: 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: TK7888.4.
		Practice-Driven Research on Enterprise Transformation [recurso electrónico] : Second Working Conference, PRET 2010, Delft, The Netherlands, November 11, 2010. Proceedings / edited by Frank Harmsen, Erik Proper, Frank Schalkwijk, Joseph Barjis, Sietse Overbeek. por Harmsen, Frank [editor.] \| Proper, Erik [editor.] \| Schalkwijk, Frank [editor.] \| Barjis, Joseph [editor.] \| Overbeek, Sietse [editor.] \| SpringerLink (Online service). Series Lecture Notes in Business Information Processing ; 69Origen: 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.
		Stability Analysis and Nonlinear Observer Design Using Takagi-Sugeno Fuzzy Models [recurso electrónico] / by Zsófia Lendek, Thierry Marie Guerra, Robert Babuška, Bart Schutter. por Lendek, Zsófia [author.] \| Guerra, Thierry Marie [author.] \| Babuška, Robert [author.] \| Schutter, Bart [author.] \| SpringerLink (Online service). Series Studies in Fuzziness and Soft Computing ; 262Origen: 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.
		Robotic Systems for Handling and Assembly [recurso electrónico] / edited by Daniel Schütz, Friedrich M. Wahl. por Schütz, Daniel [editor.] \| Wahl, Friedrich M [editor.] \| SpringerLink (Online service). Series Springer Tracts in Advanced Robotics ; 67Origen: 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.

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.