The Presocratic Philosophers
G. S. Kirk & J. E. Raven & M. Schofield
A brief introduction to type theory and the univalence axiom
Jackson Macor
Coding the Matrix: Linear Algebra Through Computer Science Applications
Philip N. Klein
Electricity and Magnetism: An Introduction to the Theory of ...
Oleg D. Jefimenko
High-Precision Relative Clock Synchronization Using Time Stamp ...
Guo-Song Tian, Yu-Chu Tian, Colin Fidge