Here, what we could find on your book search:

Alexander Nadel

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).

Theory and Applications of Satisfiability Testing - SAT 2006

Armin Biere and Carla P. Gomes

Check Price (10 deals)

Hardware and Software, Verification and Testing

Shmuel Ur, Eyal Bin and Yaron Wolfsthal

Check Price (4 deals)

Theory and Applications of Satisfiability Testing - SAT 2007

Joao Marques-Silva and Karem A. Sakallah

Check Price (1 deals)

Theory and Applications of Satisfiability Testing -- SAT 2012

Alessandro Cimatti and Roberto Sebastiani

Check Price (10 deals)

Theory and Applications of Satisfiability Testing

Fahiem Bacchus and Toby Walsh

Check Price (2 deals)

Handbook of Satisfiability

Armin Biere, Hans van Maaren and Toby Walsh

Check Price (2 deals)

Theory and Application of Satisfiability Testing

Karem A. Sakallah and Laurent Simon

Check Price (6 deals)

ECAI 2023

Kobi Gal, Ann Nowé, Grzegorz J. Nalepa, Roy Fairstein and Roxana Radulescu

Check Price (3 deals)

PROCEEDINGS OF THE 23RD CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2023

Alexander Nadel and Kristin Yvonne Rozier

Check Price (7 deals)

BOOKS THAT SPEAKS TO YOU

Try Amazon Audible today for FREE. Cancel anytime

First Audiobook Free