正确与出彩2013.4廖振斌, 著 什么是正确的2012.1(美) 布利兹尔, 著 基于环境的软件近似正确性2016.11马艳芳, 著 出彩2012.7吴正, 主编 出彩2019.3孙利标, 主编 出彩2019.6孙利标, 主编 出彩2019.6孙利标, 主编 出彩2004.08田青春, 编著 出彩2019.6孙利标, 主编 出彩2016.1刘希文, 著 出彩2019.6孙利标, 主编 出彩2019.6孙利标, 主编 出彩2020.8李志轩, 主编 正确与谬误2006.07(意) 齐基基, 著 小学出彩作文2016.6《小学出彩作文》编写组, 编