Quantum Space
Jim Baggott
Types and Programming Languages
Benjamin C. Pierce
The Little Typer
Daniel P. Friedman & David Thrane Christiansen
Modern Compiler Implementation in ML
Andrew W. Appel
Advanced Topics in Types and Programming Languages
Astronomical
Tim James
Category Theory
Steve Awodey
Compilers: Principles, Techniques, and Tools
Alfred V. Aho & Monica S. Lam & Jeffrey D. Ullman & Ravi Sethi
The Edge of Knowledge
Lawrence M. Krauss
Effective C++: 55 Specific Ways to Improve Your Programs and ...
Scott Meyers
Einstein's Fridge
Paul Sen
Elemental
Feynman Lectures On Computation
Richard P. Feynman
Feynman Lectures on Gravitation
Richard P. Feynman & Fernando B. Morinigo & William G. Wagner & David Pines
The Feynman Lectures on Physics, Vol. I
Richard P. Feynman & Robert B. Leighton & Matthew Sands
The Feynman Lectures on Physics (1)
The Feynman Lectures on Physics, Vol. II
The Feynman Lectures on Physics, Vol. III
Getting Started With LLVM Core Libraries
Bruno Cardoso Lopes & Rafael Auler
Graph Theory
Ronald Gould
The Greatest Story Ever Told...So Far
Homotopy Type Theory: Univalent Foundations of Mathematics
Unknown
In Search Of Schrodinger's Cat
John Gribbin
An Introduction to Functional Programming Through Lambda Calculus
Greg Michaelson
Introduction to Graph Theory
Richard J. Trudeau
The Invisible Universe
Matthew Bothwell
Lambda-Calculus and Combinators: An Introduction
J. Roger Hindley
Mathematical Proofs: A Transition to Advanced Mathematics
Gary Chartrand & Albert Polimeni & Ping Zhang
Mathematics With Applications
Susanna S. Epp
Modern C++ Design: Generic Programming and Design Patterns Applied
Andrei Alexandrescu
Modern Compiler Implementation in C
Andrew W. Appel & Maia Ginsburg
Our Mathematical Universe
Max Tegmark
Purely Functional Data Structures
Chris Okasaki
Reality Is Not What It Seems
Carlo Rovelli
Seven Databases in Seven Weeks: A Guide to Modern Databases ...
Luc Perkins & Eric Redmond & Jim Wilson
Six Easy Pieces
Six Not-So-Easy Pieces
Something Deeply Hidden
Sean Carroll
Structure and Interpretation of Computer P
Harold Abelson
Type Theory and Formal Proof
Rob Nederpelt & Herman Geuvers
Type Theory and Functional Programming
Simon Thompson
A Universe From Nothing
A Universe From Nothing: Why There Is Something Rather Than ...
What Is Real?
Adam Becker
The World According to Physics
Jim Al-Khalili