bib.howest.be Zoekresultaten

U zocht naar: Auteur Zavattaro, Gianluigi

1 - 8 van 8

1. CONCUR 2009 - Concurrency Theory

Auteur:: Bravetti, Mario; Kanade, Takeo; Zavattaro, Gianluigi; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

2. Formal Methods for Computational Systems Biology

Auteur:: Bernardo, Marco; Degano, Pierpaolo; Kanade, Takeo; Zavattaro, Gianluigi
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

3. Formal Methods for Web Services

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

Auteur:: Bravetti, Mario; Kanade, Takeo; Kloul, Leïla; Zavattaro, Gianluigi
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

5. Service-Oriented and Cloud Computing

Auteur:: Hutchison, David; Kanade, Takeo; Pimentel, Ernesto; Zavattaro, Gianluigi
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

6. Coordination Models and Languages

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

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

Auteur:: IFIP Working Group 6.1.; Kanade, Takeo; Steffen, Martin; Zavattaro, Gianluigi; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book