Armin Biere – författare

Visar alla böcker från författaren Armin Biere.

13 produkter

Kategorier

13 produkter

Tools and Algorithms for the Construction and Analysis of Systems
AvArmin Biere,David Parker
Häftad, Engelska, 2020
1 039 kr
Skickas inom 3-6 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
AvArmin Biere,David Parker
Inbunden, Engelska, 2020
1 119 kr
Skickas inom 5-8 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
AvArmin Biere,David Parker
Häftad, Engelska, 2020
959 kr
Skickas inom 3-6 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
AvArmin Biere,David Parker
Inbunden, Engelska, 2020
1 049 kr
Skickas inom 5-8 vardagar
Del 2
Del 2 - Frontiers in Artificial Intelligence and Applications (IOS Press)
Handbook of Satisfiability
Second Edition
AvArmin Biere,Hans van Maarenm. fl.
Inbunden, Engelska, 2021
5 009 kr
Skickas
Del 12078
Del 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 Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I
AvArmin Biere,David Parker
Häftad, Engelska, 2020
609 kr
Skickas inom 10-15 vardagar
Del 12079
Del 12079 - 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 Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II
AvArmin Biere,David Parker
Häftad, Engelska, 2020
609 kr
Skickas inom 10-15 vardagar
Nyhet
Del 16688
Del 16688 - Lecture Notes in Computer Science
Automated Reasoning
13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I
AvArmin Biere,Carsten Lutzm. fl.
Häftad, Engelska, 2026
609 kr
Skickas inom 10-15 vardagar
Nyhet
Del 16689
Del 16689 - Lecture Notes in Computer Science
Automated Reasoning
13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II
AvArmin Biere,Carsten Lutzm. fl.
Häftad, Engelska, 2026
609 kr
Skickas inom 10-15 vardagar
Del 8559
Del 8559 - 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 18-22, 2014, Proceedings
AvArmin Biere,Roderick Bloem
Häftad, Engelska, 2014
1 499 kr
Skickas inom 10-15 vardagar
Theory and Applications of Satisfiability Testing - SAT 2006
9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
AvArmin Biere,Carla P. Gomes
Häftad, Engelska, 2006
729 kr
Skickas inom 10-15 vardagar
Digitaltechnik - Eine praxisnahe Einführung
AvArmin Biere,Daniel Kröningm. fl.
Häftad, Tyska, 2008
419 kr
Skickas inom 10-15 vardagar
Hardware and Software: Verification and Testing
8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
AvArmin Biere,Amir Nahirm. fl.
Häftad, Engelska, 2013
699 kr
Skickas inom 10-15 vardagar