计算机辅助设计与制造技术2010.2江平宇, 主编 计算机辅助船舶制造2003.07邹劲, 刘炀, 主编 计算机辅助电路分析2005.05云昌钦, 蒋保臣, 编著 计算机辅助船舶制造2017.6邹劲, 刘旸, 主编 计算机辅助三维检测技术2010.2王万龙, 王勇勤, 编著 计算机辅助艺术设计2020.周格生格, 主编 计算机导论2000.06(美) 贝勃 (Baber,R.) , (美) 梅耶尔 (Mayer,M.) , 著 计算机导论2016.6吕云翔, 李沛伦, 编著 计算机导论2013.李翠霞, 主编 计算机导论2017.9王太雷, 贝依林, 主编 计算机导论2018.11彭轲, 王蕾, 赵杉, 主编 计算机导论2020.8刘进锋, 编著 高阶逻辑辅助证明系统2013.5(德) 尼普科夫 (Nipkow,T.) , (英) 鲍尔森 (Paulson,L.C.) , (德) 温泽尔 (Wenzel,M.) , 著 计算机辅助制造2010.9吴家福, 主编 计算机导论2008.05宋斌, 王玲, 王平立, 编著