A brief introduction to type theory and the univalence axiom
Jackson Macor
High-Precision Relative Clock Synchronization Using Time Stamp ...
Guo-Song Tian, Yu-Chu Tian, Colin Fidge
Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar
Coding the Matrix: Linear Algebra Through Computer Science Applications
Philip N. Klein
Electricity and Magnetism: An Introduction to the Theory of ...
Oleg D. Jefimenko