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 Biogas Science and Technology by

bigCover of the book Stringer-Panel Models in Structural Concrete by

bigCover of the book Dynamics and Control of Advanced Structures and Machines by

bigCover of the book Water Resources in Central Asia: International Context by

bigCover of the book Counteracting Methodological Errors in Behavioral Research by

bigCover of the book Machine Learning Paradigms by

bigCover of the book EuroKarst 2016, Neuchâtel by

bigCover of the book ISO 26000 - A Standardized View on Corporate Social Responsibility by

bigCover of the book Effective Daylighting with High-Performance Facades by

bigCover of the book Basic Atomic Interactions of Accelerated Heavy Ions in Matter by

bigCover of the book Simple Mathematical Models of Gene Regulatory Dynamics by

bigCover of the book Processing of Hyperspectral Medical Images by

bigCover of the book Metabolism in Cancer by

bigCover of the book Science Fiction, Ethics and the Human Condition 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