（美）WilliamK.Lam著2013 年出版377 页ISBN：9787121195839
本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、...
顾寄南著2011 年出版461 页ISBN：9787030319951
本书是作者根据本人近几年主持完成的国家“863”项目、国家信息产业部项目、国家重点实验室开放基金项目、省工程研究中心开放基金项目、省重点实验室开放基金项目为基础编写而成，集中了国内制造企业在利用...
赵科，鞠艳杰编著2019 年出版232 页ISBN：9787121357138
本书基本上以语言为基础，循序渐进设计数字电路，并最终完成复杂数字系统，最终通过本书的学习可以独立进行FPGA设计，完成数字系统设计。书中讲解项目设计时，任务明确、条理清晰、结构规范、系统性强，并对硬件电路.....
杨军，余江，赵征鹏著2012 年出版216 页ISBN：9787121168833
本书简要概述了密码学和硬件密码学知识，简要介绍Quartus II、ModelSim、Nios II IDE 等基本软件工具的操作应用（包括嵌入式系统的硬件配置、硬件设计、硬件仿真、软件设计以及软件调试等）；着重分析和讲解了基于...
天津市建筑设计院BIM设计中心编著2018 年出版261 页ISBN：9787112212972
本书从BIM设计工作需求出发，结合Revit实际应用及管理经验，系统介绍了BIM的设计模式，以及在概念及方案设计、扩初设计、施工图设计等阶段如何有效利用BIM开展设计工作，并最终利用Revit模型生成二维图纸，以满足各...
李妮著2014 年出版315 页ISBN：9787030400246
本书是一部系统介绍基于建模与仿真技术开展复杂产品设计与评估的著作。根据作者所在单位多年来在建模与仿真领域的研究背景以及作者十几年来的研究开发经历，书中系统地介绍了面向设计与评估的仿真支撑技术（包...
王占飞，隋伟宁，赵中华著2013 年出版239 页ISBN：9787517013686
我国是世界上地震活动最活跃，地震灾害最大的国家之一。2008年5月汶川地震的发生，桥梁倒塌致使地震后交通中断，人民的生命财产损失惨重。加强桥梁抗震设计势在必行。本书作为桥梁抗震设计的专著，首先从性能设计...
唐涛，赵林编2014 年出版205 页ISBN：9787113159290
本书结合列车运行控制系统开发过程的特点，介绍了基于模型的列控系统设计及验证方法、技术和工具，重点阐述了通过使用不同的模型，在开发过程中的不同阶段从不同的视角对系统进行建模，并通过模型为开发过程提供进...
储竞著2014 年出版227 页ISBN：9787313112460
本书是一本在新课程改革背景下提供给小学语文教师的实用教学设计培训教材，它是一本基于标准的小学语文教学设计的辅导书、说明书和参考书。该书既阐述了理论，又编入了大量案例和辅助系统，可成为弥合理论设想和...
魏芬主编；戴丽佼，李红霞副主编2015 年出版289 页ISBN：9787302394945
本教材分为六章，本书首先介绍了在Keil μVision4开发环境下进行C51语言程序的开发，接着对Proteus的基本功能及特性、如何进行仿真设计和调试进行了详细的说明。全书共给出了16个单片机基础实验内容，并精心选择...
