Armin Biere

Identifiers

Open LibraryOL7212937A

Top Subjects

Lehrbuch (1)
Digitalschaltung (1)
Programming Languages, Compilers, Interpreters (1)
Logics and Meanings of Programs (1)
Computer science (1)
Artificial intelligence (1)
Artificial Intelligence (incl. Robotics) (1)

Books by Armin Biere

Total count: 6

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

1997-01-01
Theory and Applications of Satisfiability Testing - SAT 20069th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings

Springer London, Limited2006-01-01
Digitaltechnik - eine praxisnahe Einfu hrung

Springer2008-01-01
Hardware and Software: Verification and Testing8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Springer Berlin Heidelberg2013-01-01
Computer Aided Verification26th International Conference, CAV 2014, Held As Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Springer London, Limited2014-01-01
Tools and Algorithms for the Construction and Analysis of Systems26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II

Springer International Publishing AG2020-01-01