基于环境的软件近似正确性2016.11马艳芳, 著 “政治正确性”之争2018.1房宁, 等著 什么是正确的2012.1(美) 布利兹尔, 著 程序正确性证明方法2018.11武斌, 著 解读《关于正确处理人民内部矛盾的问题》2014.4白鹭, 著 《关于正确处理人民内部矛盾的问题》导读2017.6艾四林, 总主编 《关于正确处理人民内部矛盾的问题》精学导读2019.11李佑新, 陈龙, 著 马克思主义政治学说史的经典2016.1于浚湜, 编著 驾驭矛盾的技艺2014.8梁道刚, 著 设施选址问题的近似算法2012.8徐大川, 张家伟, 著 “正确处理人民内部矛盾与构建社会主义和谐社会”学术研讨会论文选2007.10郑谦, 陈国平, 主编 基于过程度量的软件可靠性预测模型2017.2吴洪丽, 著 基于排队论的软件可靠性增长模型研究2016.8张楠, 著 软件技术基础2004.09《软件技术基础》编委会, 编 基于虚拟可信平台的软件可信性研究2017.5郝瑞, 著