Here, what we could find on your book search:

Armin Biere

If you are not able to find that specific book from the book comparison result below, try to refine your search keyword. Like, search for Book title and author together. For best results type in the books ISBN (ISBN 10 or ISBN 13).

Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing

Kerstin Eder, João Lourenҫo and Onn Shehory

Check Price (3 deals)
PROCEEDINGS OF THE 24TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2024

PROCEEDINGS OF THE 24TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2024

Nina Narodytska and Philipp Rümmer

Check Price (6 deals)
Handbook of Parallel Constraint Reasoning

Handbook of Parallel Constraint Reasoning

Youssef Hamadi and Lakhdar Sais

Check Price (10 deals)
PROCEEDINGS OF THE 20TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2020

PROCEEDINGS OF THE 20TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2020

Alexander Ivrii and Ofer Strichman

Check Price (7 deals)
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

Christian Herde

Check Price (3 deals)
ECAI 2016

ECAI 2016

G.A. Kaminka, M. Fox and P. Bouquet

Check Price (3 deals)
ECAI 2020

ECAI 2020

Giuseppe De Giacomo, Bistra Dilkina, Michela Milano, Senén Barro, Alberto Bugarín and Jérôme Lang

Check Price (2 deals)
ECAI 2012

ECAI 2012

C. Bessiere

Check Price (6 deals)
Advances in Computers

Advances in Computers

Marvin Zelkowitz

Check Price (3 deals)

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

Start for free now