Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Union of Isis and Thoth: Magic and Initiatory Practices ...
Normandi Ellis & Nicki Scully
Sphaera mundi
Sacro Bosco, Joannes de, active 1230; Regiomontanus, Joannes, ...
Modern Processor Design: Fundamentals of Superscalar Processors
John Paul Shen, Mikko H. Lipasti
Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar