墙体与外立面 汉英对照

本书主要介绍了国际建筑设计的最新发展动态。该书主要由两部分构成：第一部分详细阐述了别具特色的设计实例（最新建筑资讯、概念作品、具有地方特色和区域特色的建筑）；第二部分通过列举众多设计实例，展现墙体与外...

历史建筑内檐与外饰修缮技术

本书系统全面记录了既有建筑在内檐与外饰方面的修缮技术，不仅阐述古建筑的修缮技术，也阐述进入维修期的既有商品住宅建筑和公共建筑的修缮；不仅阐述濒临失传的传统施工工艺，也阐述新技术在历史建筑的内檐与外饰...

形式语义学基础与形式说明

工程微分几何

材料微分析技术概论

退化、时滞微分系统

数字微分分析器

微分方程及其应用

形式语义学基础与形式说明

本书较详细地给出了形式语义学的基础理论框架，但它并不是一本纯理论的教材，而是一本理论与软件实践相结合的教材。全书共分十章，介绍了指称语义学、代数语义学、操作语义学与公理语义学的基本内容及其应用，并介...

微分几何与齿轮啮合原理