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 Broadband as a Video Platform by

bigCover of the book Deciphering Chemical Language of Plant Communication by

bigCover of the book Justiciability of Human Rights Law in Domestic Jurisdictions by

bigCover of the book Design, User Experience, and Usability: Theory and Practice by

bigCover of the book Thermo-Hydro-Mechanical-Chemical Processes in Fractured Porous Media: Modelling and Benchmarking by

bigCover of the book Regenerating Regional Culture by

bigCover of the book Abduction in Context by

bigCover of the book Military Identity and the Transition into Civilian Life by

bigCover of the book Smart Industry & Smart Education by

bigCover of the book Terry Pratchett's Narrative Worlds by

bigCover of the book Advances in Visual Computing by

bigCover of the book Dialysis Access Cases by

bigCover of the book Classification in BioApps by

bigCover of the book Youth Studies in Transition: Culture, Generation and New Learning Processes 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