Lecture Notes in Computer Science 4349 Verification
Model Checking2007 年出版0 页ISBN：
Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页ISBN：
ROCK MECHANICS AND ENGINEERING VOLUME 3：ANALYSIS
MODELING AND DESIGN2017 年出版914 页ISBN：9781138027619
Hardware Description Languages and their Applications Specification
modelling1997 年出版350 页ISBN：
NONLINEAR REGRESSION MODELING FOR ENGINEERING APPLICATIONS MODELING
MODEL VALIDATION2016 年出版361 页ISBN：
Preparing for the Next Financial Crisis: Policies
Tools and Models2017 年出版188 页ISBN：
（美）（E.韦尔斯）Eric Wells，（美）（S.哈什巴杰）Steve Harshbarger著；（美国微软造型联合体）Micro Modeling Associates著；刘振安等译1999 年出版571 页ISBN：7115079145
Television and Entertainment Industry Contract Model and Risk Prevention 年出版2019 页ISBN：
