Engines of Logic: Mathematicians and the Origin of the Computer

goodreads.com

Guide to Computer Network Security

link.springer.com

The nature of computation (2011)

nature-of-computation.org

Understanding Cryptography

link.springer.com

Preface :: Reasonably Polymorphic

reasonablypolymorphic.com

Foundations of Programming Languages

link.springer.com

Advanced topics in types and programming languages (2004)

cis.upenn.edu

Computer Graphics: Principles and Practice (3rd Edition)

goodreads.com

Probability and Statistics for Computer Science

link.springer.com

Distributed systems (2013)

book.mixu.net

Artificial Intelligence: A Modern Approach (2nd Edition)

goodreads.com

Out of their Minds: The Lives and Discoveries of 15 Great Computer Scientists

goodreads.com

Automata and Computability

link.springer.com

Invent with Python

inventwithpython.com

Software foundations (2011)

softwarefoundations.cis.upenn.edu

Introduction to Parallel Computing

link.springer.com

The new Turing Omnibus (1989)

goodreads.com

Cryptography Made Simple

link.springer.com

Free CS Textbooks

csgordon.github.io

Introduction to Artificial Intelligence

link.springer.com

Introduction to the theory of computation (1996)

goodreads.com

Code: The Hidden Language of Computer Hardware and Software

goodreads.com

Introduction to data compression (2012)

github.com

Analysis for Computer Scientists

link.springer.com

The elements of computing systems (2005)

goodreads.com

Computer systems: a programmer’s perspective

goodreads.com

Operating Systems: Design and Implementation

goodreads.com

Modelling Computing Systems

link.springer.com

Clean Code (2008)

goodreads.com

General Systems Thinking (2015)

goodreads.com

The New Turing Omnibus: Sixty-Six Excursions in Computer Science

goodreads.com

The Shellcoder's Handbook: Discovering and Exploiting Security Holes

goodreads.com

Computer Science: A Very Short Introduction

veryshortintroductions.com

Computer Vision

link.springer.com

The Elements of Computing Systems: Building a Modern Computer from First Principles

goodreads.com

Introductory Computer Forensics

link.springer.com

Advanced Topics in Types and Programming Languages

goodreads.com

Types and programming languages (2002)

cis.upenn.edu

Garbage Collection: Algorithms for Automatic Dynamic Memory Management

goodreads.com

Introduction to Evolutionary Computing

link.springer.com

Feynman Lectures on Computation

goodreads.com

The Algorithm Design Manual

link.springer.com

Purely functional data structures (1996)

cs.cmu.edu

NASA System Engineering (2007)

nasa.gov

Gems of Theoretical Computer Science (1998)

goodreads.com

Annotated turing (2008)

goodreads.com

Concise Guide to Databases

link.springer.com

Introduction to Algorithms, Second Edition

goodreads.com

Structure and Interpretation of Computer Programs - 2nd Edition (MIT Electrical Engineering and Computer Science)

goodreads.com

Systems Programming in Unix/Linux

link.springer.com