张广泉著2015 年出版256 页ISBN：9787302411611
鉴于形式化方法对软件工程的重要性， 2004 年 ACM 和 IEEE-CS 联合制订的软件工程教程《SE2004》将“形式化方法”列为 软件工程专业的核心课程。本书主要由系统建模、形式规约和形式验证三部分构成，具体包括...
张广科编著2009 年出版221 页ISBN：9787505887619
本书认为在知识经济社会，知识资产构成企业的核心竞争力，形成企业知识资本。作者在分析、探讨现代分配理论的基础上，提出“按知分配”的命题，并进行了分析、探讨，认为应将知识资本作为企业剩余分享的一个重要部分...
何利君，张广清，廖卫华主编2017 年出版212 页ISBN：9787030547576
本书共15章，第1章至第3章着重介绍儿童年龄分期及生长发育和营养。第4章介绍新生儿的疾病临床表现、治疗原则及护理要点。第5章至第15章对儿童常见的疾病进行了详细论述，包括呼吸、消化、神经、血液肿瘤、心血...
王伟光，张广智，陆大道，李景源，阎晓辉顾问；刘举科，孙科平，胡文臻主编；曾刚，常国华，钱国权，康玲芬副主编2016 年出版412 页ISBN：9787509797006
今年的《生态城市建设发展报告》仍然坚持生态城市绿色发展的理念与建设标准，坚持普遍性要求与特色发展相结合的原则，运用大数据技术，建立动态评价模型，对国内284个地级以上城市进行了全面审核与分析，对政府城市...
赵宇，王兴良主编；柴彦红副主编2013 年出版146 页ISBN：9787513618465
本套书为高职高专的实用教材，采用最新的编写体例，包括经济专业和基础课教材，部分教材已经通过课堂教学实践又很好的教学收放。
黎贤强，叶咸尚主编；李雪良，杨昌海，韩国红副主编2005 年出版178 页ISBN：7308044246
本书阐述商业银行的综合柜台业务中各项业务的具体操作及管理要点，并附有大量案例。
