bib.howest.be Zoekresultaten

U zocht naar: Auteur Henzinger, Thomas A. Fulltext online

1 - 5 van 5

1. Computational Methods in Systems Biology

Auteur:: Gupta, Ashutosh; Henzinger, Thomas A.; Henzinger, Thomas A.
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book

2. Handbook of Model Checking

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

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

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

Auteur:: Duparc, Jacques; European Association for Computer Science Logic.; Henzinger, Thomas A.; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book