Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security

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

Large-Scale Complex IT Systems. Development, Operation and Management: 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers

Learn Computer Science

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Software Engineering Handbook

Software Engineering for Resilient Systems: 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings

Automate the Boring Stuff with Python, 2nd Edition: Practical Programming for Total Beginners

Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, USA, WA, USA, March 31--April 2, Revised Selected Papers

Algorithms to Live By: The Computer Science of Human Decisions

Python Crash Course, 3rd Edition: A Hands-On, Project-Based Introduction to Programming

Hacking: Be a Hacker with Ethics

Structure and Interpretation of Computer Programs - 2nd Edition

C Programming Language

Approaching (Almost) Any Machine Learning Problem

Data Science (VIEH GROUP)

Previous GATE paper with answer keys and solutions - Computer Science cs/it: Solved Papers for GATE 2015 Computer Science and Information Technology, GATE 2016 Syllabus, General Information about GATE, Structure of GATE, GATE 2015 Results, Important Tips for GATE 2016

Microsoft AZ-204: Developing Solutions for Microsoft Azure - NEW Preparation: Exclusive Practice Tests & Detailed Explanation + References (Pass Your Microsoft AZ-204 Exam On Your First Try)