Armin Biere
Armin Biere
7 ספרים במאגר
ספרים
Hardware and Software: Verification and TestingArmin Biere
Hardware and Software: Verification and Testing
Armin Biere · 2013
Tools and Algorithms for the Construction and Analysis of SystemsArmin Biere
Tools and Algorithms for the Construction and Analysis of Systems
Armin Biere · 2020
Computer Aided VerificationArmin Biere
Computer Aided Verification
Armin Biere · 2014
Handbook of Satisfiability Frontiers in Artificial Intelligence and ApplicationsArmin Biere
Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications
Armin Biere · 2009
Theory and applications of satisfiability testing -- SAT 2006Armin Biere
Theory and applications of satisfiability testing -- SAT 2006
Armin Biere · 2006
Handbook of SatisfiabilityArmin Biere
Handbook of Satisfiability
Armin Biere · 2009
Digitaltechnik - eine praxisnahe Einfu hrungArmin Biere
Digitaltechnik - eine praxisnahe Einfu hrung
Armin Biere · 2008