Programming Game AI by Example
Mat Buckland
Real-Time C++ Efficient Object-Oriented & Template Microcontroller ...
Christopher Michael Kormanyos
3D Game Engine Dsign
David H. Eberly
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Ride the Tiger
Julius Evola