Zoeken

U zocht naar: Auteur Zavattaro, Gianluigi Filter Auteur: Zavattaro, Gianluigi weghalen Taal Engels Filter Taal: Engels weghalen
1 - 8 van 8
Aantal zoekresultaten per pagina

Zoekresultaten

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