Intuitionistic Type Theory
Per Martin-Lof
The $100 Startup: Reinvent the Way You Make a Living, Do What ...
Guillebeau, Chris
Dynamic Hedging Managing Vanilla and Exotic Options
Nassim Nicholas Taleb
Coding the Matrix: Linear Algebra Through Computer Science Applications
Philip N. Klein
Game Programming Gems 5
Kim Pallister
Game Programming Gems 4
Andrew Kirmse
Game Programming Gems 3
Dante Treglia
Practical Foundations for Programming Languages
Robert Harper
