大约有525,721项符合查询结果项。（搜索耗时：0.5308秒）
为您推荐： 维修性设计分析与验证 保证正版 高速铁路轨道不平顺大数据分析与智能维修 制药设备与工艺验证 算法设计与分析 雷达系统分析与设计 试验优化设计与分析
-
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
-
资产定价理论：逻辑分析和经验验证
刘晓峰著2003 年出版193 页ISBN：7505837621资产定价理论是金融经济学研究的核心内容之一。本书在广度上对各类证券资产定价理论和方法进行了梳理，对其发展历史进行了回顾，并对其各自特点分析框架及发展前景进行了比较。...
-
VERILOG数字系统设计：RTL综合、测试平台与验证 第2版
（美）ZAINALABEDIN NAVABI著2007 年出版274 页ISBN：7121047675本书主要讲述基于IEEE Std 1364-2001版本的Verilog硬件描述语言，着重讲述了使用Verilog进行数字系统的设计、验证及综合。根据数字集成电路设计的工程需求，本书重点关注了testbench的设计编写、验证和测试技...
-
CMOS模拟集成电路版图设计与验证 基于Cadence Virtuoso与Mentor Calibre
尹飞飞，陈铖颖，范军，王鑫编著2016 年出版264 页ISBN：9787121298073本书依托Cadence Virtuoso与Mentor Calibre，介绍使用Cadence Virtuoso与Mentor Calibre进行CMOS模拟集成电路版图设计、验证及后仿真的方法，内容包括CMOS模拟集成电路版图基础、Cadence Virtuoso版图设计工具...
-
民用飞机安全性丛书 民用飞机安全性设计与验证技术
郭博智，王敏芹，阮宏泽主编2015 年出版274 页ISBN：9787516508275民机安全是民机事业的生命线。安全性设计是飞机设计中重要的一个环节。安全性工作对于飞机设计阶段、特别是飞机交付后的全寿命周期具有重要的意义。近几年，在国家大型客机发展战略的部署下，作为民机研制工作...
-
有限元分析的数学建模、校核与验证
（美）萨伯，（美）巴布斯卡著2013 年出版259 页ISBN：9787516503607本书是美国著名力学和数学家Barna Szabó教授和Ivo Babu?ka教授的经典之作。书中重点介绍了有限元模型的建立、验证与校核，尤其是详细介绍了p型有限元的基本理论，p型、h型以及hp型有限元的误差估计和收敛性问...
-
化学分析方法验证程序及应用实例
周宇艳，周明辉主编2015 年出版204 页ISBN：9787308146760验证是建立分析方法过程中的重要一环，目的是确证所建方法是否达到预期分析目标。本书稿分析了我国及国外标准化组织开展验证活动的情况，给出了方法具体性能参数的验证程序，并基于作者丰富的标准制定经验，列举实...
-
国外食品安全化学分析方法验证指南
岳振峰主编2015 年出版465 页ISBN：9787506678582本书结合作者多年来在食品安全检测领域的实践经验，对国际组织、欧美日等发达国家以及区域组织等关于食品安全化学分析方法的验证和确认准则和指南文件进行了筛选和编译。全书共分两篇，包括食品安全分析方法（化...
-
Verilog数字系统设计 RTL综合、测试平台与验证 第2版·英文版
（美）纳瓦毕著2007 年出版316 页ISBN：9787121052415本书主要讲述基于IEEE Std 1364-2001版本的Verilog硬件描述语言，着重讲述了使用Verilog进行数字系统的设计、验证及综合。根据数字集成电路设计的工程需求，本书重点关注了testbench的设计编写、验证和测试技...
-
数字集成电路设计验证 量化评估、激励生成、形式化验证
李晓维，吕涛，李华伟，李光辉著2010 年出版411 页ISBN：9787030276094本书重点介绍过去五年内取得的相关研究成果，兼顾对国内外近期相关工作的扼要介绍。本书涉及数字集成电路模拟验证的覆盖量化评估和测试激励生成、形式化方法。主体内容包括量化评估、测试激励生成、形式验证...