A Science of Concurrent Programs
Leslie Lamport
Introduction To Neuromorphic Computing
Shriram Ramanathan
Proof Theory and Logic Programming
Dale Miller
Formal Methods, Informally
Carroll Morgan
Programming in Scala
Martin Odersky
Benny the Blue Whale
Andy Stanton
Benny the Blue Whale
Andy Stanton
Defining and Deploying Software Processes
F. Alan Goodman
Optimization
Jean-Baptiste Hiriart-Urruty
Augmented Exploitation
Phoebe V. Moore
How To Create a Mind
Ray Kurzweil
The Singularity Is Near
Ray Kurzweil
How To Create a Mind
Ray Kurzweil
The Delicate Art of Brute Force
Paul J. Nahin
Ethics of the Algorithm
Todd Samuel Presner
Digital Culture Shock
Katharina Reinecke
Python Practice Lab
Angelica Lim
The Essence of Software
Daniel Jackson
Spies, Lies, and Algorithms
Amy B. Zegart
Trading At the Speed of Light
Donald A. Mackenzie
