Resultados
|
|
1.
|
CONCUR 2009 - Concurrency Theory : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings / edited by Mario Bravetti, Gianluigi Zavattaro. por
- Bravetti, Mario [editor.]
- Zavattaro, Gianluigi [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5710
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.
|
|
|
2.
|
Coordination Models and Languages : 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings / edited by Doug Lea, Gianluigi Zavattaro. por
- Lea, Doug [editor.]
- Zavattaro, Gianluigi [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5052
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
Disponibilidad: No hay ítems disponibles.
|
|
|
3.
|
Formal Methods for Open Object-Based Distributed Systems : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings / edited by Martin Steffen, Gianluigi Zavattaro. por
- Steffen, Martin [editor.]
- Zavattaro, Gianluigi [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3535
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.
|
|
|
4.
|
Formal Methods for Web Services : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures / edited by Marco Bernardo, Luca Padovani, Gianluigi Zavattaro. por
- Bernardo, Marco [editor.]
- Padovani, Luca [editor.]
- Zavattaro, Gianluigi [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5569
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.
|
Formal Techniques for Computer Systems and Business Processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings / edited by Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro. por
- Bravetti, Mario [editor.]
- Kloul, Leïla [editor.]
- Zavattaro, Gianluigi [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3670
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.
|
|
|
6.
|
Service-Oriented and Cloud Computing : First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings / edited by Flavio Paoli, Ernesto Pimentel, Gianluigi Zavattaro. por
- Paoli, Flavio [editor.]
- Pimentel, Ernesto [editor.]
- Zavattaro, Gianluigi [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7592
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
Disponibilidad: No hay ítems disponibles.
|
|
|
7.
|
Web Services and Formal Methods : Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings / edited by Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro. por
- Bravetti, Mario [editor.]
- Núñez, Manuel [editor.]
- Zavattaro, Gianluigi [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4184
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.
|
