70447-Article Text-196704-1-10-[..]
Amy
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Euler The Master of Us All
William Dunham
A DSP Primer: With Applications to Digital Audio and Computer ...
Kenneth Steiglitz
AI for Games, Third Edition
Ian Millington
3D Game Engine Architecture: Engineering Real-Time Applications ...
David H. Eberly