Zoeken

U zocht naar: Auteur Henzinger, Thomas A. Filter Auteur: Henzinger, Thomas A. weghalen Taal Engels Filter Taal: Engels weghalen
1 - 5 van 5
Aantal zoekresultaten per pagina

Zoekresultaten

1. Computational Methods in Systems Biology
thumbnail
Full text!
Auteur:
Gupta, Ashutosh; Henzinger, Thomas A.; Henzinger, Thomas A.
Uitgever:
Springer Berlin Heidelberg 2013
Type:
e-book
2. Handbook of Model Checking
thumbnail
Full text!
Auteur:
Clarke; Bloem, Roderick; Henzinger, Thomas A.; Veith, Helmut
Uitgever:
Springer International Publishing 2018
Type:
e-book
3. Formal Modeling and Analysis of Timed Systems
thumbnail
Full text!
Auteur:
Chatterjee, Krishnendu; Henzinger, Thomas A.; Kanade, Takeo; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book
4. Mathematical and Engineering Methods in Computer Science
thumbnail
Full text!
Auteur:
Hutchison, David; Kanade, Takeo; Antos, David; Henzinger, Thomas A.; Nesetřil, Jaroslav; Vojnar, Tomás
Uitgever:
Springer Berlin Heidelberg 2013
Type:
e-book
5. Computer Science Logic
thumbnail
Full text!
Auteur:
Duparc, Jacques; European Association for Computer Science Logic.; Henzinger, Thomas A.; Kanade, Takeo; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2007
Type:
e-book