Philosophy of Mathematics
Linnebo, Øystein
Design and Implementation of the FreeBSD Operating System, The, ...
Marshall Kirk McKusick & George V. Neville-Neil & Robert N. M. Watson
Linkers and Loaders
John R. Levine
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Deuterium Depletion: A New Way in Curing Cancer and Preserving ...
Gábor Somlyai