The Method of Archimedes
Archimedes
Beginning x64 Assembly Programming
Jo Van Hoey
Essay on Economic Theory, An
Richard Cantillon
Operating System Design: The Xinu Approach, Second Edition
Douglas Comer
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program