程永上著2011 年出版181 页ISBN：9787504738585
本书主要研究方向为对有色Petri网进行了扩展，增加了语义和非功能属性标注，提出了语义Petri网模型来对Web服务及其组合进行形式化建模，并用Petri网标记语言PNML对其进行描述。...
韩永进，王文章主编；文化部教育科技司编2005 年出版221 页ISBN：7503927828
本书介绍了全国社会艺术考级的政策、机构情况，具有权威性、实用性、指导性。
程永萱，周德新编1987 年出版329 页ISBN：731300012X
本册内容为:模拟集成电路的基本单元电路、集成运算放大器的典型电路、运算放大器应用的基础理论与应用以及专用模拟集成电路等。
蔡永进主编；王光复，陈新华副主编2006 年出版266 页ISBN：7806864954
本书是浙江长兴金陵高级中学在新课程目标指导下，致力于21世纪教育创新的科研成果。
刘维东，游永进主编；潘洁，陆利副主编；张辉，迟爱君，黎玉珍，尹小庆，艾新松，张兴华，付雪梅编2004 年出版162 页ISBN：780201011X
袁汉宁，王树良，程永，金福生，宋红编著2015 年出版200 页ISBN：9787115388278
本书把数据视为基础资源，根据软件工程的思想，总结了数据利用的历程，讲述了数据仓库的基础知识和工具，研究了数据挖掘的任务及其挑战，给出了经典的数据挖掘算法，介绍了数据挖掘的产品，剖析了税务数据挖掘的案例......
