硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
苏联部长会议国家建设委员会 勘察设计工作费用扩大指标手册 第23册 铁路 铁路桥梁和隧道
煤炭部设计管理总局译1957 年出版35 页ISBN：15052·149
国家建筑标准设计图集 电气设备在压型钢板、夹芯板上安装 06SD702-5
中国建筑标准设计研究院组织编制2006 年出版66 页ISBN：7801776364
本书包括配电箱、开关、灯具、探测器等在压型钢板或夹芯板屋面、墙体上的安装；电气管线、梯架、托盘、线槽在钢柱上的安装方式；在压型钢板、夹芯板屋面及防水板材复合保温屋面上避雷接闪器的安装。...
管娟主编2013 年出版135 页ISBN：9787560852812
本书选取上海、天津两大城市的创意产业发展为研究对象，探讨编制城市创意产业发展与布局规划将有利于优化城市产业结构、推动城市经济发展。并按照地域的分布对项目案例进行划分，分为龙头城市、大中城市，中小城...
宋强编著2014 年出版470 页ISBN：9787113179960
本书从实用、够用角度出发，以动画制作的必须备知识为纲领，详细介绍了使用3ds Max软件制作动画的各个环节。具体内容包括：三维动画制作基础知识，3ds Max2014操作基础，高级建模，认识材质编辑器，灯光与摄影机，动画原理...
计算机应用基础教程 Windows 7+Office 2010
吕润桃，张建军，谢海波主编；赵金考，赵志茹，孙元，宋丽萍副主编2013 年出版206 页ISBN：9787517012405
本书根据高等职业院校不同专业对计算机基础教育的基本要求，以全国计算机等级考试一级MS Office考试大纲（2013年版）为依据，以计算机的基本知识和基本技能的培养为主要内容，主要介绍当前主流办公软件的使用。本书...
创意景观·渤海湾 第2届环渤海城市生态园林规划设计建设管理高层论坛专辑
李福海，王洪成主编2010 年出版168 页ISBN：9787503858857
本书集合了环渤海城市生态园林规划设计建设管理高层论坛论文以及天津园林规划设计院重点工程案例集锦。
（美）杰斯，（美）詹姆斯，（美）加瑞特著2011 年出版175 页ISBN：9787111348665
本书是AJAX之父的经典之作。本书用简洁的语言系统化地诠释了设计、技术和商业融合是最重要的发展趋势。全书共8章，包括关于用户体验以及为什么它如此重要，认识这些要素、战略层、范围层、结构层、框架层、表...
徐洁，俸远祯主编2012 年出版384 页ISBN：9787121148590
本书是普通高等教育“十一五”国家级规划教材。全书从微体系结构层、指令系统层、汇编语言层三个层次，以及CPU、存储系统、输入/输出系统及其互连三大系统出发，建立整机的概念，并体现软硬结合的思想。全书分3...
福建省电力有限公司基建部，厦门电力勘察设计院有限公司编著2011 年出版184 页ISBN：9787508484891
本书是为了深化输变电工程标准化建设，提高110kV变电站工程建设水平，指导优质工程建设而编制的。本书共分三篇,第一篇为创优设计节点示意图；第二篇为变电站建筑工程（10T901）；第三篇为变电站电气工程(10T901) 。变...
