计算机导论2018.11彭轲, 王蕾, 赵杉, 主编 计算机导论2020.8刘进锋, 编著 高阶逻辑辅助证明系统2013.5(德) 尼普科夫 (Nipkow,T.) , (英) 鲍尔森 (Paulson,L.C.) , (德) 温泽尔 (Wenzel,M.) , 著 TTCN-3语言及应用2014.3蒋凡, 程绍银, 著 计算机导论2008.05宋斌, 王玲, 王平立, 编著 计算机导论2019.8刘挺, 陈劲舟, 徐剑, 主编 计算机辅助制造2005.10朱彤, 主编 计算机辅助安全工程导论2014.4罗森, 林健锋, 编著 计算机辅助药物设计2007.(丹) 梅森 (Mason,J.S.) , 主编 计算机辅助船体建造2009.8刘玉君, 等编著 计算机导论2018.1陈卫军, 主编 计算机导论2011.9郑逢斌, 主编 计算机导论2011.5管会生, 曹海, 主编 计算机导论2015.张超, 李舫, 毕洪山, 叶文珺, 编著 计算机辅助制造2010.9吴家福, 主编