Theory and Applications of Satisfiability Testing

Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings: 7317 Used Book in Good Condition...

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

2009 IEEE International Conference on Computational Intelligence for Measurement Systems and Applications (Cimsa)...

Proceedings of 2nd International Conference on Intelligent Computing and Applications: ICICA 2015: 467...

Proceedings of the 4th International Conference on Applications in Nonlinear Dynamics (ICAND 2016)...

2009 International Conference on Game Theory for Networks (Gamenets 2009)...

International Conference on Theory and Application in Nonlinear Dynamics (ICAND 2012)...

Optimization Theory, Decision Making, and Operations Research Applications: Proceedings of the 1st International Symposium and 10th Balkan Conference on. .. & Statistics Book 31) (English Edition)...

Testing Vue.js Applications...

Advances in Cryptology - ASIACRYPT 2017: 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong,. .. Science Book 10624) (English Edition)...

Computer Vision, Imaging and Computer Graphics Theory and Applications: 11th International Joint Conference, VISIGRAPP 2016, Rome, Italy, February 27 -. .. Science Book 693) (English Edition)...

Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings: 8244...

Database and Expert Systems Applications: 27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings, Part II: 9828...

Equilibrium Theory And Applications: Proceedings of the Sixth International Symposium in Economic Theory and Econometrics...

Network Flows: Pearson New International Edition: Theory, Algorithms, and Applications...

Computerized Multistage Testing: Theory and Applications (Chapman & Hall/CRC Statistics in the Social and Behavioral Sciences) (English Edition)...

Proceedings of the 4th International Conference on Applications in Nonlinear Dynamics (ICAND 2016) (Lecture Notes in Networks and Systems Book 6) (English Edition)...

9th International Conference on Robotic, Vision, Signal Processing and Power Applications: Empowering Research and Innovation (Lecture Notes in Electrical Engineering Book 398) (English Edition)...

Petri Nets and Other Models of Concurrency - ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings - - [Volume editor Jetty Kleijn ] published on (August, 2007)...

Artificial Intelligence: Methodology, Systems, and Applications: 17th International Conference, AIMSA 2016, Varna, Bulgaria, September 7-10, 2016, Proceedings. .. Science Book 9883) (English Edition)...

Game Theory for Networks: Third International ICST Conference, GameNets 2012, Vancouver, Canada, May 24-26, 2012, Revised Selected Papers: 105...

Database and Expert Systems Applications: 26th International Conference, DEXA 2015, Valencia, Spain, September 1-4, 2015, Proceedings, Part II (Lecture. .. Science Book 9262) (English Edition)...

Database and Expert Systems Applications: 22nd International Conference, DEXA 2011, Toulouse, France, August 29 - September 2, 2011, Proceedings, Part I - - [Edited by Abdelkader Hameurlain ] published on (September, 2011)...

Database and Expert Systems Applications: 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part I (Lecture Notes. .. Science Book 10438) (English Edition)...

Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming,. .. Papers (Lecture Notes in Computer Science) (2010-06-02)...

Information Security Applications: 19th International Conference, WISA 2018, Jeju Island, Korea, August 23-25, 2018, Revised Selected Papers (Lecture Notes. .. Science Book 11402) (English Edition)...

Databases Theory and Applications: 28th Australasian Database Conference, ADC 2017, Brisbane, QLD, Australia, September 25-28, 2017, Proceedings (Lecture. .. Science Book 10538) (English Edition)...

Proceedings of the First International Conference on Smarandache Type Notions in Number Theory (University of Craiova, 1997) [Smarandache Notions, Vol 8 (English Edition)...

Operator Theory, Function Spaces, and Applications: International Workshop on Operator Theory and Applications, Amsterdam, July 2014 (Operator Theory:. .. and Applications Book 255) (English Edition)...

Performance Testing Guidance for Web Applications: Patterns & Practices...

Beginner's Guide for Mobile Applications Testing (English Edition)...

Testing and Securing Android Studio Applications (English Edition)...

Beginner's Guide for Mobile Applications Testing...

Testing and Securing Android Studio Applications...

Ductile Failure in Sheet Metals: Theory and Applications: An introduction to ductile failure with examples of applications in sheet metal testing, hydroforming, piercing...

2008 16th International Conference on Advanced Computing and Communications (Adcom)...

2007 15th International Conference on Advanced Computing and Communications (Adcom)...

Abstracts - 3rd International Conference and Poster Exhibition, Micro Materials, MicroMat 2000...

3rd International Conference on Technological Innovation in Building 2018: Abstracts...

2017 Wasbe International Biennial Conference: Orchestra Fiati Di Valle Camonica (Live)...