The Road to Reality: A Complete Guide to the Laws of the Universe
Roger Penrose
The Garbage Collection Handbook
Jones, Richard; Hosking, Antony; Moss, Eliot
Geometric Quantization
N. M. J. Woodhouse
Types and Programming Languages
Benjamin C. Pierce & Benjamin C. (professor Pierce, University Of Pennsylvania)
Einstein Manifolds
Arthur L. Besse