Beginning x64 Assembly Programming
Jo Van Hoey
Collision Detection in Interactive 3D Environments
Gino van den Bergen
Art of Computer Programming, Volume 2: Seminumerical Algorithms, ...
Donald E. Knuth
Intuitionistic Type Theory
Per Martin-Lof
Secret of the Golden Flower
Cleary, Thomas (tr)