25 Years of Model Checking: History, Achievements, Perspectives

But how Do it Know?: The Basic Principles of Computers for Everyone

Software Engineering Handbook

Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Algorithms to Live By: The Computer Science of Human Decisions

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings

Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings

Complete B2B Online Marketing

Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Hacking: Be a Hacker with Ethics

Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Learn Computer Science

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings

Structure and Interpretation of Computer Programs - 2nd Edition

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Handbook of Model Checking

Approaching (Almost) Any Machine Learning Problem

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday