Thermobacteriology in Food Processing 微生物学
Introduction to Matrix Computations 数学史
Symbolic Logic and Mechanical Theorem Proving 自动控制技术