引论
形式语义学引论（第二版）
《形式语义学引论（第二版）》,作者:周巢尘,詹乃军 著 出版社:科学出版社 ISBN:9787030533838。 本书为形式语义学入门参考书，简单介绍程序的操作语义、指称语义和公理语义。全书共7章：第1章介绍操作语义，第2章介绍指称语义，第3章介绍公理语义，第4介绍过程调用的形式语义，第5章介绍非确定程序的形式语义，第6章介绍并发程序的形式语义，第7章介绍程序的时态语义。
概率统计引论(第二版)
《概率统计引论(第二版)》,作者:魏立力,刘国军,张选德 编著 出版社:科学出版社 ISBN:9787030660534。本书内容包括随机事件与概率、随机变量及其概率分布、随机变量的数字特征、大数定律与中心极限定理、统计学的基本概念、参数估计、假设检验、回归分析与相关分析、方差分析以及Excel在概率统计中的应用等内容。全书结构体系合理，应用背景丰富，思想方法突出，例题习题讲究，并对相关的计算问题
塑性力学引论（第二版）
《塑性力学引论（第二版）》,作者:李铀 著 出版社:科学出版社 ISBN:9787030581099。工程结构或构筑物在受载过程中，常有局部或整体应力超出弹性范围进入塑性状态的情况。塑性力学就是专门研究材料进入塑性状态后应力应变与位移分布规律的一门科学。但传统塑性力学理论（增量理论和全量理论）发展与应用面临很大困难。本书引入了新型本构关系——弹性应变与塑性应变相互关系，重点介绍了
