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

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

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

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

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

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

微分器设计与应用 信号滤波与求导 【工业技术】

本书系统地论述了微分器的理论、滤波与求导、设计方法和工程应用，是作者多年来从事微分器理论研究与工程实际应用成果的总结。书中有大量仿真程序及相关MATLAB仿真程序。全书共分8章，包括有限时间收敛微分器...

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

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

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

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

形式语言与自动机理论引论 【工业技术】

本书照我国计算机相关学科研究生教育的现状需要编写，结合作者30来年先后在哈尔滨工业大学和北京工业大学讲授形式语言与自动机理论的经验，选择和组织有关内容撰写而成。全书分9章，介绍语言与文法，正则语言的文...

泛函微分双时滞系统的稳定性 【工业技术】

本书探讨了一般微分泛函双时滞方程的Lyapunov稳定性基本理论，借助微分差分双时滞方程描述的标称系统的基本解及其解的表达式获得保证系统稳定的充分必要的Lyapunov-Krasovskii泛函的表达式，将其泛函推广应用...

Visual FoxPro for Windows 3.0 实用教程 面向对象的可视程序设计 【工业技术】

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

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