Intuitionistic Type Theory
Per Martin-Lof
Data Management on New Hardware
Spyros Blanas, Rajesh Bordawekar, Tirthankar Lahiri, Justin ...
The Egyptian Hermes: A Historical Approach to the Late Pagan ...
Garth Fowden
Zen of Assembly Language: Knowledge
Michael Abrash
The C++ Programming Language
Bjarne Stroustrup