Su búsqueda retornó 2 resultados.

Resultados
		Concurrency, Compositionality, and Correctness [recurso electrónico] : Essays in Honor of Willem-Paul de Roever / edited by Dennis Dams, Ulrich Hannemann, Martin Steffen. por Dams, Dennis [editor.] \| Hannemann, Ulrich [editor.] \| Steffen, Martin [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5930Origen: 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.
		Fundamentals of Computation Theory [recurso electrónico] : 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings / edited by Olaf Owe, Martin Steffen, Jan Arne Telle. por Owe, Olaf [editor.] \| Steffen, Martin [editor.] \| Telle, Jan Arne [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6914Origen: 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: QA75.5 -76.95.

Refinar su búsqueda