计算机辅助船体建造2014.2刘玉君, 汪骥, 张雪彪, 李瑞, 郭培军, 李艳君, 编著 计算机辅助三维检测技术2010.2王万龙, 王勇勤, 编著 计算机辅助艺术设计2020.周格生格, 主编 高阶逻辑辅助证明系统2013.5(德) 尼普科夫 (Nipkow,T.) , (英) 鲍尔森 (Paulson,L.C.) , (德) 温泽尔 (Wenzel,M.) , 著 计算机辅助药物设计2007.(丹) 梅森 (Mason,J.S.) , 主编 计算机辅助工艺设计2011.3刘文彦, 余德明, 李平, 杨崇元, 刘清兵, 主编 计算机辅助工艺设计2008.02孙波, 赵汝嘉, 编著 计算机辅助药物设计2007.(丹麦) 梅森 (Mason,J.S.) , 主编 几何定理计算机证明2005.孙熙椿, 编 计算共形几何2020.4顾险峰, 丘成桐, 著 计算机辅助工艺设计技术及应用2011.8孙波, 赵汝嘉, 编著 工程造价计算机辅助计算2018.12李小勇, 王献云, 主编 计算机辅助测试技术导论2004.02刘凤新, 黄玉金, 潘小莉, 著 计算机数据辅助审计2019.8《实用审计技术方法丛书》编写组, 编 计算机辅助数学教学2012.8吝维军, 编著