张广泉著2015 年出版256 页ISBN：9787302411611
鉴于形式化方法对软件工程的重要性， 2004 年 ACM 和 IEEE-CS 联合制订的软件工程教程《SE2004》将“形式化方法”列为 软件工程专业的核心课程。本书主要由系统建模、形式规约和形式验证三部分构成，具体包括...
刘海年，李林，张广兴主编2008 年出版423 页ISBN：7509701570
本书深入探讨了腐败的成因、依法促廉的制度构想等问题，代表了90年代我国对依法治国与廉政建设问题的最高研究水准。这次出版，旨在检审我们十年来的进步与不足，并对新时期反腐倡廉的理论与实践有所促动。...
张广科编著2009 年出版221 页ISBN：9787505887619
本书认为在知识经济社会，知识资产构成企业的核心竞争力，形成企业知识资本。作者在分析、探讨现代分配理论的基础上，提出“按知分配”的命题，并进行了分析、探讨，认为应将知识资本作为企业剩余分享的一个重要部分...
何品荣等编著2013 年出版232 页ISBN：9787115325624
本书内容丰富，共五大方面：如何用数字数据进行分析和管理，如何用计算机软件处理和展示数字数据；经济与管理中常用的几种指数分析；介绍最优化的思想方法引导最优化方法的应用；介绍微积分在经济管理的应用；介绍随......
宋治，冯耀荣等编著2007 年出版273 页ISBN：7502159118
本书介绍了油井管力学特性分析、油套管设计技术、热采井套损机理分析等。
李平，刘沛志，于茂荣等著2004 年出版337 页ISBN：7500577915
本书概述了东亚货币合作的现状及存在的问题，阐述了建立东亚汇率协调机制的基本构想，展望了东亚货币合作的前景。
