Modern Processor Design: Fundamentals of Superscalar Processors
John Paul Shen, Mikko H. Lipasti
Structure and Interpretation of Classical Mechanics: Second ...
Gerald Jay Sussman & Jack Wisdom
Intuitionistic Type Theory
Per Martin-Lof
René Girard Jean-Michel Oughourlian Guy Lefort
Things hidden since the foundation of the world-Stanford University ...
Organized Mind : Thinking Straight in the Age of Information ...
Levitin, Daniel J.