Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The Three Languages of Politics: Talking Across the Political ...
Kling, Arnold
Data Management on New Hardware
Spyros Blanas, Rajesh Bordawekar, Tirthankar Lahiri, Justin ...
Stonehouses Anatomy (Jap)
Superani
Too Much to Know: Managing Scholarly Information Before the ...
Ann Blair