Lecture Notes in Computer Science 4349 Verification
Model Checking2007 年出版0 页ISBN：
Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页ISBN：
FERMENTATION AND BIOCHEMICAL ENGINEERING HANDBOOK Principles
Process Design1997 年出版801 页ISBN：
Hardware Description Languages and their Applications Specification
modelling1997 年出版350 页ISBN：
NONLINEAR REGRESSION MODELING FOR ENGINEERING APPLICATIONS MODELING
MODEL VALIDATION2016 年出版361 页ISBN：
（美）（E.韦尔斯）Eric Wells，（美）（S.哈什巴杰）Steve Harshbarger著；（美国微软造型联合体）Micro Modeling Associates著；刘振安等译1999 年出版571 页ISBN：7115079145
Statistical and adaptive signal processing:spectral estimation
signal modelingD.Ma 年出版0 页ISBN：S.Kogon.
