Logical Geometry
Unknown
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Beginning x64 Assembly Programming
Jo Van Hoey
3D Game Engine Dsign
David H. Eberly
Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar