软件过程的建模仿真研究2010.8陈迎欣, 著 精馏过程的建模、优化与控制2007.刘兴高, 著 时间属性的软件建模与验证方法2018.9许海洋, 王萍, 著 化工过程动态学2005.03罗雄麟, 著 软件工程及软件建模2019.8朱建凯, 主编 调控流图建模原理与应用2013.9郑娆, 王耘, 编著 化工过程模拟与分析2005.郭亚军, 编 化工过程模拟与分析2005.郭亚军, 编 Event-B建模2019.4(法) 简·埃蒙德·阿布瑞尔, 著 冲击地压演化过程及能量耗散特征2015.9宋大钊, 等著 Aspen Plus热力学计算简明教程2016.8(美) 斯坦利 I.桑德勒 (Stanley I. Sandler) , 著 化工流程模拟Aspen Plus实例教程2015.12熊杰明, 李江保, 主编 Aspen Plus化工应用实例教程2019.2(阿联酋) 凯玛力·M.尔力·玛莱 (Kamal I. M. Al-Malah) , 著 化工流程模拟Aspen Plus实例教程2020.2钟立梅, 仇汝臣, 田文德, 主编 Aspen Plus实例教程2013.1熊杰明, 杨索和, 编著