Water Technology in the Middle Ages: Cities, Monasteries, and ...
Roberta J. Magnusson
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Peopleware: Productive Projects and Teams
Tom DeMarco
Ray Tracing Gems High-Quality & Real-Time Rendering & DXR & ...
Eric Haines, Tomas Akenine-Möller
Einstein Manifolds
Arthur L. Besse