Zoeken

U zocht naar: Auteur Biere Filter Auteur: Biere weghalen Taal Engels Filter Taal: Engels weghalen
1 - 4 van 4
Aantal zoekresultaten per pagina

Zoekresultaten

1. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Auteur:
Biere; Parker, David
Uitgever:
Springer International Publishing 2020
Type:
e-book
2. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Auteur:
Biere; Parker, David
Uitgever:
Springer International Publishing 2020
Type:
e-book
3. Computer Aided Verification
thumbnail
Full text!
Auteur:
Armin Biere, Roderick Bloem; Bloem, Roderick; Kittler, Josef
Uitgever:
Springer International Publishing 2014
Type:
e-book
4. Theory and Applications of Satisfiability Testing - SAT 2006
thumbnail
Full text!
Auteur:
Biere, Armin; Gomes, Carla P.; Kanade, Takeo; Kittler, Josef
Uitgever:
Springer Berlin / Heidelberg 2006
Type:
e-book