计算机自动推理与智能教学2004.王岚, 乐毓俊, 编著 自动推理与智能规划2013.10殷明浩, 周俊萍, 袁利永, 著 计算机自动测试2005.08张毅刚, 编著 计算机原理2010.12《计算机原理》编写组, 编 计算机教学研究与实践2018.12浙江省高校计算机教学研究会, 编 计算机教学研究与实践2013.8浙江省高校计算机教学研究会, 编 计算机教学研究与实践2012.7浙江省高校计算机教学研究会, 编 计算机教学研究与实践2017.9浙江省高校计算机教学研究会, 编 计算机教学研究与实践2016.7浙江省高校计算机教学研究会, 编 计算机教学研究与实践2015.8浙江省高校计算机教学研究会, 编 计算机教学研究与实践2010.8浙江省高校计算机教学研究会, 编 计算机原理2011.8《计算机原理》编写组, 编 大学计算机2012.8大学计算机教学研究组, 编 计算机教学研究与实践2014.8浙江省高校计算机教学研究会, 编 计算机教学研究与实践2011.8浙江省高校计算机教学研究会, 编