A

Armin Biere

8 books found

Books by Armin Biere
Tools and Algorithms for the Construction and Analysis of SystemsArmin Biere
⏱ 7h 50m

Tools and Algorithms for the Construction and Analysis of Systems

Armin Biere

2020470 pp.
Hardware and Software: Verification and TestingArmin Biere
⏱ 4h 47m

Hardware and Software: Verification and Testing

Armin Biere

2013287 pp.
Theory and applications of satisfiability testing -- SAT 2006Armin Biere
⏱ 7h 19m

Theory and applications of satisfiability testing -- SAT 2006

Armin Biere

2006439 pp.
Effiziente Modellprüfung des [mu]-Kalküls mit binären EntscheidungsdiagrammenArmin Biere
⏱ 3h 50m

Effiziente Modellprüfung des [mu]-Kalküls mit binären Entscheidungsdiagrammen

Armin Biere

1997230 pp.
Handbook of Satisfiability Frontiers in Artificial Intelligence and ApplicationsArmin Biere
⏱ 16h 20m

Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications

Armin Biere

2009980 pp.
Computer Aided VerificationArmin Biere
⏱ 14h 54m

Computer Aided Verification

Armin Biere

2014894 pp.
Handbook of SatisfiabilityArmin Biere
⏱ 16h 20m

Handbook of Satisfiability

Armin Biere

2009980 pp.
Digitaltechnik - eine praxisnahe Einfu hrungArmin Biere
⏱ 3h 46m

Digitaltechnik - eine praxisnahe Einfu hrung

Armin Biere

2008226 pp.