语言的可计算性与可量化研究2015.3(英) 韩礼德 (Halliday,M.A.K.) , 著 论可计算数2016.9(美) 伯恩哈特, 著 可计算性与计算复杂性导引2010.9张立昂, 编著 可计算性与数理逻辑2005.06(美) 布勒斯 (Boolos,G.S.) 等, 著 可计算性和计算复杂性2006.02朱一清, 编著 话语意义的可计算性研究2020.6龙飞, 著 可计算性、计算复杂性与算法设计思路2009.9吴哲辉, 编著 可计算性与计算复杂性导引2004.06张立昂, 著 可计算性与数理逻辑2003.06(美) 布勒斯 (Boolos,G.S.) 等, 著 可靠性维修性保障性简明手册2013.10中国兵器工业质量与可靠性研究中心, 编 可靠性设计大全2006.《可靠性设计大全》编撰委员会, 编 计算理论基础：可计算性、复杂性和语言2009.02(美) 戴维斯 (Davis,M.D.) , (美) 西加尔 (Sigal,R.) , (美) 韦约克 (Weyuker,E.J.) , 著 可修退化系统的可靠性研究2018.12赵志欣, 郭丽娜, 著 建设工程可行性研究一本通2008.01《建设工程可行性研究一本通》编委会, 编 基于不确定性量化的可靠性分析、评估与稳健设计2018.6锁斌, 曾超, 黄清华, 著