Iamblichus and the Theory of the Vehicle of the Soul
John F. Finamore
A brief introduction to type theory and the univalence axiom
Jackson Macor
The works of Archimedes. Vol. 1 The two books on the sphere ...
Reviel Netz
Geometric Algebra for Computer Science - An Object-Oriented ...
Leo Dorst, Daniel Fontijne, Stephen Mann
Modern Processor Design: Fundamentals of Superscalar Processors
John Paul Shen, Mikko H. Lipasti