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