可信软件基础研究2018.12可信软件基础研究项目组, 编 桩基础研究2014.11中国建筑科学研究院地基基础研究所编委会, 主编 软件技术基础2004.09《软件技术基础》编委会, 编 基于虚拟可信平台的软件可信性研究2017.5郝瑞, 著 数学基础研究2012.(奥) 维特根斯坦, 著 数学基础研究2016.(奥) 维特根斯坦, 著 数学基础研究2017.(奥) 维特根斯坦, 著 数学基础研究2017.(奥) 维特根斯坦, 著 可信软件设计2013.6(美) 贾亚斯瓦 (Jayaswal,B.K.) , 等著 暗战亮剑2010.6王继刚, 曲慧文, 王刚, 编著 计算机软件基础2011.8《计算机软件基础》编写组, 编 计算机软件基础2011.6《计算机软件基础》编写组, 编 基础研究2007.04李主其, 主编 中国基础研究发展报告2019.9科学技术部基础研究司, 科学技术部高技术研究发展中心, 著 工具软件基础与提高2006.07《工具软件基础与提高》编委会, 编著