建筑形式论 迈向图象思维 【工业技术】

B语言与方法 实用形式化开发指南 【工业技术】

软件工程形式化方法与语言 【工业技术】

本书第一部分介绍了Z语言的背景知识，包括集合论和一阶谓词演算等概念及其形式化表达方法；第二部分介绍了Z语言构成及其规格说明的结构化，引入求精理论；第三部分介绍了Martin-Lof类型理论，及其规则定义和推导演算...

B方法与形式化软件开发技术研究 【工业技术】

本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。...

形式与政治 建筑研究的一种方法 【工业技术】

本书以文集方式汇编了作者二十余年的研究成果。内容涵盖空间形式、视觉形式，形式设计、制度空间、设计过程的制度问题、艺术与制度的关系、世界背景下中国建筑文化的基本特征等议题。本书提出三种建筑作为形...

硬件设计验证 基于模拟与形式的方法 【工业技术】

本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、...

形与思维方法 【工业技术】

景观设计思维与方法 【工业技术】

自然语言计算机形式分析的理论与方法 【工业技术】

本书是国内第一本综述基于规则与基于统计的自然语言处理方法的专著，对自然语言处理中的各种形式模型进行了系统的梳理，分别讨论了基于短语结构语法的形式模型、基于合一运算的形式模型、基于依存和配价的形式...

工程制图与图学思维方法 【工业技术】