硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches

下载此书RAR压缩包在线购买PDF电子书

（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027

本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。

Lecture Notes in Artificial Intelligence 3881 Gesture in Human-Computer Interaction and Simulation 6

下载此书RAR压缩包在线购买PDF电子书

GW 20052006 年出版344 页ISBN：3540326243

Advances in Computational Fluid-Structure Interaction and Flow Simulation New Methods and Challengin

下载此书RAR压缩包在线购买PDF电子书

Yuri bazilevs2016 年出版500 页ISBN：3319408255

THE GLOBAL BUSINESS GAME:A STRATEGIC MANAGEMENT AND INTERNATIONAL BUSINESS SIMULATION PLAYER'S MANUA

下载此书RAR压缩包在线购买PDF电子书

JOSEPH WOLFE2000 年出版191 页ISBN：0324003749

Proceedings of the 2nd International Conference on SIMULATION in MANUFACTURING.24.26 June 1986 Chica

下载此书RAR压缩包在线购买PDF电子书

USA1986 年出版237 页ISBN：

弹道导弹攻防对抗的建模与仿真=ATTACK-DEFENSE COUNTERWORK MODELING AND SIMULATION OF BALLISTIC MISSILE

下载此书RAR压缩包在线购买PDF电子书

罗小明2009 年出版0 页ISBN：

FINFET MODELING FOR IC SIMULATION AND DESIGN USING THE BSIM-CMG STANDARD

下载此书RAR压缩包在线购买PDF电子书

YOGESH SINGH CHAUHAN DARSEN D.LU SRIAMKUMAR VANUGOPALAN SOURABH KHANDELWAL JUAN PABLO DUARTE NAVID PAYDAVOSI AI NIKNEJAD CHENMING HU2015 年出版292 页ISBN：0124200319

PROCEEDINGS OF SPIE-THE INTERNATIONAL SOCIETY FOR OPTICAL ENGINEERING VOLUME303 VISUAL SIMULATION A

下载此书RAR压缩包在线购买PDF电子书

K.S.L.SETTY1981 年出版94 页ISBN：0892523379

SOLIDWORKS Flow Simulation教程 2015版

下载此书RAR压缩包在线购买PDF电子书

美国DSSOLIDWORKS公司著2015 年出版181 页ISBN：9787111508649

本书是根据DS SOLIDWORKS 公司发布的《SOLIDWORKS 2015：SOLIDWORKS Flow Simulation》编译而成的。Flow Simulation是一款计算流体力学（CFD）的软件，该软件与SOLIDWORKS紧密集成，使得CAD和CFD达到了无缝集成的效...

Software and System Development using Virtual Platforms : Full-System Simulation with Wind River Sim

下载此书RAR压缩包在线购买PDF电子书

Daniel Aarno ; Jakob Engblom2015 年出版352 页ISBN：0128007259