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.
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
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.
|
|
|
|
|
|
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.
|
|
|
|
|
|
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.
|