The Feynman Lectures on Physics, Vol. I
Richard P. Feynman & Robert B. Leighton & Matthew Sands
The Feynman Lectures on Physics (1)
Homotopy Type Theory: Univalent Foundations of Mathematics
Unknown
In Search Of Schrodinger's Cat
John Gribbin
The Feynman Lectures on Physics, Vol. III
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
Structure and Interpretation of Computer P
Harold Abelson