张广泉著2015 年出版256 页ISBN：9787302411611
鉴于形式化方法对软件工程的重要性， 2004 年 ACM 和 IEEE-CS 联合制订的软件工程教程《SE2004》将“形式化方法”列为 软件工程专业的核心课程。本书主要由系统建模、形式规约和形式验证三部分构成，具体包括...
刘海年，李林，张广兴主编2008 年出版423 页ISBN：7509701570
本书深入探讨了腐败的成因、依法促廉的制度构想等问题，代表了90年代我国对依法治国与廉政建设问题的最高研究水准。这次出版，旨在检审我们十年来的进步与不足，并对新时期反腐倡廉的理论与实践有所促动。...
杨家军主编；杨家军，程远雄，冯丹凤编2005 年出版231 页ISBN：7560933491
本书系统介绍了常用机构设计的基本知识、基本原理和基本方法，重点探讨了连杆机构、间歇机构等常用机构设计的一般规律和方法。
廖军主编；吴晓兵，沈斌，吴可人编著2011 年出版128 页ISBN：9787531448228
本书在总结多年教学实践和研究的基础上，经借鉴、吸收国内外有关最新设计思想整理而成。对图案的概念及内涵，图案的发展演变，不同工艺不同材料的应用所形成的特点等方面分门别类作了叙述。...
张庆军，潘千叶编著2004 年出版295 页ISBN：7500443404
本书描写了张伯驹的天真率直，用一生的积蓄收藏古玩，最后全部献给国家，以及他为文化事业做出的巨大贡献。
赵毅山，程军编著2004 年出版176 页ISBN：7560828213
本书为高等学校教材，共分十章，内容包括：绪论，流体静力学，流体运动学，流体动力学基础，流动阻力和水头损失，孔口，管嘴出潜和有压管路，明渠均匀流，明渠非均匀流，堰流，渗流等。...
付宏生，刘国良，盂献军编著2009 年出版224 页ISBN：9787122046499
本书介绍了制件成形与模具结构、模具常用材料及热处理、模具钳工装配的工艺方法、模具的制造工艺等内容。
洪家军，林荣编著2009 年出版302 页ISBN：9787302193470
本书介绍了Internet的基本技术理论、Internet丰富的信息资源的应用技术，以及提供和管理各种网络服务的技术。
