Theory and Applications of Satisfiability Testing – SAT 2017

20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, 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 2017

More books from Springer International Publishing

bigCover of the book Elements of Classical and Quantum Physics by

bigCover of the book Resistance to Molecular Therapies for Hepatocellular Carcinoma by

bigCover of the book Rotor and Structural Dynamics of Turbomachinery by

bigCover of the book Problem-based Behavioral Science and Psychiatry by

bigCover of the book Information Systems for Industry 4.0 by

bigCover of the book Mapping Sustainability Transitions by

bigCover of the book Progress in Cryptology - AFRICACRYPT 2017 by

bigCover of the book Process Mining Techniques in Business Environments by

bigCover of the book Pediatric Robotic Surgery by

bigCover of the book Converging Clinical and Engineering Research on Neurorehabilitation II by

bigCover of the book Gendered Citizenship by

bigCover of the book Building Climate Resilience through Virtual Water and Nexus Thinking in the Southern African Development Community by

bigCover of the book Computer Vision – ACCV 2018 by

bigCover of the book Biblical Theology for Ethical Leadership 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