Resultados
|
|
1.
|
Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings / edited by Roberto Bruni, Juergen Dingel. por
- Bruni, Roberto [editor.]
- Dingel, Juergen [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6722
Tipo de material:  Texto; Formato:
disponible en línea  ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Disponibilidad: No hay ítems disponibles.
|
|
|
2.
|
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.
|
|
|
3.
|
Trustworthy Global Computing : 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers / edited by Roberto Bruni, Vladimiro Sassone. por
- Bruni, Roberto [editor.]
- Sassone, Vladimiro [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7173
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Disponibilidad: No hay ítems disponibles.
|
|
|
4.
|
Web Services and Formal Methods : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers / edited by Roberto Bruni, Karsten Wolf. por
- Bruni, Roberto [editor.]
- Wolf, Karsten [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5387
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.
|
