Algorithms to Live By
Brian Christian
Game Physics
Eberly, David H.
Collision Detection in Interactive 3D Environments
Gino van den Bergen
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Too Much to Know: Managing Scholarly Information Before the ...
Ann Blair