Einstein Manifolds
Arthur L. Besse
Expert C Programming
Peter van der Linden
The Model Thinker
Scott E. Page
PLP An introduction to mathematical proof
Seckin Demibras, Andrew Rechnitzer
Modern Processor Design: Fundamentals of Superscalar Processors
John Paul Shen, Mikko H. Lipasti