程永上著2011 年出版181 页ISBN：9787504738585
本书主要研究方向为对有色Petri网进行了扩展，增加了语义和非功能属性标注，提出了语义Petri网模型来对Web服务及其组合进行形式化建模，并用Petri网标记语言PNML对其进行描述。...
程永进，龙光芝主编2017 年出版269 页ISBN：9787030517197
本书是在中国地质大学（武汉）多年使用的教材基础上，结合近年来教学改革实践经验编写而成。本书内容精炼，体系完备，突出重点，思路明晰；配备了适量的详解例题，便于读者自学。全书分上、下两册。上册内容包括：力......
程永萱，周德新编1987 年出版329 页ISBN：731300012X
本册内容为:模拟集成电路的基本单元电路、集成运算放大器的典型电路、运算放大器应用的基础理论与应用以及专用模拟集成电路等。
杨志和主编；于正端，吕子明，何祖林，陈丽，杨志和，周厚隆，钮海，徐小湛，程永琳编2004 年出版319 页ISBN：7561428081
本书是高等院校非数学类专业《高等数学》学习参考图书，内容按章展开，主要包括内容提要，学习要求，例题解析，自我检测题及参考解答等。旨在帮助学生深入理解基本概念与基本理论，掌握基本运算的技能。...
程永高主编；宫惠峰，侯素霞，张辉副主编；谷群广，王怀宇主审2012 年出版224 页ISBN：9787030355317
本书包括八章分别为：第一章环境与经济管理概述，第二章环境与经济，第三章环境外部性学基础，第四章环境成本，第五章清洁生产，第六章环境经济管理政策与手段，第七章环境经济宏观调控，第七章环境保护的发展模式。...
程永照主编2003 年出版506 页ISBN：7506260859
本书是云南研究院选编的4年多来发表的研究成果的论文集，对云南烟草改革发展，烟草应对WTO的策略，中外烟草产业比较分析，全球卷烟市场格局及跨国烟草公司竞争策略等作了全面而深入的研究。...
（美）（J.舒姆）John Shum主编；程永敬等编译2000 年出版134 页ISBN：7900044183
本书内容包括：InternetScanner简介、扫描网络中的安全性风险、配置策略、创建报告和使用数据库等。
