Reality Is Not What It Seems
Carlo Rovelli
The Edge of Knowledge
Lawrence M. Krauss
Type Theory and Functional Programming
Simon Thompson
Introduction to Graph Theory
Richard J. Trudeau
Compilers: Principles, Techniques, and Tools
Alfred V. Aho & Monica S. Lam & Jeffrey D. Ullman & Ravi Sethi
Getting Started With LLVM Core Libraries
Bruno Cardoso Lopes & Rafael Auler