AI for Games, Third Edition
Ian Millington
The Power to Compete
Hiroshi Mikitani & Ryoichi Mikitani
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Archimedes Netz, Reviel (ed.)
The works of Archimedes. Vol. 2 On spirals-Cambridge University ...
Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar