Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Superintelligence: Paths, Dangers, Strategies
Nick Bostrom
Einstein Manifolds
Arthur L. Besse
Dynamic Hedging Managing Vanilla and Exotic Options
Nassim Nicholas Taleb
Game Programming Patterns
Nystrom, Robert