bib.howest.be Zoekresultaten

U zocht naar: Auteur Bernardo, Marco Taal Engels

« Vorige | 1 - 10 van 12 | Volgende »

1. A Process Algebraic Approach to Software Architecture Design

Auteur:: Aldini, Alessandro; Bernardo, Marco; Corradini, Flavio
Uitgever:: Springer London 2010
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 Eternal Networked Software Systems

Auteur:: Bernardo, Marco; Issarny, Valérie; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

4. Formal Methods for Hardware Verification

Auteur:: Bernardo, Marco; Cimatti, Alessandro; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

5. Formal Methods for Mobile Computing

Auteur:: Bernardo, Marco; Bogliolo, Alessandro; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

6. Formal Methods for Web Services

Auteur:: Bernardo, Marco; Kanade, Takeo; Padovani, Luca; Zavattaro, Gianluigi
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

7. Computer Performance Engineering

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

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

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

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