Einstein Manifolds
Arthur L. Besse
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Game Physics
Eberly, David H.
The Soul of a New Machine
Tracy Kidder
High-Precision Relative Clock Synchronization Using Time Stamp ...
Guo-Song Tian, Yu-Chu Tian, Colin Fidge