硬件设计验证 基于模拟与形式的方法 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
本书包括配电箱、开关、灯具、探测器等在压型钢板或夹芯板屋面、墙体上的安装;电气管线、梯架、托盘、线槽在钢柱上的安装方式;在压型钢板、夹芯板屋面及防水板材复合保温屋面上避雷接闪器的安装。...
吴晓东著2014 年出版372 页ISBN:9787514320480
伴随着经济、文化的日益发展,广告在社会生活中扮演着越来越重要的角色。人们对于广告的认识也随时代的发展而变迁。广告早已不再仅作为一种销售工具而存在,越来越多的人认识到广告作为一种文化现象存在的现实...
管娟主编2013 年出版135 页ISBN:9787560852812
本书选取上海、天津两大城市的创意产业发展为研究对象,探讨编制城市创意产业发展与布局规划将有利于优化城市产业结构、推动城市经济发展。并按照地域的分布对项目案例进行划分,分为龙头城市、大中城市,中小城...
(美)乔迪·邓肯著;夏彤译2014 年出版332 页ISBN:9787510077890
《温斯顿特效》讲述涵盖斯坦·温斯顿特效工作室的历史,配有大量从未发表过的设计草图、布景效果图,以及照片,它们全部来自工作室内部档案,还包括斯坦本人和核心创意人员所作的深度解析。这是一本前所未有的实录...
张天志,周惠明绘2013 年出版54 页ISBN:9787567107991
周惠明是近年来逐渐引起艺术界重视的艺术家,其作品以令人惊诧的画面和色彩,展示了天才般的想象力和丰富的内蕴,为急需找到突破口、与世界艺术潮流深入对话的中国当代艺术指出了一种富有启示性的新路径。张天志...
刘枋著2014 年出版348 页ISBN:9787549552696
本书分为禽蛋肉类篇、水产篇、蔬菜篇、酒席与佳节美食篇、面点篇吴部分。本书是作者积多年厨艺,以散文笔法写就的食谱。举凡山珍海错、青菜萝卜,皆可成文;可观可赏之鲜花,亦可人菜。文中多处忆及幼时在故乡的种...
创意景观·渤海湾 第2届环渤海城市生态园林规划设计建设管理高层论坛专辑
李福海,王洪成主编2010 年出版168 页ISBN:9787503858857
本书集合了环渤海城市生态园林规划设计建设管理高层论坛论文以及天津园林规划设计院重点工程案例集锦。
(美)杰斯,(美)詹姆斯,(美)加瑞特著2011 年出版175 页ISBN:9787111348665
本书是AJAX之父的经典之作。本书用简洁的语言系统化地诠释了设计、技术和商业融合是最重要的发展趋势。全书共8章,包括关于用户体验以及为什么它如此重要,认识这些要素、战略层、范围层、结构层、框架层、表...