Mathematics With Applications
Susanna S. Epp
Structure and Interpretation of Computer P
Harold Abelson
The Feynman Lectures on Physics, Vol. III
Richard P. Feynman & Robert B. Leighton & Matthew Sands
The Feynman Lectures on Physics (1)
Advanced Topics in Types and Programming Languages
Benjamin C. Pierce
Purely Functional Data Structures
Chris Okasaki
Compilers: Principles, Techniques, and Tools
Alfred V. Aho & Monica S. Lam & Jeffrey D. Ullman & Ravi Sethi
Modern Compiler Implementation in ML
Andrew W. Appel
Modern Compiler Implementation in C
Andrew W. Appel & Maia Ginsburg
Getting Started With LLVM Core Libraries
Bruno Cardoso Lopes & Rafael Auler
Effective C++: 55 Specific Ways to Improve Your Programs and ...
Scott Meyers
Modern C++ Design: Generic Programming and Design Patterns Applied
Andrei Alexandrescu
Type Theory and Formal Proof
Rob Nederpelt & Herman Geuvers
Types and Programming Languages