Su búsqueda retornó 2 resultados.

Resultados
		Formal Techniques for Distributed Objects, Components, and Systems [recurso electrónico] : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings / edited by Elvira Albert, Ivan Lanese. por Albert, Elvira [editor.] \| Lanese, Ivan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9688Origen: 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) .
		Reversible Computation [recurso electrónico] : 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings / edited by Simon Devitt, Ivan Lanese. por Devitt, Simon [editor.] \| Lanese, Ivan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9720Origen: 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) .

Refinar su búsqueda