辩论推理系统的语义计算2015.3廖备水, 著 计算系统的形式语义2017.陆汝钤, 著 管理系统中计算机应用2011.8《管理系统中计算机应用》编写组, 编 管理系统中计算机应用2010.12《管理系统中计算机应用》编写组, 编 管理系统中计算机应用2011.12《管理系统中计算机应用》编写组, 编 广义系统的稳定性与H∞控制2015.冯毅夫, 著 管理系统中计算机应用2011.6《管理系统中计算机应用》编写组, 主编 计算机操作系统2004.01《计算机操作系统》编委会, 编 计算机应用系统的可信性实践2003.(英) 瑞得米尔, (英) 德尔, 编著 系统理论与人工系统设计学2018.11王越, 著 计算机系统结构2011.8《计算机系统结构》编写组, 编 系统理论与人工系统设计学2018.11王越, 著 不确定广义系统的分析与综合2003.08张庆灵, 杨冬梅, 著 辩论的艺术2017.11(美) 约瑟夫·帕克, (美) 瑞贝·康林, 胡诚项, 著 计算机系统结构2010.12《计算机系统结构》编写组, 编