Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN:081764220X
Industrial Evaporators Principles of Operation and Control
1985 年出版227 页ISBN:0876646933
CONTROL APPLICATIONS OF NONLINEAR PROGRAMMING AND OPTIMIZATION
1986 年出版210 页ISBN:0080316654
DYNAMICS AND CONTROL OF CONTINUOUS DISTILLATION UNITS
1975 年出版726 页ISBN:0444412344