Su búsqueda retornó 2 resultados.

Resultados
		Networked Systems [recurso electrónico] : 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers / edited by Parosh Aziz Abdulla, Carole Delporte-Gallet. por Abdulla, Parosh Aziz [editor.] \| Delporte-Gallet, Carole [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9944Origen: 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) .
		Tools and Algorithms for the Construction and Analysis of Systems [recurso electrónico] : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Parosh Aziz Abdulla, K. Rustan M. Leino. por Abdulla, Parosh Aziz [editor.] \| Leino, K. Rustan M [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6605Origen: 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.

Con tecnología Koha