软件开发的形式化工程方法：结构化+面向对象+形式化

常微分方程

微分几何

本书系统的介绍了微分几何的预备知识、曲线论、曲面的基本理论、等距变换与共性变换等等。

偏微分方程

微分拓扑

本书主要介绍微分拓扑中的一些重要定理，这些定理和方法在微分拓扑、微分几何、微分方程和理论物理等学科中都有广泛的应用。

国画形式美学的展开 大学中国画艺术形式与技巧的专业训练系统

本书用全新的角度和理念来分析绘画的艺术形式，以及新的训练方法，与已经出版的《篆刻艺术形式的展开》相配套。

常微分方程

本书为高等学校教材，分四章，初等积分法、线性微分方程、线性微分方程组、非线性系统的分析，各章配有习题并附有答案。

常微分方程

本书内容包括常微分基本概念、初等积分法、线性方程、常系数线性方程、存在和唯一性定理、一般理论、奇解理论和定性理论等。

形式语用学导论

形式与结构