Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The Road to Reality: A Complete Guide to the Laws of the Universe
Roger Penrose
The Economy of Cities
Jane Jacobs
Dynamic Hedging Managing Vanilla and Exotic Options
Nassim Nicholas Taleb
Multiplayer Game Programming: Architecting Networked Games / ...
Josh Glazer & Sanjay Madhav
Game Design (1)