Search

You searched for: Auteur Bernardo, Marco Remove constraint Auteur: Bernardo, Marco
« Previous | 1 - 10 of 12 |
Number of results to display per page

Search Results

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