Power system transient analysis theory and practice using simulation programs (ATP-EMTP)
Eiichi Haginomori ; Tadashi Koshiduka ; Junichi Arai ; Hisatochi Ikeda2016 年出版268 页ISBN：1118737539
MONOGRAPHS ON STATISTICS AND APPLIED PROBABILITY 126 MEAN FIELD SIMULATION FOR MONTE CARLO INTEGRAT
PIERRE DEL MORAL2013 年出版578 页ISBN：1466504059
Digital Hardware Testing:Transistor-Level Fault Modeling and Testing
1992 年出版317 页ISBN：0890065802
LIQUID TRANSPORT PROCESSES IN POLYMERIC MATERIALS Modeling and Industrial Applications
1991 年出版362 页ISBN：0135383153
INTERMEDIATE ALGEBRA THROUGH MODELING AND VISUALIZATION ANNOTATED INSTRUCTOR'S EDITION
2002 年出版673 页ISBN：0201719673
MICROSTRUCTURAL CHARACTERIZATION IN CONSTITUTIVE MODELING OF METALS AND GRANULAR MEDIA
1992 年出版135 页ISBN：0791809064
Commodity Modeling and Pricing Methods for Analyzing Resource Market Behavior
2008 年出版298 页ISBN：9780470317235
METHODS IN ENZYMOLOGY VOLUME 203 MOLECULAR DESIGN AND MODELING：CONCEPTS AND APPLICATIONS PART B
UNCLEIC ACIDS2222 年出版0 页ISBN：
Geometric Modeling and Processing-GMP 2006 4th International Conference
2006 年出版696 页ISBN：354036711X
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
