Search

You searched for: Auteur Zavattaro, Gianluigi Remove constraint Auteur: Zavattaro, Gianluigi
1 - 8 of 8
Number of results to display per page

Search Results

1. CONCUR 2009 - Concurrency Theory
thumbnail
Full text!
Author:
Bravetti, Mario; Kanade, Takeo; Zavattaro, Gianluigi; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2009
Format:
e-book
2. Formal Methods for Computational Systems Biology
thumbnail
Full text!
Author:
Bernardo, Marco; Degano, Pierpaolo; Kanade, Takeo; Zavattaro, Gianluigi
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book
3. Formal Methods for Web Services
thumbnail
Full text!
Author:
Bernardo, Marco; Kanade, Takeo; Padovani, Luca; Zavattaro, Gianluigi
Publisher:
Springer Berlin Heidelberg 2009
Format:
e-book
4. Formal Techniques for Computer Systems and Business Processes
thumbnail
Full text!
Author:
Bravetti, Mario; Kanade, Takeo; Kloul, Leïla; Zavattaro, Gianluigi
Publisher:
Springer Berlin / Heidelberg 2005
Format:
e-book
5. Service-Oriented and Cloud Computing
thumbnail
Full text!
Author:
Hutchison, David; Kanade, Takeo; Pimentel, Ernesto; Zavattaro, Gianluigi
Publisher:
Springer Berlin Heidelberg 2012
Format:
e-book
6. Coordination Models and Languages
thumbnail
Full text!
Author:
Lea, Doug; Kanade, Takeo; Lea, Douglas; Zavattaro, Gianluigi; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book
7. Web Services and Formal Methods
thumbnail
Full text!
Author:
Bravetti, Mario; Kanade, Takeo; Nau?nez, Manuel; Núñez, Manuel; Zavattaro, Gianluigi
Publisher:
Springer Berlin Heidelberg 2006
Format:
e-book
8. Formal Methods for Open Object-Based Distributed Systems
thumbnail
Full text!
Author:
IFIP Working Group 6.1.; Kanade, Takeo; Steffen, Martin; Zavattaro, Gianluigi; Kittler, Josef
Publisher:
Springer Berlin / Heidelberg 2005
Format:
e-book