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

999 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

Av Armin Biere, David Parker

Inbunden, Engelska, 2020

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

929 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

Av Armin Biere, David Parker

Inbunden, Engelska, 2020

999 kr

Skickas inom 5-8 vardagar
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 339 kr

Skickas fredag 21/11
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

589 kr

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

589 kr

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

Computer Aided Verification

Av Armin 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

Av Armin 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

Av Armin Biere, Daniel Kröning, Georg Weissenbacher, Christoph M. Wintersteiger, Armin Biere, Daniel Kröning

Häftad, Tyska, 2008

409 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

Av Armin Biere, Amir Nahir, Tanja Vos

Häftad, Engelska, 2013

679 kr

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