-
-
数字集成电路设计验证 量化评估、激励生成、形式化验证
李晓维，吕涛，李华伟，李光辉著2010 年出版411 页ISBN：9787030276094本书重点介绍过去五年内取得的相关研究成果，兼顾对国内外近期相关工作的扼要介绍。本书涉及数字集成电路模拟验证的覆盖量化评估和测试激励生成、形式化方法。主体内容包括量化评估、测试激励生成、形式验证...
-
Flash CS4动画设计师职业技能实训教程
沈大林主编2010 年出版363 页ISBN：9787113114022本书介绍了Flash CS4的工作环境和一些基本操作；导入素材，文本输入和文本编辑，遮罩层的使用技术；创建动画的基本方法，引导动画、补间动画和补间形状动画的制作方法，以及反向运动(IK)动画设计等；按钮元件和元件实例....
-
UG NX 8.0中文版数控加工设计高手速成
丁明超，白羽编著2012 年出版472 页ISBN：9787121179532本书针对UG NX 8.0在数控行业中的应用进行编写的。书中所讲解的内容是作为一名优秀的CAM设计师必备的专业知识。通过对本书的全面学习，读者可以获得CAM岗位的专业技能，并能快速胜任相关岗位的工作。NX CAM包...
-
计算机辅助设计艺术 Photoshop CS4篇
张健，何方编著2010 年出版153 页ISBN：9787562932758Photoshop CS是美国著名的设计软件开发企业Adobe公司开发的可以运行于Apple Macimtosh计算机或装有Windows系统的PC计算机的专业图像编辑应用程序。《计算机辅助设计艺术——Photoshop CS4篇》主要分为Phot...
-
SAP2000在幕墙钢结构中的设计与应用
陈昌宏，黄莺主编；岳珠峰主审2013 年出版158 页ISBN：9787112152124本书是配合SAP2000 V15版本软件的使用而编写的，其内容涵盖了SAP2000结构模型的正确建立与技巧，玻璃幕墙面板的内力与变形分析，框式玻璃幕墙横梁与立柱内力与变形分析，点式玻璃幕墙结构内力与变形分析，框式玻璃幕...
-
城镇污水处理厂污泥干化焚烧工程设计规程
上海市城市建设设计研究总院（集团）有限公司，上海市排水管理处主编2017 年出版86 页ISBN：9787560871899本规程主要内容有：1 总则；2 术语；3 污泥特性分析；4 总体设计；5污泥接收、储存与输送；6 污泥热干化系统；7 污泥焚烧系统；8 烟气热能回收系统；9 烟气净化与排烟系统；10 供配电系统；11 仪表及自动化控制系统；12 给水......
-
中文版AutoCAD 2017机械设计从入门到精通
梁盛华，周文斌，彭永安2017 年出版378 页ISBN：9787113231507书中以AutoCAD 2017为平台，详细介绍了如何快速使用AutoCAD绘制各类机械设计图纸的流程、方法和技巧。书中把重点放在各类机械图纸绘制的讲解上，引领读者快速掌握机械绘图的核心技术。具体内容包括：机械工程图...
-
国外计算机科学经典教材 嵌入式系统 体系结构、编程与设计 第3版
（印）RajKamal著；郭俊凤译2017 年出版572 页ISBN：9787302468806全书分为4大部分，第1部分介绍嵌入式系统设计和开发的整个过程以及涉及的相关技术，第2部分介绍8051、ARM微控制器、实时交互、输入与输出等，第3部分介绍架构技术与内存管理，第4部分介绍IO设备、通信总线以及分布...
-
海军舰艇设计和操作中的人因
（美）乔纳森·M.罗斯（Jonathan M.Ross）著；卢晓平，熊虎，张文山译2017 年出版244 页ISBN：9787121309281该书立足于帮助提高各种军用海洋运载工具的设计和操作水平，构架了沟通不同学科的桥梁；依托相关研发和应用领域的8位知名专家组成了专门小组，汇集该小组专家门的大量素材和建议，形成本书的知识体系。全书分为10...