Here, what we could find on your book search:

Nadia Creignou

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

Algebraic Techniques for Satisfiability Problems

Algebraic Techniques for Satisfiability Problems

Henning Schnoor

Check Price (10 deals)
Mathematics and Computer Science III

Mathematics and Computer Science III

Michael Drmota, Philippe Flajolet, Danièle Gardy and Bernhard Gittenberger

Check Price (10 deals)
Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Sébastien Destercke and Thierry Denoeux

Check Price (5 deals)
ECAI 2016

ECAI 2016

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

Check Price (10 deals)
PROCEEDINGS OF THE 21ST CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2021

PROCEEDINGS OF THE 21ST CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2021

Michael W. Whalen and Ruzica Piskac

Check Price (5 deals)

BOOKS THAT SPEAKS TO YOU

Try Amazon Audible today for FREE. Cancel anytime

First Audiobook Free