Intuitionistic Type Theory
Per Martin-Lof
Modern Processor Design: Fundamentals of Superscalar Processors
John Paul Shen, Mikko H. Lipasti
The Essential Cantong qi
Golden Elixir Press
The Videogame Industry Does Not Exist: Why We Should Think Beyond ...
Brendan Keogh
Too Much to Know: Managing Scholarly Information Before the ...
Ann Blair