罗云，程五一编著2004 年出版327 页ISBN：7502551328
本书阐述了管理哲学、安全管理模式、安全系统论、安全行为科学等各种系统的安全管理理论等。
程五一，王贵和，吕建国编著2010 年出版182 页ISBN：9787112117932
本书系统地介绍了可靠性基本理论和工程应用方法。详述了可靠性的基本知识、可靠性特征量及可靠性预计、分配、设计相关内容；全面分析了人机系统可靠性理论和网络可靠性的基本知识；重点阐述了系统可靠性分析方...
王魁军，程五一，高坤等编著2009 年出版219 页ISBN：9787502035471
本书系统介绍煤层地质构造、煤的物理性质等因素、对煤层瓦斯赋存的影响，阐述了煤壁、巷道和落煤等工序的瓦斯涌出规律，提出了瓦斯涌出的数字分析模拟方法和矿井瓦斯涌出量的预测方法。...
程五一，张序明，吴福昌编著2005 年出版204 页ISBN：7502027629
本书通过对掩体工程地质力学、矿山岩体力学和煤层瓦斯吸附与解吸的原理和方法介绍，系统阐述了煤层地质、新建井、新水平、采区和工作面区域煤层突出危险性的理论及其技术。...
程五一，李季主编2012 年出版200 页ISBN：9787512408326
本书系统地介绍了可靠性基本理论和工程应用方法。详述了可靠性的基本知识、可靠性特征量及可靠性预计、分配、设计方面的相关内容；全面分析了人机系统可靠性理论和网络可靠性的基本知识；重点阐述了系统可靠性...
程五一，曹垚林，王路军等编著2011 年出版148 页ISBN：9787116072213
本书应用GIS的原理和方法，在煤矿安全管理信息系统、矿山安全评价可视化、煤与瓦斯突出预警等方面进行了系统的研究、设计与软件开发。全书共分八章，主要内容包括：地理信息空间基础、Arc View煤矿安全地理信息...
章五一，袁福庆主编；章五一，袁福庆，张峰，薛海晶编2002 年出版368 页ISBN：7542720171
本书介绍了OfficeXP中文版的各组件及其基本使用技术，详细介绍了Word2002、Excel2002和PowerPoint2002这三个常用组件程序及其使用方法。
