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
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
(美)William K. Lam著;王维维译2007 年出版359 页ISBN:7111195027
本书的主要内容围绕着对硬件设计验证的两大方法(基于模拟的方法和形式验证的方法)展开。
金融检察年刊 2012 金融检察与民间融资=CHINESE YEARBOOK OF FINANCIAL PROSECUTION 2012 FINANCIAL PROSECUTION
陈旭主编;李宁,肖凯副主编2013 年出版437 页ISBN: