大约有9,000项符合查询结果项。（搜索耗时：0.0250秒）
为您推荐： 微分几何 常微分方程几何理论 微分几何与拓扑学简明教程 微分几何与共轭曲面原理 随机微分方程和应用 常微分方程和无穷级数
-
建筑结构的奥秘 力的传递与形式 【工业技术】
（日）川口卫，（日）阿部优等著2012 年出版135 页ISBN：9787302278719本书在结构力学、结构设计与建筑物形态方面进行图示和说明，展现了结构对建筑的重要性，特别是结构对建筑物安全和建筑美学方面的贡献，可以帮助读者了解到人类长久以来致力于使“力”和“美”相互完美结合的努力...
-
信息收集-形式背后的逻辑 设计前奏 【工业技术】
（美）莱斯·沃里克编著；金雷译2016 年出版147 页ISBN：9787112192274本书是关于前期设计与建筑策划的方法，即对信息进行收集整理，形成指导后期设计的设计任务书，以此作为设计工作的前奏。简单的说，这是一本有关如何制定设计任务的书。书中基于线和空间事务所超过35年的设计实践，通...
-
产品创意的核心构成 意境与形式 【工业技术】
傅桂涛编著2010 年出版156 页ISBN：9787112117925工业设计领域中对设计方法的理解，往往集中在可操作性、规范性、专业性等方面。作者在总结自己的设计和授课体会的基础上，对产品创意的核心构成这一问题进行了思考，对设计在做什么，设计如何具有感染力，设计如何与...
-
园林景观设计 从概念到形式 原著第2版 【工业技术】
格兰特·W·里德著2010 年出版180 页ISBN：9787112116027本书系美国景观的权威机构——美国风景园林设计师协会组织编写的景观设计书籍，作者结合多年的设计经验，用新的视角重点介绍一些实用的设计方法，是国内景观设计师较理想的参考资料。...
-
图像处理的变分和偏微分方程方法 【工业技术】
冯象初，王卫卫编著2009 年出版182 页ISBN：9787030236722本书系统介绍图像处理的变分和偏微分方程方法。主要内容包括：图像的尺度空间理论、迭代正则化和逆尺度空间理论，图像处理的变分模型和方法，图像处理的偏微分方程模型和方法，多尺度分析包括小波、曲线波等与变分...
-
蓝天组的解构主义建筑形式研究 【工业技术】
李星星著2016 年出版206 页ISBN：9787548725312本文试着从陈述国内当前现实现状、解构主义建筑从不知名到影响深重的建筑形式的发展，以及解构主义建筑师对其建筑的认识与定位，重点比较弗兰克·盖里和蓝天组的建筑实践活动，从正面论述解构主义建筑在历史上的...
-
软件工程形式化方法与语言 【工业技术】
李莹，吴江琴著2010 年出版200 页ISBN：9787308066679本书第一部分介绍了Z语言的背景知识，包括集合论和一阶谓词演算等概念及其形式化表达方法；第二部分介绍了Z语言构成及其规格说明的结构化，引入求精理论；第三部分介绍了Martin-Lof类型理论，及其规则定义和推导演算...
-
基于偏微分方程的遥感图像处理方法 【工业技术】
王毅编著2015 年出版81 页ISBN：9787562537717本书将遥感图像的特征以及偏微分方程处理的特点相结合，叙述了偏微分方程图像分析的基本概念及研究框架，并重点阐述了各向异性扩散技术在图像处理中的应用，以此作为遥感应用的方法基础；并以遥感图像增强和去噪的...
-
杠作 一个原理、多种形式 【工业技术】
柏庭卫著2012 年出版203 页ISBN：9787112142842杠杆梁结构的原理是一根梁由两根梁来支撑，同时至少承受一根梁的荷载，由此形成的一个交互支撑的框架结构。西方文艺复兴时期的乡土建筑中就使用该结构形式，中国的例子则是虹桥。近年来不少的建筑学校的设计教学...
-
B方法与形式化软件开发技术研究 【工业技术】
崔梦天，韩伟著2012 年出版133 页ISBN：9787561457290本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。...