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

刚性常微分方程及刚性泛函微分方程数值分析

本书系统总结了作者及其课题组在刚性常微分方程和刚性Voltrrra泛函微分方程数值分析领域所获得的理论成果及其应用，同时对国内外该领域的研究作了较全面系统的介绍。本书可供高年级大学本科生、研究生、从事...

形式范畴与形式批评

文艺学中形式范畴的语义分析，梳理形式范畴在中国文论界的演变概况，巴赫金对俄国形式主义的批判及反思，英美新批评在中国的传播、理论关键词与批评实践，结构主义在中国的传播、理论关键词与批评实践。主要运用文...

统计微分回归方程 微分方程的回归方程观点与解法

统计微分回归方程，乃统计回归分析（方程）与微分方程的结合，缘此进而获得解决微分方程问题的新途径。本书获得国家出版基金支持。全书共分三个部分，第一部分回归方程；第二部分微分回归方程；第三部分微分方程。统......

分析基础 微分理论

常微分方程

微分几何与计算几何

微分几何

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

微分方程教程

微分几何学