Compilers: Principles, Techniques, and Tools
Alfred V. Aho & Monica S. Lam & Jeffrey D. Ullman & Ravi Sethi
Modern Compiler Implementation in ML
Andrew W. Appel
Types and Programming Languages
Benjamin C. Pierce
In Search Of Schrodinger's Cat
John Gribbin
Astronomical
Tim James
Six Easy Pieces
Richard P. Feynman & Robert B. Leighton & Matthew Sands
Six Not-So-Easy Pieces
The Feynman Lectures on Physics, Vol. III
The Feynman Lectures on Physics (1)