Topics in the Foundations of General Relativity & Newtonian ...
Malament, David
Code The Hidden Language of Computer Hardware and Software
Charles Petzold
Modern C
Jens Gustedt
A brief introduction to type theory and the univalence axiom
Jackson Macor
AI Game Programming Wisdom 4
Steve Rabin