Here, what we could find on your book search:

Christian Herde

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

Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

Moshe Vardi and Andrei Voronkov

Check Price (1 deals)
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Pascal Van Hentenryck and Laurence Wolsey

Check Price (1 deals)
Software Engineering and Formal Methods

Software Engineering and Formal Methods

Gilles Barthe, Alberto Pardo and Gerardo Schneider

Check Price (5 deals)
Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Sungdeok Cha, Jin-Young Choi, Moonzoo Kim and Mahesh Viswanathan

Check Price (5 deals)
Recent Advances in Constraints

Recent Advances in Constraints

Angelo Oddi, François Fages and Francesca Rossi

Check Price (5 deals)
Computer Aided Verification

Computer Aided Verification

Ahmed Bouajjani and Oded Maler

Check Price (10 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 (1 deals)

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

Start for free now