The Art of Computer Programming, Volumes 1-4A Boxed Set
Introduction to Algorithms, 3rd Edition (The MIT Press)
The Secret Life of Programs: Understand Computers -- Craft Better Code
Literate Programming (Lecture Notes)
The Art of Computer Programming, Volume 4, Fascicle 1: Bitwise Tricks & Techniques; Binary Decision Diagrams
The Art of Computer Programming, Volume 4, Fascicle 6: Satisfiability
The Art of Computer Programming, Volume 4, Fascicle 5: Mathematical Preliminaries Redux; Introduction to Backtracking; Dancing Links
Digital Typography (Lecture Notes)