李晓维，吕涛，李华伟，李光辉著2010 年出版411 页ISBN：9787030276094
本书重点介绍过去五年内取得的相关研究成果，兼顾对国内外近期相关工作的扼要介绍。本书涉及数字集成电路模拟验证的覆盖量化评估和测试激励生成、形式化方法。主体内容包括量化评估、测试激励生成、形式验证...
张健，何方编著2010 年出版153 页ISBN：9787562932758
Photoshop CS是美国著名的设计软件开发企业Adobe公司开发的可以运行于Apple Macimtosh计算机或装有Windows系统的PC计算机的专业图像编辑应用程序。《计算机辅助设计艺术——Photoshop CS4篇》主要分为Phot...
陈昌宏，黄莺主编；岳珠峰主审2013 年出版158 页ISBN：9787112152124
本书是配合SAP2000 V15版本软件的使用而编写的，其内容涵盖了SAP2000结构模型的正确建立与技巧，玻璃幕墙面板的内力与变形分析，框式玻璃幕墙横梁与立柱内力与变形分析，点式玻璃幕墙结构内力与变形分析，框式玻璃幕...
上海市城市建设设计研究总院（集团）有限公司，上海市排水管理处主编2017 年出版86 页ISBN：9787560871899
本规程主要内容有：1 总则；2 术语；3 污泥特性分析；4 总体设计；5污泥接收、储存与输送；6 污泥热干化系统；7 污泥焚烧系统；8 烟气热能回收系统；9 烟气净化与排烟系统；10 供配电系统；11 仪表及自动化控制系统；12 给水......
国外计算机科学经典教材 嵌入式系统 体系结构、编程与设计 第3版
（印）RajKamal著；郭俊凤译2017 年出版572 页ISBN：9787302468806
全书分为4大部分，第1部分介绍嵌入式系统设计和开发的整个过程以及涉及的相关技术，第2部分介绍8051、ARM微控制器、实时交互、输入与输出等，第3部分介绍架构技术与内存管理，第4部分介绍IO设备、通信总线以及分布...
（美）乔纳森·M.罗斯（Jonathan M.Ross）著；卢晓平，熊虎，张文山译2017 年出版244 页ISBN：9787121309281
该书立足于帮助提高各种军用海洋运载工具的设计和操作水平，构架了沟通不同学科的桥梁；依托相关研发和应用领域的8位知名专家组成了专门小组，汇集该小组专家门的大量素材和建议，形成本书的知识体系。全书分为10...
世界知识产权组织编；国家知识产权局专利局译2017 年出版261 页ISBN：9787513047722
本分类表为第11版《国际外观设计分类表》（《洛迦诺分类表》）的中英文对照版。在世界知识产权组织公布的《国际外观设计分类表（第11版）》官方版本的基础上，我国将分类表的历次修订内容的整理成果编撰在本次出版的...
孙丽娜编著2016 年出版280 页ISBN：9787563548132
第1篇XHTML+CSS基础进入WEB2.0时代，网站设计标准采用XHTML+CSS定位技术。XHTML+CSS是网站标准（或称“WEB标准”）中常用的术语之一，目前处于成熟阶段。本篇系统讲解XHTML和CSS的功能和特性，理论结合实践，系统的讲...
朱龙英主编；杨玉萍，陈静副主编；郁倩，顾玲，陈伟明参编；朱如鹏，周海主审2017 年出版273 页ISBN：9787111562641
机械设计基础是高等学校机械类、近机类专业学生必修的一门技术基础课，它在教学中起着承前启后的作用，为学生学习后续的专业课打下必要的基础。它主要研究机械中常用机构和通用零部件的工作原理、结构特点、基...
