OPEN ACCESS TO STM INFORMATION TRENDS
MODELS AND STRATEGIES FOR LIBRARIES2011 年出版207 页ISBN：3110253283
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：
