Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页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.
Offshore wind and tidal current energy resources: forecasing
modeling2013 年出版160 页ISBN：
BIG MECHANISMS IN SYSTEMS BIOLOGY BIG DATA MINING
NETWORK MODELING2017 年出版870 页ISBN：
Cities and complexity understanding cities with cellular automata
agent-based models2005 年出版565 页ISBN：
