Fluid Simulation for Computer Graphics, Second Edition
Robert Bridson
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Heat Kernels and Dirac Operators
Ezra Getzler
Grain Brain
David Perlmutter
Game Programming Gems 3
Dante Treglia
Game Programming Gems 5
Kim Pallister
Game Programming Gems 4
Andrew Kirmse
Practical Foundations for Programming Languages
Robert Harper
Rust Programming by Example
Guillaume Gomez & Antoni Boucher