Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Pragmatism, a New Name for Some Old Ways of Thinking
William James
The Soul of a New Machine
Tracy Kidder
Organized Mind : Thinking Straight in the Age of Information ...
Levitin, Daniel J.
Game Engine Gems 2
Eric Lengyel
Game AI Pro: Collected Wisdom of Game AI Professionals
Steven Rabin
Fluid Simulation for Computer Graphics, Second Edition
Robert Bridson
Game Engine Gems 3
Real-Time Rendering, Fourth Edition
Tomas Akenine-Mo ̀ˆller & Eric Haines & Naty Hoffman