Game Programming Patterns
Nystrom, Robert
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Options, Futures, and Other Derivatives, Global Edition, 9/e
John C. Hull
Expert C Programming
Peter van der Linden
Constructing the International Economy
Rawi Abdelal & Mark Blyth & Craig Parsons
Cornell Studies in Political Economy (1)