Type Theory and Formal Proof
Rob Nederpelt & Herman Geuvers
Compilers: Principles, Techniques, and Tools
Alfred V. Aho & Monica S. Lam & Jeffrey D. Ullman & Ravi Sethi
Structure and Interpretation of Computer P
Harold Abelson
Modern C++ Design: Generic Programming and Design Patterns Applied
Andrei Alexandrescu
The Feynman Lectures on Physics, Vol. II
Richard P. Feynman & Robert B. Leighton & Matthew Sands
The Feynman Lectures on Physics (1)
The Feynman Lectures on Physics, Vol. III
The Feynman Lectures on Physics, Vol. I