形式概念及其新进展

本书包括：兼容子背景，同余关系，容差关系，块关系，子直接积，封闭关系，P积，P溶合理想过滤胶合，背景的反约简，概念凸集，局部兼用，Tamari格，伪内涵，Duquenne-Guigues基，各种标尺等。另一方面十多年，我们还搜集整理......

色彩形式语言

高等学校美术学科技能课程教材系列:本教材的编写深化对技能知识的理解，并以经典作品构筑学习空间；本书包括色彩的艺术、色彩美感结构、色彩构图设计、色彩直觉表现、表现性色彩写生等五章，附有经典作品欣赏和...

程序设计语言的形式语义

本书是计算机专业本科生研究生形式语义学教材。

红色语言（REDL）的非形式说明书

计算机语言的形式语义

中国科学院科学出版基金资助项目:本书概述了形式语义学中的操作语义、指称语义、公理语义和代数语义四大流派的主要内容

软件形式规格说明语言-Z

本书详细介绍了软件形成化方法与软件规格说明语言—Z的相关知识和设计方法，适合作为高校软件工程学科的教材使用。

理性的执著 对语言、逻辑、意义和真理的追问 陈波卷

本文库是活跃在当代中国哲学研究领域的著名学者多年来艰辛探索的成果，既凸现了作者关于哲学研究的基本心路历程，反映了作者思想、观点的发展变化，而由于他们的代表性、典型性，也反映了我国的哲学研究及其水平的...

表现色彩：从现象分析到形式语言表现教学

本书为素描表现的教学、实践之探讨。

当代语言学理论丛书 形式语义学引论

素描形式语言研究

本书对素描的不同课题形态进行了较为系统地阐述，书中首选从速描概念出发，确立了不同的课题系统。本书强调系统性与规划性，力求使学生在各美术造型学可的核心基础上打下坚实的基础，快速掌握技能，准确把握造型，从.....