Zoeken

U zocht naar: Auteur Morgan, Carroll Filter Auteur: Morgan, Carroll weghalen
1 - 4 van 4
Aantal zoekresultaten per pagina

Zoekresultaten

1. Formal Methods, Foundations and Applications
thumbnail
Full text!
Auteur:
Simao; Morgan, Carroll
Uitgever:
Springer Berlin Heidelberg 2011
Type:
e-book
2. Theoretical Aspects of Computing - ICTAC 2009
thumbnail
Full text!
Auteur:
Leucker, Martin; Kanade, Takeo; Morgan, Carroll; Kittler, Josef; Morgan, Charles Carroll
Uitgever:
Springer Berlin Heidelberg 2009
Type:
e-book
3. Abstraction, Refinement and Proof for Probabilistic Systems
thumbnail
Full text!
Auteur:
McIver, Annabelle; Morgan, Caroll; Morgan, Carroll; Morgan, Charles C.; Morgan, Charles Carroll
Uitgever:
Springer New York 2005
Type:
e-book
4. The Science of Quantitative Information Flow
thumbnail
Full text!
Auteur:
Alvim; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Carroll; Palamidessi, Catuscia; Smith, Geoffrey
Uitgever:
Springer International Publishing 2020
Type:
e-book