计算机代数系统与符号计算2004.王玮刚, 编著 符号计算系统Maple教程2007.05张韵华, 王新茂, 编著 符号计算选讲2003.王东明, 主编 计算机系统结构2011.8《计算机系统结构》编写组, 编 计算机代数2004.王东明, 夏壁灿, 编著 计算机代数2007.09王东明, 夏壁灿, 李子明, 编著 符号计算选讲2018.8孙瑶, 李婷, 王定康, 编 计算机系统结构2010.12《计算机系统结构》编写组, 编 计算机代数2020.6陈玉福, 张智勇, 编著 计算机操作系统2004.01《计算机操作系统》编委会, 编 计算机代数基础2005.04张树功, 编著 符号计算的程序分析2012.5智慧来, 智东杰, 著 可积系统与计算机代数2004.05范恩贵, 著 计算机系统2019.3(美) J.斯坦利·沃法德 (J.Stanley Warford) , 著 计算机系统2020.6(英) 伊恩·文斯·麦克洛克林 (Ian Vince McLoughlin) , 著