形式逻辑2005.02金岳霖, 主编 分布式系统设计原理与应用2008.08黄光球, 陆秋琴, 李艳, 编 汉语句子的逻辑分析2011.4金立, 著 电气工程师必知计算公式与实例讲解一本通2017.5《电气工程师必知计算公式与实例讲解一本通》编委会, 编 英汉跨文化语义转换2019.8冯新曾, 张敬京, 著 形式逻辑1994.06莫曾萌, 黄孟洲, 主编 沿Ricci流的Sobolev不等式及热核2013.2张旗, 编著 形式逻辑2005.金岳霖, 主编 走近形式语用学2011.7蒋严, 主编 形式逻辑基础2010.2朱霖, 陆劲松, 著 基于多视角学习的图像语义分析技术2019.8薛哲, 编著 分布计算技术2017.11卢锡城, 主编 曲式与作品分析2015.5李楠, 编著 语篇语义学2015.11叶枫, 著 分布式计算2008.04(美) 阿蒂雅 (Attiya,H.) , (美) 韦尔奇 (Welch,J.) , 著