Heat Transfer Fluids and Systems for Process and Energy Applications
1985 年出版283 页ISBN:0824771915
IMPLEMENTING MATHEMATICS WITH THE NUPRL PROOF DEVELOPMENT SYSTEM
2222 年出版299 页ISBN:0134518322
Operating System Design Volume II Internetworking With Xinu
1987 年出版567 页ISBN:013637414X