Zoeken

U zocht naar: Auteur Bernardo, Marco Filter Auteur: Bernardo, Marco weghalen
« Vorige | 1 - 10 van 12 |
Aantal zoekresultaten per pagina

Zoekresultaten

1. A Process Algebraic Approach to Software Architecture Design
thumbnail
Full text!
Auteur:
Aldini, Alessandro; Bernardo, Marco; Corradini, Flavio
Uitgever:
Springer London 2010
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 Eternal Networked Software Systems
thumbnail
Full text!
Auteur:
Bernardo, Marco; Issarny, Valérie; Kanade, Takeo; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2011
Type:
e-book
4. Formal Methods for Hardware Verification
thumbnail
Full text!
Auteur:
Bernardo, Marco; Cimatti, Alessandro; Kanade, Takeo; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2006
Type:
e-book
5. Formal Methods for Mobile Computing
thumbnail
Full text!
Auteur:
Bernardo, Marco; Bogliolo, Alessandro; Kanade, Takeo; Kittler, Josef
Uitgever:
Springer Berlin / Heidelberg 2005
Type:
e-book
6. 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
7. Computer Performance Engineering
thumbnail
Full text!
Auteur:
Aldini, Alessandro; Bernardo, Marco; Bononi, Luciano; Cortellessa, Vittorio; Kanade, Takeo
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book
8. Formal Methods for Performance Evaluation
thumbnail
Full text!
Auteur:
Bernardo, Marco; Hillston, Jane; Hutchison, David; Kanade, Takeo; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2007
Type:
e-book
9. Formal Methods for Quantitative Aspects of Programming Languages
thumbnail
Full text!
Auteur:
Aldini, Alessandro; Bernardo, Marco; Kanade, Takeo; Pierro, Alessandra; Wiklicky, Herbert; Di Pierro, Alessandra
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book
10. Formal Methods for Dynamical Systems
thumbnail
Full text!
Auteur:
Bernardo, Marco; Vink, Erik de; Pierro, Alessandra Di; Wiklicky, Herbert; de Vink, Erik; Di Pierro, Alessandra; Wiklicky, Herbert
Uitgever:
Springer Berlin Heidelberg 2013
Type:
e-book