Coding the Matrix: Linear Algebra Through Computer Science Applications
Philip N. Klein
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Ignition: An Informal History of Liquid Rocket Propellants
John D. Clark
Taking People With You: The Only Way to Make Big Things Happen ...
David Novak
Programming Game AI by Example
Mat Buckland