bib.howest.be Zoekresultaten

U zocht naar: Auteur Blanchette

1 - 5 van 5

1. Tests and Proofs

Auteur:: Blanchette; Kosmatov, Nikolai
Uitgever:: Springer International Publishing 2015
Type:: e-book

2. Comparative Genomics

Auteur:: Blanchette; Aïda Ouangraoua; Ouangraoua, Aïda
Uitgever:: Springer International Publishing 2018
Type:: e-book

3. Automated Reasoning

Auteur:: Blanchette, Jasmin; Kovács, Laura; Pattinson, Dirk
Uitgever:: Springer International Publishing 2022
Type:: e-book

4. Interactive Theorem Proving

Auteur:: Blanchette, Jasmin Christian;Merz, Stephan; Merz, Stephan
Uitgever:: Springer International Publishing 2016
Type:: e-book

5. Storytelling

Auteur:: Fog, Klaus; Blanchette, Stephen; Budtz, Christian; Munch, Philip
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book