形式语义学引论 第2版 【工业技术】

本书包含三个内容：操作语义学、指称语义学和公理语义学，但不包括代数语义学。本书涉及非确定性和并发性，也介绍了一些时态语义。本书的前三章以一个简单的程序设计语言为例，介绍操作语义学、指称语义学和公理语...

形式 适合 时尚 【工业技术】

时尚艺术和商业从本质上来说是符号和系统的集合，也就是说，是一种语言。为了能有效地在行业内与顾客进行沟通，设计师必须掌握一系列相关的信息和资源。由于从定义上来讲，时尚是不断变化着的，这本书重点讲述的就是...

材料、形式和建筑 【工业技术】

本书探讨了建筑设计中材料与形式的关系问题，对各个典型历史时期的建筑所使用的材料及由此而产生的形式，或者由形式而对材料形成的促进都作以深刻的剖析。书中作者从材料和形式的角度，对如阿尔托、柯布西耶、赖...

在原理与形式之间 解读赖特的建筑 【工业技术】

本书以一种比较研究的方式呈现了对赖特作品的综合性概述。通过对赖特主要的建筑类型进行鉴定，使读者可以获得对他的作品更系统的理解。以极其完善的插图分析对每一组建筑的概念和体验模式进行图像化阐释。这...

承传与交融 探讨中国近现代建筑的本质与形式 【工业技术】

本书重点探讨了“体”和“用”，即本质和形式这两个对中国现代化进程有着根本影响的思想概念，从一个美国哈佛学者的角度对中国现代建筑作了系统的评析。...

软件开发的形式化方法 【工业技术】

形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。本书对软件开发中的形...

“多媒体画面语言”的媒体要素设计语法规则研究 【工业技术】

本书对多媒体画面语言学的发展历史、研究内容、研究方法等理论体系的核心内容进行了梳理，可以为后续的多媒体画面语言学和数字化教学资源设计与应用研究提供理论依据和行动指南。本书涉及的研究突破以往多媒...

校园景观：功能·形式·实例 【工业技术】

校园景观既是高等教育实施行场所，也是高等院校的标志。本书以经典和当代的校园景观实例为校园景观的规划和设计的各个层面提供了信息、建议和指导，是一本综合性的校园景观设计研究和参考书。本书从校园景观设...

五彩梦旅 张月明小油画风景写生 【工业技术】

差异 当代建筑形式解析 【工业技术】

建筑形式是建筑设计中一个非常重要的方面。近几十年来，在建筑形式上追求差异化是当代建筑的重要现象。本书尝试从这个大的潮流考察建筑形式差异化与创新的一些特点，基于近30年来的一些著名建筑师的作品以及全...