张卫祥，刘文红，吴欣编著2015 年出版226 页ISBN：9787302405351
将软件可信性与软件评估技术相结合，探讨全软件开发生存周期的软件可信性度量与评估方法，是撰写本书的目的。本书以全生存周期的软件可信性定量评估方法为主线，有取舍地介绍了软件工程、软件质量评估和软件可信...
马海云，张少刚著2011 年出版300 页ISBN：9787118075076
本书主要内容由3部分组成：第一部分主要包括软件危机、软件工程、软件生命周期、软件开发过程、软件可靠性测试、软件质量等软件工程方面基本概念，还包括蒙特卡罗方法（Monte Carlo）和马尔可夫链（Markov Chain）等数...
张明华，宫鹏主编2014 年出版395 页ISBN：9787040404449
本专辑首先用三个有代表性的模式介绍了国际上地球系统模式的前沿，包括这些模式中大气、海洋、陆地、海冰和冰川子模式所用的设计框架和物理参数化过程，以及模式对二十世纪全球气候模拟的优缺点和对未来二十一...
中国质检出版社第四编辑室编2011 年出版594 页ISBN：9787506663731
本书分为三卷，本卷为软件度量与评价卷，收入相关标准20项。
北京广联达软件技术有限公司编写2007 年出版221 页ISBN：9787802273580
本书详细讲解了建筑工程所接触的平板式筏形基础、框架柱等钢筋构件的基本原理和计算公式，并给出所有构件钢筋手工计算过程和标准答案。
（美）蒂姆·孟席斯，劳里·威廉姆斯，托马斯·齐默尔曼编著；王永吉等译2018 年出版231 页ISBN：9787111588354
