Su búsqueda retornó 2 resultados.

Resultados
		Automated Technology for Verification and Analysis [recurso electrónico] : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings / edited by Cyrille Artho, Axel Legay, Doron Peled. por Artho, Cyrille [editor.] \| Legay, Axel [editor.] \| Peled, Doron [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9938Origen: 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) .
		Risks and Security of Internet and Systems [electronic resource] : 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers / edited by Nora Cuppens, Frédéric Cuppens, Jean-Louis Lanet, Axel Legay, Joaquin Garcia-Alfaro. por Cuppens, Nora [editor.] \| Cuppens, Frédéric [editor.] \| Lanet, Jean-Louis [editor.] \| Legay, Axel [editor.] \| Garcia-Alfaro, Joaquin [editor.] \| SpringerLink (Online service). Series Information Systems and Applications, incl. Internet/Web, and HCI ; 10694Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Con tecnología Koha