Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Compilers: Principles, Techniques, and Tools
Alfred V. Aho; Monica S. Lam; Ravi Sethi; Jeffrey D. Ullman
Math You Can't Use : Patents, Copyright, and Software
Ben Klemens
Real-Time Collision Detection
Christer Ericson
3D Game Engine Programming
Stefan Zerbst & Oliver Düvel
Fluid Simulation for Computer Graphics, Second Edition
Robert Bridson
Game Engine Gems 2
Eric Lengyel
Game Engine Gems 3
Physically Based Rendering, Fourth Edition: From Theory to Implementation
Matt Pharr & Wenzel Jakob & Greg Humphreys
Real-Time Rendering, Fourth Edition
Tomas Akenine-Mo ̈ller & Eric Haines & Naty Hoffman