常微分方程 数学专业

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

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

Visual Basic可视化程序设计实验指导与实训

本书是与《Visual Basic 可视化程序设计教程》（沈祥玖主编）相配套的实验与实训，全书分为四部分：第一部分是VB学习指导、习题解答及补充练习题。第二部分是实验指导，针对教材各章节中的内容，精心设计和安排了相应...

微分方程模型与混沌

泛函微分方程理论

常微分方程解题方法

常微分方程补充教程

刚性微分方程算法理论

线性偏微分方程引论

一般线性偏微分方程