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 Stamping the Earth from Space by

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

bigCover of the book Apoptotic and Non-apoptotic Cell Death by

bigCover of the book Decentralized Solutions for Developing Economies by

bigCover of the book On the Move to Meaningful Internet Systems. OTM 2017 Conferences by

bigCover of the book Advances in Interdisciplinary Practice in Industrial Design by

bigCover of the book User-Centric Technology Design for Nonprofit and Civic Engagements by

bigCover of the book Inheritance and Innovation in a Colonial Language by

bigCover of the book Global Politics and Its Violent Care for Indigeneity by

bigCover of the book The Case for Terence Rattigan, Playwright by

bigCover of the book Biblical Principles of Being an Employee in Contemporary Organizations by

bigCover of the book Inclusive Leadership by

bigCover of the book Regions in Transition in the Former Soviet Area by

bigCover of the book Researching Entrepreneurship by

bigCover of the book World Trade Center Pulmonary Diseases and Multi-Organ System Manifestations 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