Book of Proof
Richard Hammack
Data Management on New Hardware
Spyros Blanas, Rajesh Bordawekar, Tirthankar Lahiri, Justin ...
Physically Based Rendering, Third Edition From Theory to Implementation
Matt Pharr, Wenzel Jakob, Greg Humphreys
The Drunkard's Walk
Leonard Mlodinow
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program