Free shipping on all orders over $79* Limited Time Only

My Wish Lists Login / Join

Results for author 'Armin Biere'

Refine Your Results

subjects

Computing & I.T.

3

Mathematics

1

Reference, Information & Interdisciplinary Subjects

1

Science

2

lists

All Books

3

availability

All Books

3

price

$50 - $100

2

Over $100

1

formats

Paperbacks

2

Hardcovers

1

Language

Sort By:

Booktopia Recommends

Bestsellers

Price Low to High

Price High to Low

Most Recently Published

Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings - Armin Biere

Theory and Applications of Satisfiability Testing - SAT 2006

9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings

Armin Biere and Carla P. Gomes

Paperback

$84.99

Handbook of Satisfiability : Second Edition - Armin Biere

Handbook of Satisfiability

Second Edition

Armin Biere, Toby Walsh and Hans van Maaren

Hardcover

$792.75

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

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

Armin Biere and David Parker

Paperback

$64.99

3 Results