计算机科学的逻辑：系统的建模与推理2005.03(英) 胡思 (Huth,M.) 等, 著 计算机系统的性能建模与设计2020.7(美) 莫尔·哈肖尔-巴尔特 (Mor Harchol-Balter) , 著 逻辑与计算机科学哲学2019.11潘沁, 著 系统建模与计算机仿真2013.7陈无畏, 主编 基于不确定规则的模糊逻辑系统2013.(美) 孟德尔 (Mendel,J.M.) , 著 逻辑推理2011.7余式厚, 编著 面向计算机科学的数理逻辑2007.06(英) 哈斯, (英) 瑞安, 著 FBI逻辑推理学2014.10陈雪, 著 计算机逻辑与基础2016.朱玉成, 编著 模糊逻辑与智能系统2016.5雷英杰, 等编著 复杂系统弹性建模与评估2019.2李瑞莹, 杜时佳, 康锐, 著 推理现场2014.10傅学义, 主编 计算机辅助建模技术2011.5(印) 乌达瓦卡, 著 计算机系统结构2011.8《计算机系统结构》编写组, 编 管理系统中计算机应用2011.8《管理系统中计算机应用》编写组, 编