Armin Biere - Böcker

Visar alla böcker från författaren Armin Biere.
12 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

Av Armin Biere, David Parker

Häftad, Engelska, 2020

1 029 kr

Skickas inom 3-6 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

Av Armin Biere, David Parker

Inbunden, Engelska, 2020

1 099 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

Av Armin Biere, David Parker

Häftad, Engelska, 2020

949 kr

Skickas inom 3-6 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

Av Armin Biere, David Parker

Inbunden, Engelska, 2020

1 029 kr

Skickas inom 5-8 vardagar
Armin Biere, Hans van Maaren, Toby Walsh - Handbook of Satisfiability, Inbunden

Handbook of Satisfiability

Av Armin Biere, Hans van Maaren, Toby Walsh

Inbunden, Engelska, 2009

2 729 kr

Slutsåld
Armin Biere, Hans van Maaren, Toby Walsh, Hans van Maaren - Handbook of Satisfiability, Inbunden

Handbook of Satisfiability

Av Armin Biere, Hans van Maaren, Toby Walsh, Hans van Maaren

Inbunden, Engelska, 2021

4 769 kr

Skickas torsdag 9/10
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

Av Armin Biere, David Parker

Häftad, Engelska, 2020

599 kr

Skickas inom 7-10 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

Av Armin Biere, David Parker

Häftad, Engelska, 2020

599 kr

Skickas inom 7-10 vardagar
Armin Biere, Roderick Bloem - Computer Aided Verification, Häftad

Computer Aided Verification

Av Armin Biere, Roderick Bloem

Häftad, Engelska, 2014

1 459 kr

Skickas inom 7-10 vardagar
Armin Biere, Carla P. Gomes - Theory and Applications of Satisfiability Testing - SAT 2006, Häftad

Theory and Applications of Satisfiability Testing - SAT 2006

Av Armin Biere, Carla P. Gomes

Häftad, Engelska, 2006

719 kr

Skickas inom 7-10 vardagar
Armin Biere, Amir Nahir, Tanja Vos - Hardware and Software: Verification and Testing, Häftad

Hardware and Software: Verification and Testing

Av Armin Biere, Amir Nahir, Tanja Vos

Häftad, Engelska, 2013

679 kr

Skickas inom 7-10 vardagar