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 Case-Based Reasoning Research and Development by

bigCover of the book Parenting as Spiritual Practice and Source for Theology by

bigCover of the book Recent Advances and Future Prospects in Knowledge, Information and Creativity Support Systems by

bigCover of the book Remote Observatories for Amateur Astronomers by

bigCover of the book Security, Privacy, and Anonymity in Computation, Communication, and Storage by

bigCover of the book Differential Geometry of Curves and Surfaces by

bigCover of the book Practical Urological Ultrasound by

bigCover of the book Recent Research in Control Engineering and Decision Making by

bigCover of the book Grasp Interaction with Tablets by

bigCover of the book Secularists, Religion and Government in Nineteenth-Century America by

bigCover of the book Augmented Cognition by

bigCover of the book Intelligent Information and Database Systems by

bigCover of the book CO2 Sequestration, Biofuels and Depollution by

bigCover of the book Green Nanotechnology for Biofuel Production by

bigCover of the book Beckett and Modernism 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