Theoretical Aspects of Computing – ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings

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

Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

Learn Computer Science

The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

Head First Design Patterns: Edition 2

Software Engineering Handbook

Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures

Algorithms to Live By: The Computer Science of Human Decisions

Testing Techniques in Software Engineering: Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures

Hacking: Be a Hacker with Ethics

The Magic Of AI: Best Ways to Simplify Everyday Life

Structure and Interpretation of Computer Programs - 2nd Edition

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)

Approaching (Almost) Any Machine Learning Problem

Data Science (VIEH GROUP)