Hoppa till sidans huvudinnehåll

Armin Biere – författare

Visar alla böcker från författaren .
11 produkter
Armin Biere, David Parker - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

Tools and Algorithms for the Construction and Analysis of Systems

AvArmin Biere,David Parker

Häftad, Engelska, 2020

1 039 kr

Skickas inom 5-8 vardagar

Armin Biere, David Parker - Tools and Algorithms for the Construction and Analysis of Systems, Inbunden

Tools and Algorithms for the Construction and Analysis of Systems

AvArmin Biere,David Parker

Inbunden, Engelska, 2020

1 109 kr

Skickas inom 5-8 vardagar

Armin Biere, David Parker - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

Tools and Algorithms for the Construction and Analysis of Systems

AvArmin Biere,David Parker

Häftad, Engelska, 2020

969 kr

Skickas inom 5-8 vardagar

Armin Biere, David Parker - Tools and Algorithms for the Construction and Analysis of Systems, Inbunden

Tools and Algorithms for the Construction and Analysis of Systems

AvArmin Biere,David Parker

Inbunden, Engelska, 2020

1 039 kr

Skickas inom 5-8 vardagar

Armin Biere, Hans van Maaren, Toby Walsh - Handbook of Satisfiability, Inbunden
Del 2 - Frontiers in Artificial Intelligence and Applications (IOS Press)

Handbook of Satisfiability

Second Edition

AvArmin Biere,Hans van Maarenm. fl.

Inbunden, Engelska, 2021

4 969 kr

Skickas

Armin Biere, David Parker - Tools and Algorithms for the Construction and Analysis of Systems, Häftad
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

589 kr

Skickas inom 10-15 vardagar

Armin Biere, David Parker - Tools and Algorithms for the Construction and Analysis of Systems, Häftad
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

589 kr

Skickas inom 10-15 vardagar

Armin Biere, Roderick Bloem - Computer Aided Verification, Häftad
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 449 kr

Skickas inom 10-15 vardagar

Armin Biere, Carla P. Gomes - Theory and Applications of Satisfiability Testing - SAT 2006, Häftad

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

709 kr

Skickas inom 10-15 vardagar

Armin Biere, Daniel Kröning, Georg Weissenbacher, Christoph M. Wintersteiger, Armin Biere, Daniel Kröning - Digitaltechnik - Eine praxisnahe Einführung, Häftad

Digitaltechnik - Eine praxisnahe Einführung

AvArmin Biere,Daniel Kröningm. fl.

Häftad, Tyska, 2008

399 kr

Skickas inom 10-15 vardagar

Armin Biere, Amir Nahir, Tanja Vos - Hardware and Software: Verification and Testing, Häftad

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

669 kr

Skickas inom 10-15 vardagar