The following text field will produce suggestions that follow it as you type.

Home

Barnes and Noble

Theory and Applications of Satisfiability Testing - SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

Unfortunately, this item is no longer available, but we found some similar items you might like.

You May Also Like

Theory and Applications of Satisfiability Testing - SAT 2020: 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings

Theory and Applications of Satisfiability Testing - SAT 2020: 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings

Barnes and Noble
Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers / Edition 1

Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers / Edition 1

Barnes and Noble
Theory and Applications of Models Computation: 12th Annual Conference, TAMC 2015, Singapore, May 18-20, Proceedings

Theory and Applications of Models Computation: 12th Annual Conference, TAMC 2015, Singapore, May 18-20, Proceedings

Barnes and Noble
Theory and Applications of Models of Computation: 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings

Theory and Applications of Models of Computation: 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings

Barnes and Noble
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, Proceedings, Part II

Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, Proceedings, Part II

Barnes and Noble
Applications and Techniques in Information Security: International Conference, ATIS 2014, Melbourne, Australia, November 26-28, 2014. Proceedings

Applications and Techniques in Information Security: International Conference, ATIS 2014, Melbourne, Australia, November 26-28, 2014. Proceedings

Barnes and Noble
Theory and Applications of Models of Computation: 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings / Edition 1

Theory and Applications of Models of Computation: 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings / Edition 1

Barnes and Noble
Artificial General Intelligence: 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017, Proceedings

Artificial General Intelligence: 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017, Proceedings

Barnes and Noble
Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings / Edition 1

Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings / Edition 1

Barnes and Noble
Databases Theory and Applications: 29th Australasian Database Conference, ADC 2018, Gold Coast, QLD, Australia, May 24-27, 2018, Proceedings

Databases Theory and Applications: 29th Australasian Database Conference, ADC 2018, Gold Coast, QLD, Australia, May 24-27, 2018, Proceedings

Barnes and Noble
Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings

Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings

Barnes and Noble
Software Analysis, Testing, and Evolution: 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23-24, 2018, Proceedings

Software Analysis, Testing, and Evolution: 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23-24, 2018, Proceedings

Barnes and Noble
Databases Theory and Applications: 33rd Australasian Database Conference, ADC 2022, Sydney, NSW, Australia, September 2-4, Proceedings

Databases Theory and Applications: 33rd Australasian Database Conference, ADC 2022, Sydney, NSW, Australia, September 2-4, Proceedings

Barnes and Noble
Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings / Edition 1

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings / Edition 1

Barnes and Noble
Advances in Cryptology - ASIACRYPT 2018: 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2-6, 2018, Proceedings

Advances in Cryptology - ASIACRYPT 2018: 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2-6, 2018, Proceedings

Barnes and Noble
Implementation and Application of Automata: 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009, Proceedings

Implementation and Application of Automata: 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009, Proceedings

Barnes and Noble
Powered by Adeptmind