FINFET MODELING FOR IC SIMULATION AND DESIGN USING THE BSIM-CMG STANDARD
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
K.S.L.SETTY1981 年出版94 页ISBN：0892523379
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
SOLIDWORKS Flow Simulation教程 2015版
美国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
Daniel Aarno ; Jakob Engblom2015 年出版352 页ISBN：0128007259
ADVANCED PROCESS CONTROL Beyond Single-Loop Control
Cecil L.Smith2010 年出版450 页ISBN：9780470381977
6th Workshop on Parallel and Distributed Simulation(PADS92) Proceedings of the 1992 SCS Western Simu
SIMULATION COUNCILS1992 年出版0 页ISBN：
商业银行信用风险评估 一种实证模型的探讨 one proposal on empirical modelling
于立勇著2007 年出版134 页ISBN：7301120796
信用风险评估既是商业银行信用风险管理的关键环节，更是商业银行进行信贷决策的主要依据。本书提出以信用风险度作为新的风险衡量标准。在利用因子分析法确立评估指标体系的基础上，构建了基于补偿模糊神经网络...
SOLIDWORKS Flow Simulation教程 2018版
SOLIDWORKS（R）公司著；陈超祥，胡其登主编2018 年出版211 页ISBN：9787111607816
：《SOLIDWORKS Flow Simulation教程（2018版）》是根据DS SOLIDWORKS公司发布的《SOLIDWORKS 2018：SOLIDWORKS Flow Simulation》编译而成的。Flow Simulation是一款计算流体力学（CFD）的软件，该软件与SOLIDWORKS紧密...
Manuals of food quality control 1: the food control laboratory
1986 年出版67 页ISBN：9251024898
