Expert C Programming
Peter van der Linden
Game Programming Gems 2
Mark A. Deloura
Principles of Economics
Alfred Marshall
Sphaera mundi
Sacro Bosco, Joannes de, active 1230; Regiomontanus, Joannes, ...
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program