硬件设计验证 基于模拟与形式的方法 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
本书选取上海、天津两大城市的创意产业发展为研究对象,探讨编制城市创意产业发展与布局规划将有利于优化城市产业结构、推动城市经济发展。并按照地域的分布对项目案例进行划分,分为龙头城市、大中城市,中小城...
创意景观·渤海湾 第2届环渤海城市生态园林规划设计建设管理高层论坛专辑
李福海,王洪成主编2010 年出版168 页ISBN:9787503858857
本书集合了环渤海城市生态园林规划设计建设管理高层论坛论文以及天津园林规划设计院重点工程案例集锦。
(美)杰斯,(美)詹姆斯,(美)加瑞特著2011 年出版175 页ISBN:9787111348665
本书是AJAX之父的经典之作。本书用简洁的语言系统化地诠释了设计、技术和商业融合是最重要的发展趋势。全书共8章,包括关于用户体验以及为什么它如此重要,认识这些要素、战略层、范围层、结构层、框架层、表...
徐洁,俸远祯主编2012 年出版384 页ISBN:9787121148590
本书是普通高等教育“十一五”国家级规划教材。全书从微体系结构层、指令系统层、汇编语言层三个层次,以及CPU、存储系统、输入/输出系统及其互连三大系统出发,建立整机的概念,并体现软硬结合的思想。全书分3...
福建省电力有限公司基建部,厦门电力勘察设计院有限公司编著2011 年出版184 页ISBN:9787508484891
本书是为了深化输变电工程标准化建设,提高110kV变电站工程建设水平,指导优质工程建设而编制的。本书共分三篇,第一篇为创优设计节点示意图;第二篇为变电站建筑工程(10T901);第三篇为变电站电气工程(10T901) 。变...
贝思出版有限公司汇编2010 年出版207 页ISBN:9787538166552
从心理的角度看,“家”能反映出居者的处境、性格与喜好。简单地说,如要在设计方面为着眼点,就如不同的人有不同的穿衣品味:以室内装潢的风格、颜色或图案来表达个人的内心想法。一个设计的好坏,以是否经得起时间...
中华人民共和国工程建设标准强制性条文 矿山工程部分 第1篇 矿山工程设计 1 基本规定
中华人民共和国建设部编2001 年出版2 页ISBN:7502020349