The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Armin Biere Books

Results for Armin Biere

Showing 1 to 4 of 4 results
Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings: 4121 (Lecture Notes in Computer Science) Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings: 4121 (Lecture Notes in Computer Science) by Carla P. Gomes,Armin Biere

Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings: 4121 (Lecture Notes in Computer Science)

by Carla P. Gomes,Armin Biere


ISBN 13: 9783540372066

Format: Illustrated (448 pages)
Publisher: Springer
Published: 26 Jul 2006

Save for later

 
New : $66.82  
New : $66.82
Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised ... 7857 (Lecture Notes in Computer Science) Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised ... 7857 (Lecture Notes in Computer Science) by Armin Biere,Amir Nahir,Tanja Vos

Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised ... 7857 (Lecture Notes in Computer Science)

by Armin Biere,Amir Nahir,Tanja Vos


ISBN 13: 9783642396106

Format: Paperback (296 pages)
Publisher: Springer
Published: 19 Jul 2013

Save for later

 
New : $59.98  
New : $59.98
Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... (Lecture Notes in Computer Science) Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... (Lecture Notes in Computer Science) by Armin Biere, Roderick Bloem

Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... (Lecture Notes in Computer Science)

by Armin Biere, Roderick Bloem


ISBN 13: 9783319088662

Format: Paperback (912 pages)
Publisher: Springer
Published: 04 Aug 2014

Save for later

 
New : $110.20  
New : $110.20
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint ... 12078 (Lecture Notes in Computer Science) Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint ... 12078 (Lecture Notes in Computer Science) by Armin Biere,David Parker

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint ... 12078 (Lecture Notes in Computer Science)

by Armin Biere,David Parker


ISBN 13: 9783030451899

Format: Paperback (528 pages)
Publisher: Springer
Published: 18 Apr 2020

Save for later

 
New : $56.50  
New : $56.50