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 The Concept of Time in Early Twentieth-Century Philosophy by

bigCover of the book Linguistic Linked Open Data by

bigCover of the book Contemporary Urban Design Thinking by

bigCover of the book Groups and Markets by

bigCover of the book Toward Predicate Approaches to Modality by

bigCover of the book ICT for Promoting Human Development and Protecting the Environment by

bigCover of the book Mechanisms of Molecular Carcinogenesis – Volume 2 by

bigCover of the book Computational Methods, Seismic Protection, Hybrid Testing and Resilience in Earthquake Engineering by

bigCover of the book Functional Safety for Road Vehicles by

bigCover of the book Digital Technology and Organizational Change by

bigCover of the book Geospatial Technologies for Agriculture by

bigCover of the book MIF Family Cytokines in Innate Immunity and Homeostasis by

bigCover of the book Magnetic Reconnection by

bigCover of the book Children and Young People Living with HIV/AIDS by

bigCover of the book A Solar Car Primer 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