Types and Programming Languages
Benjamin C. Pierce
Introduction to Graph Theory
Richard J. Trudeau
Modern Compiler Implementation in C
Andrew W. Appel & Maia Ginsburg
The Invisible Universe
Matthew Bothwell
The Edge of Knowledge
Lawrence M. Krauss