Search

You searched for: Auteur Gorrieri, Roberto Remove constraint Auteur: Gorrieri, Roberto
1 - 7 of 7
Number of results to display per page

Search Results

1. Process Algebras for Petri Nets
thumbnail
Full text!
Author:
Gorrieri, Roberto
Publisher:
Springer International Publishing 2017
Format:
e-book
2. Computational Methods in Systems Biology
thumbnail
Full text!
Author:
Degano, Pierpaolo; Gorrieri, Roberto; Kanade, Takeo; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2009
Format:
e-book
3. Formal Methods for Open Object-Based Distributed Systems
thumbnail
Full text!
Author:
Gorrieri, Roberto; Kanade, Takeo; Wehrheim, Heike; Kittler, Josef
Publisher:
Springer Berlin / Heidelberg 2006
Format:
e-book
4. Foundations of Security Analysis and Design III
thumbnail
Full text!
Author:
Aldini, Alessandro; Gorrieri, Roberto; Kanade, Takeo; Martinelli, Fabio
Publisher:
Springer Berlin / Heidelberg 2005
Format:
e-book
5. Foundations of Security Analysis and Design IV
thumbnail
Full text!
Author:
Aldini, Alessandro; Gorrieri, Roberto; Kanade, Takeo; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2007
Format:
e-book
6. Foundations of Security Analysis and Design V
thumbnail
Full text!
Author:
Aldini, Alessandro; Barthe, Gilles; Gorrieri, Roberto; Kanade, Takeo
Publisher:
Springer Berlin Heidelberg 2009
Format:
e-book
7. Foundations of Security Analysis and Design VI
thumbnail
Full text!
Author:
Aldini, Alessandro; Gorrieri, Roberto; Kanade, Takeo; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2011
Format:
e-book