Releases by Armin Biere

In stock at iMusic Show unavailable items

Cover for Armin Biere · Tools and Algorithms for the Construction and Analysis of Systems (Paperback Book) (2020)

Tools and Algorithms for the Con... (2020)

Cover for Armin Biere · Tools and Algorithms for the Construction and Analysis of Systems (Hardcover Book) (2020)

Tools and Algorithms for the Con... (2020)

Cover for Armin Biere · Tools and Algorithms for the Construction and Analysis of Systems (Paperback Book) (2020)

Tools and Algorithms for the Con... (2020)

Cover for Armin Biere · Tools and Algorithms for the Construction and Analysis of Systems (Hardcover Book) (2020)

Tools and Algorithms for the Con... (2020)

Cover for Armin Biere · Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2014 edition] (2014)

Computer Aided Verification: 26t... (2014)

Cover for Armin Biere · Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)

Hardware and Software: Verificat... (2013)

Cover for Armin Biere · Digitaltechnik - Eine Praxisnahe Einf Hrung - Springer-lehrbuch (Paperback Book) [German, 2008 edition] (2008)

German, 2008 edition

Digitaltechnik - Eine Praxisnahe... (2008)

Cover for Armin Biere · Theory and Applications of Satisfiability Testing - Sat 2006: 9th International Conference, Seattle, Wa, Usa, August 12-15, 2006, Proceedings - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues (Paperback Book) (2006)

Theory and Applications of Satis... (2006)