递归可枚举集合图灵度：可计算函数与可计算生成集研究 | 影印版
《递归可枚举集合图灵度：可计算函数与可计算生成集研究 | 影印版》,作者:(美)索尔(Soare， R. I.)著 出版社:科学出版社 ISBN:9787030182951。该书是递归论方面的主要研究生教材之一，得到了国内外同行的广泛认可。
函数
Visual C++计算机语言函数应用
《Visual C++计算机语言函数应用》,作者:童长武等编著 出版社:科学出版社 ISBN:7030081420。本书按功能和类别对Visual C++ 6.0类进行了归纳总结，并具体分析和介绍了它们的功能、用法，以及所在头文件、成员函数的返回值及其参数调用等信息。
Excel 2007公式、函数、图表与电子表格制作
《Excel 2007公式、函数、图表与电子表格制作》,作者:杰创文化编著 出版社:科学出版社 ISBN:9787030269492。本书分为三部分。第一部分为第1-5章，讲解了电子表格的制作。第二部分为第6-8章，讲解了Excel 2007中的公式与函数。第三部分为第9-12章，讲解了Excel 2007中的图表。
共轭曲线啮合角函数理论及其应用
《共轭曲线啮合角函数理论及其应用》,作者:林菁著 出版社:科学出版社 ISBN:7030147537。本书论述了共轭曲线的啮合角函数理论，以啮合角函数为主线，将圆齿轮、非圆齿轮和凸轮的齿形或轮廓的求解及其几何特性分析统一起来，形成了一套新的理论。主要内容为圆齿轮、非圆齿轮、凸轮机构的基本传动原理、非圆齿轮的设计方法等。
电力系统暂态稳定的能量函数分析 : 网络结构保持模型
《电力系统暂态稳定的能量函数分析 : 网络结构保持模型》,作者:刘笙，陈陈编著 出版社:科学出版社 ISBN:9787030393272。本书以网络结构保持模型为主线，对电力系统(微分一代数系统)的暂态稳定域有比较深入的分析；在应用方面强调了能量函数法与时域仿真的互补性、同步与稳定的区分，突出了在线动态安全分析与控制上的应用、TCSC控制策略设计，以及基于PMU与能量分析的在线失稳预警等方面的研究
