Artificial Intelligence : A Modern Approach by Peter Norvig and Stuart Russell

Computational Complexity: A Modern Approach by Arora, Sanjeev, Barak, Boaz

Probability and Computing By Michael Mitzenmacher & Eli Upfal - 2nd Edition

The Elements of Computing Systems: Building a Modern Computer from F - VERY GOOD

Computability and Logic by Richard C. Jeffrey and George S. Boolos (1989, Trade

Computability and Logic Fifth Edition by Boolos Paperback Cambridge

The Garbage Collection Handbook

Engineering: A Compiler