几何定理计算机证明2005.孙熙椿, 编 软件工程师可信计算基础2014.12(美) 莱特 (Knight,J.) , 著 可信平台模块虚拟化与证明2017.12谭良, 著 网络远程教学技术基础2003.黄景碧, 秦成, 编著 CASIO fx-4850P计算器2007.01顾孝烈, 程效军, 编著 计算机基础与应用2004.01《计算机基础与应用》编写组, 编 可信网络连接与可信云计算2014.12慈林林, 杨明华, 田成平, 盛兵著, 著 计算机应用基础实训指导教程2010.8计算机应用教程编写组, 编 计算机文化基础与应用教程2006.07《计算机文化基础与应用教程》编委会, 编 云计算和现代远程教育2011.8陈选文, 编著 CASIO fx－4800P可编程函数计算器在土木工程中的应用2004.05覃辉, 主编 CASIO fx-9750 GII图形编程计算机公路与铁路测量程序2010.2覃辉, 编著 虚拟实验与远程实验2008.08龚玲平, 编著 CASIO fx-9750/5800计算器2014.7韩山农, 主编 可信计算平台环境下若干关键技术研究2018.10宋成, 著