形式化方法导论 【工业技术】

鉴于形式化方法对软件工程的重要性， 2004 年 ACM 和 IEEE-CS 联合制订的软件工程教程《SE2004》将“形式化方法”列为 软件工程专业的核心课程。本书主要由系统建模、形式规约和形式验证三部分构成，具体包括...

苏联居住和民用建筑的组织形式及其主要发展情况 【工业技术】

建筑类型与建筑形式 【工业技术】

这本书由两部分组合而成：第一部分是建筑类型史，第二部分则是关于这些建筑类型的造型。建筑类型史包括几种常见的建筑：住房、医院、学校、办公室和监狱。第二部分主要讨论建筑中的功能基因（室内采光和通风、各房...

C语言程序设计的现代方法研究 【工业技术】

本书从应用出发，系统地介绍了C语言程序设计的现代方法，并进行了深入的研究，其主要内容包括绪论、C语言数据类型与运算分析、C语言控制结构程计、利用数组实现批量数据处理、利用函数实现模块化程序设计、利用...

形式语义学的稳定论域理论 【工业技术】

本书系统论述了计算机语言形式语义的稳定论域理论中的序理论、逻辑结构和拓朴方法，建立稳定论域的逻辑表示以及格表示等。

景观建筑形式与纹理 【工业技术】

本书基于对景观的使用和体验的基础上，通过空间形态学的创建，提供了景观建筑研究独创性和视觉的方法。全书通过建立景观设计赖以进行和认同的模型提出了一些审美空间和体量的概念。该书适合园林、景观、建筑、...

论在大量住宅建设中的住宅单元和住户的形式 【工业技术】

古典形式美豪宅设计 【工业技术】

本书诠释了新古典主义风格的别墅室内设计特点，书中收录的每个项目都是经典的别墅设计案例，内容方面，都用图文并茂的方式解读设计技巧，每个项目都配有非常具有空间感的实景照片、重点设计图纸和专业的设计说明文...

网络安全协议的形式化分析与验证 【工业技术】

本书概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状；在此基础上详细地叙述了网络安全协议。

建筑形式的视觉动力 【工业技术】

本书是一本关于建筑视觉形式的图书。作者试图以自己惯用的清晰与精确来揭示建筑在视觉领域中的重要意义。尤其值得指出的是，作者充分分析了设计中的秩序与无秩序、视觉符号的本质以及实用功能与知觉表现之间...