Resultados
|
|
1.
|
Algebra and Coalgebra in Computer Science : Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings / edited by Till Mossakowski, Ugo Montanari, Magne Haveraaen. por
- Mossakowski, Till [editor.]
- Montanari, Ugo [editor.]
- Haveraaen, Magne [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4624
Tipo de material:  Texto; Formato:
disponible en línea  ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
Disponibilidad: No hay ítems disponibles.
|
|
|
2.
|
Formal Methods in Software and Systems Modeling : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday / edited by Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer. por
- Kreowski, Hans-Jörg [editor.]
- Montanari, Ugo [editor.]
- Orejas, Fernando [editor.]
- Rozenberg, Grzegorz [editor.]
- Taentzer, Gabriele [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3393
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Disponibilidad: No hay ítems disponibles.
|
|
|
3.
|
Graph Transformations : Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings / edited by Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg. por
- Corradini, Andrea [editor.]
- Ehrig, Hartmut [editor.]
- Montanari, Ugo [editor.]
- Ribeiro, Leila [editor.]
- Rozenberg, Grzegorz [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4178
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
Disponibilidad: No hay ítems disponibles.
|
|
|
4.
|
Recent Trends in Algebraic Development Techniques : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers / edited by Andrea Corradini, Ugo Montanari. por
- Corradini, Andrea [editor.]
- Montanari, Ugo [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5486
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
Disponibilidad: No hay ítems disponibles.
|
|
|
5.
|
Trustworthy Global Computing : Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers / edited by Ugo Montanari, Donald Sannella, Roberto Bruni. por
- Montanari, Ugo [editor.]
- Sannella, Donald [editor.]
- Bruni, Roberto [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4661
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
Disponibilidad: No hay ítems disponibles.
|
