Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The works of Archimedes. Vol. 1 The two books on the sphere ...
Reviel Netz
The Platonic Doctrines of Albinus
Albinus
Game Design Workshop, Second Edition: A Playcentric Approach ...
Tracy Fullerton
Modern C
Jens Gustedt
Game Programming Gems 4
Andrew Kirmse
Game Programming Gems 5
Kim Pallister
Game Programming Gems 3
Dante Treglia