Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The Hero With A Thousand Faces, Commemorative Edition (Princeton ...
Joseph Campbell
PLP An introduction to mathematical proof
Seckin Demibras, Andrew Rechnitzer
Grain Brain
David Perlmutter
Real-Time Rendering, Fourth Edition
Tomas Akenine-Mo ̀ˆller & Eric Haines & Naty Hoffman
Game Engine Gems 3
Eric Lengyel
Game Engine Gems 2
Game AI Pro: Collected Wisdom of Game AI Professionals
Steven Rabin
Fluid Simulation for Computer Graphics, Second Edition
Robert Bridson