张广泉著2015 年出版256 页ISBN：9787302411611
鉴于形式化方法对软件工程的重要性， 2004 年 ACM 和 IEEE-CS 联合制订的软件工程教程《SE2004》将“形式化方法”列为 软件工程专业的核心课程。本书主要由系统建模、形式规约和形式验证三部分构成，具体包括...
刘海年，李林，张广兴主编2008 年出版423 页ISBN：7509701570
本书深入探讨了腐败的成因、依法促廉的制度构想等问题，代表了90年代我国对依法治国与廉政建设问题的最高研究水准。这次出版，旨在检审我们十年来的进步与不足，并对新时期反腐倡廉的理论与实践有所促动。...
张广科编著2009 年出版221 页ISBN：9787505887619
本书认为在知识经济社会，知识资产构成企业的核心竞争力，形成企业知识资本。作者在分析、探讨现代分配理论的基础上，提出“按知分配”的命题，并进行了分析、探讨，认为应将知识资本作为企业剩余分享的一个重要部分...
（美）艾伦·C. 夏皮罗（Alan C. Shapiro）著；蒋屏，浦军译2006 年出版797 页ISBN：7300074715
本书探讨了公司财务管理的所有传统领域，强调企业如何利用国际化的优势，更好体现跨国公司优于本国企业的特点。
美国国家环境保护局国际事务处编；温东辉，陈吕军译2003 年出版87 页ISBN：780163716X
本书是美国环保局组织编写的“污染预防与清洁生产原理”国际培训课程的学员手册。书中就有关污染预防与清洁生产的基本概念、理论分析及案例研究，为培训课程提供了一般性的结论及依据。...
（意）桑德罗·斯奇巴尼（Sandro Schipani）导言 薛军译2005 年出版390 页ISBN：7562028214
本书为罗马法《学说汇纂》第48卷，主要内容为公共犯罪，包括了刑法或公共刑罚的主体内容。
余音著；张良军译2011 年出版197 页ISBN：9787508519609
本书以生动的笔调记述了中国维和警察在东帝汶、波黑、利比里亚以及海地执行联合国维和任务的故事。中国维和警察远离故乡，走出国门，为维护世界和平做出了突出的贡献。本书能够带领我们走进他们的内心，去观察他...
张乾青，张忠苗主编；张广兴副主编2018 年出版526 页ISBN：9787112216048
本书根据最新的教育部课程教学大纲的要求而编写的桩基工程学教材。主要反映最新的实践经验和相关规范内容，全书共分10章，内容包括：绪论、桩基工程勘察、抗压桩受力性状、桩基沉降计算、抗拔桩受力性状、水平桩...
（美）布莱恩·彼得森（Bryan Peterson）著；王天雨，陈占军译2019 年出版175 页ISBN：7115507805
本书介绍了光圈与快门速度的基本概念关系，以及它们是如何相互作用和相互影响的。最新版更新了百余幅照片，并重点讲解了在逆光、低照度、运动状态等条件下正确曝光，白平衡，高动态影像，填充式闪光，环形闪光，后帘......
张广天著2018 年出版513 页ISBN：9787541151859
这是一部长篇小说，事情发生在1190年至1257年，宋元金长久并存时期。临安城南荣家梨云园失火，南荣越丧父失母，随养母迁居、投奔、征战，入金国，至大蒙古国，抵斡罗思、马扎尔，整个成长过程的所见所历，跌宕而冲突。......
