Web服务组合建模与验证

程永上著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的策略，中外烟草产业比较分析，全球卷烟市场格局及跨国烟草公司竞争策略等作了全面而深入的研究。...

Internet Scanner互联网安全维护高手

（美）（J.舒姆）John Shum主编；程永敬等编译2000 年出版134 页ISBN：7900044183

本书内容包括：InternetScanner简介、扫描网络中的安全性风险、配置策略、创建报告和使用数据库等。

大学物理信息化教学丛书 大学物理教程 下

龙光芝，程永进主编；陈琦丽，左小敏副主编2017 年出版328 页ISBN：7030543431

全国高等院校民族班教材 数学 甲种本 全1册

程永芳编1993 年出版418 页ISBN：7810015028

六醴斋医书十种 苏沈内翰良方 卷1-5

（清）程永培辑2222 年出版58 页ISBN：