Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
AI for Games, Third Edition
Ian Millington
The Sublime Object of Ideology
Slavoj Zizek
Operating System Design: The Xinu Approach, Second Edition
Douglas Comer
Lymph & Longevity: The Untapped Secret to Health
Gerald Lemole
Generative Energy: Restoring the Wholeness of Life
Raymond Peat