Search

You searched for: Auteur Blanchette Remove constraint Auteur: Blanchette
1 - 5 of 5
Number of results to display per page

Search Results

1. Tests and Proofs
thumbnail
Full text!
Author:
Blanchette; Kosmatov, Nikolai
Publisher:
Springer International Publishing 2015
Format:
e-book
2. Comparative Genomics
thumbnail
Full text!
Author:
Blanchette; Aïda Ouangraoua; Ouangraoua, Aïda
Publisher:
Springer International Publishing 2018
Format:
e-book
3. Automated Reasoning
thumbnail
Full text!
Author:
Blanchette, Jasmin; Kovács, Laura; Pattinson, Dirk
Publisher:
Springer International Publishing 2022
Format:
e-book
4. Interactive Theorem Proving
thumbnail
Full text!
Author:
Blanchette, Jasmin Christian;Merz, Stephan; Merz, Stephan
Publisher:
Springer International Publishing 2016
Format:
e-book
5. Storytelling
thumbnail
Full text!
Author:
Fog, Klaus; Blanchette, Stephen; Budtz, Christian; Munch, Philip
Publisher:
Springer Berlin Heidelberg 2010
Format:
e-book