微分形式及其应用 英文版

本书是一部简短的微分几何教程。详细讲述了微分几何，并运用它们研究曲面微分几何的局部和全局知识。引入微分几何的方式简洁易懂，使得这本书非常适合数学爱好者。...

中国古典戏曲之末脚与外脚研究

常微分方程与偏微分方程

本书为国家十一五重点规划教材，叙述了常微分方程与偏微分方程的基本内容，特别增加了模型与应用，边值问题、定性理论等。

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

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

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

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

微分几何基础 英文版

本书介绍了微分拓扑、微分几何以及微分方程的基本概念。

微分动力系统的定性理论

作者是微分动力系统这一领域的开拓者之一，本书是作者在这一领域的代表作。

普通法的诉讼形式

形式汉语句法学

本书系统介绍了当前国际语言学界关于形式语法研究的最新进展，并结合汉语实际展开研究。

微分几何与拓扑学习题集