Zoeken

U zocht naar: Auteur Wiklicky, Herbert Filter Auteur: Wiklicky, Herbert weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

1. Coordination Models and Languages
thumbnail
Full text!
Auteur:
Ciancarini, Paolo; Kanade, Takeo; Wiklicky, Herbert; Kittler, Josef
Uitgever:
Springer Berlin / Heidelberg 2006
Type:
e-book
2. 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
3. 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