Theory and Applications of Satisfiability Testing – SAT 2016

19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Nonfiction, Computers, Advanced Computing, Artificial Intelligence, Computer Science, General Computing

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Theory and Applications of Satisfiability Testing – SAT 2016

More books from Springer International Publishing

bigCover of the book Information and Communication Technology for Development for Africa by

bigCover of the book Transforming Engagement, Happiness and Well-Being by

bigCover of the book Artificial Intelligence by

bigCover of the book The Surgical Management of the Diabetic Foot and Ankle by

bigCover of the book Energy Performance of Buildings by

bigCover of the book Anti-Corruption Evidence by

bigCover of the book Food Nanoscience and Nanotechnology by

bigCover of the book Thermal Analysis of Power Electronic Devices Used in Renewable Energy Systems by

bigCover of the book Nonlinear Structures and Systems, Volume 1 by

bigCover of the book Positive Systems by

bigCover of the book Designing Networks for Innovation and Improvisation by

bigCover of the book Teaching and Learning in Lower Secondary Schools in the Era of PISA and TIMSS by

bigCover of the book Rejection and Disaffiliation in Twenty-First Century American Immigration Narratives by

bigCover of the book Artificial Intelligence and Soft Computing by

We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy