Mathematical Proofs: A Transition to Advanced Mathematics
Gary Chartrand & Albert Polimeni & Ping Zhang
Compilers: Principles, Techniques, and Tools
Alfred V. Aho & Monica S. Lam & Jeffrey D. Ullman & Ravi Sethi
Modern C++ Design: Generic Programming and Design Patterns Applied
Andrei Alexandrescu
Six Not-So-Easy Pieces
Richard P. Feynman & Robert B. Leighton & Matthew Sands
Elemental
Tim James