Search

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

Search Results

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