Resultados
|
|
|
|
|
|
|
|
|
|
|
Formal Verification of Object-Oriented Software [recurso electrónico] : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers / edited by Bernhard Beckert, Claude Marché. por Beckert, Bernhard [editor.] | Marché, Claude [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6528Origen: 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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Information Security [recurso electrónico] : 13th International Conference, ISC 2010, Boca Raton, FL, USA, October 25-28, 2010, Revised Selected Papers / edited by Mike Burmester, Gene Tsudik, Spyros Magliveras, Ivana Ilic. por Burmester, Mike [editor.] | Tsudik, Gene [editor.] | Magliveras, Spyros [editor.] | Ilic, Ivana [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6531Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .A25.
|
|
|
|
|
|
Performance Evaluation, Measurement and Characterization of Complex Systems [recurso electrónico] : Second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010. Revised Selected Papers / edited by Raghunath Nambiar, Meikel Poess. por Nambiar, Raghunath [editor.] | Poess, Meikel [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6417Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .E94.
|
|
|
|
|
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [recurso electrónico] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings / edited by Ranjit Jhala, David Schmidt. por Jhala, Ranjit [editor.] | Schmidt, David [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6538Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .L63.
|
|
|
|
|
|
|
|
|
|
|
|
|