Resultados
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computer Safety, Reliability, and Security [recurso electrónico] : 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings / edited by Amund Skavhaug, Jérémie Guiochet, Friedemann Bitsch. por Skavhaug, Amund [editor.] | Guiochet, Jérémie [editor.] | Bitsch, Friedemann [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9922Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
|
|
|
|
|
|
Interactive Theorem Proving [recurso electrónico] : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings / edited by Jasmin Christian Blanchette, Stephan Merz. por Blanchette, Jasmin Christian [editor.] | Merz, Stephan [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9807Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
|
|
|
|
|
|
Tests and Proofs [recurso electrónico] : 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings / edited by Bernhard K. Aichernig, Carlo A. Furia. por Aichernig, Bernhard K [editor.] | Furia, Carlo A [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9762Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
|
|
|
Computer Performance Engineering [recurso electrónico] : 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings / edited by Dieter Fiems, Marco Paolieri, Agapios N. Platis. por Fiems, Dieter [editor.] | Paolieri, Marco [editor.] | Platis, Agapios N [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9951Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
|
|
|
|
|
|
|
|
|
Reliable Software Technologies ? Ada-Europe 2016 [recurso electrónico] : 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings / edited by Marko Bertogna, Luis Miguel Pinho, Eduardo Quiñones. por Bertogna, Marko [editor.] | Pinho, Luis Miguel [editor.] | Quiñones, Eduardo [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9695Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
|
|
|
Engineering Secure Software and Systems [recurso electrónico] : 8th International Symposium, ESSoS 2016, London, UK, April 6?8, 2016. Proceedings / edited by Juan Caballero, Eric Bodden, Elias Athanasopoulos. por Caballero, Juan [editor.] | Bodden, Eric [editor.] | Athanasopoulos, Elias [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9639Edición: 1st ed. 2016.Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
|
|
|
Intelligent Robotics and Applications [recurso electrónico] : 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings, Part II / edited by Naoyuki Kubota, Kazuo Kiguchi, Honghai Liu, Takenori Obo. por Kubota, Naoyuki [editor.] | Kiguchi, Kazuo [editor.] | Liu, Honghai [editor.] | Obo, Takenori [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9835Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
|
|
|
|
|
|
|
|
|
Research in Attacks, Intrusions, and Defenses [recurso electrónico] : 19th International Symposium, RAID 2016, Paris, France, September 19-21, 2016, Proceedings / edited by Fabian Monrose, Marc Dacier, Gregory Blanc, Joaquin Garcia-Alfaro. por Monrose, Fabian [editor.] | Dacier, Marc [editor.] | Blanc, Gregory [editor.] | Garcia-Alfaro, Joaquin [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9854Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
|
|
|
Hybrid Systems Biology [recurso electrónico] : 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings / edited by Eugenio Cinquemani, Alexandre Donzé. por Cinquemani, Eugenio [editor.] | Donzé, Alexandre [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9957Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
|