面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
The design and implementation of the FreeBSD operating system (2nd Edition) = FreeBSD 操作系统设计与实现 (第2版
Marshall Kirk McKusick ; George V. Neville-Neil ; Robert N. M. Watson2016 年出版846 页ISBN：7115413499
卫星网络中的资源管理：优化与跨层设计＝RESOURCE MANAGEMENT IN SATELLITE NETWORKS OPTIMIZATION AND COROSS-LAYER DESIGN
（意）GIOVANNI GIAMBENE编著2013 年出版0 页ISBN：
波斯时期的犹大社会与圣经编纂=The society of Yehud and the redaction of the Bible in the Persian period
孟振华著；游斌主编2013 年出版293 页ISBN：
社交电视 系统关键支撑技术与应用案例 system key supporting technology and application
叶志强编著2016 年出版222 页ISBN：9787504375469
本书是一本系统介绍社交电视技术架构、关键支撑技术及行业应用案例的专业书籍。英国电视制作和发行公司Shine Limited首席执行官伊丽莎白·默多克在2011全美电视节目高管协会（NATPE）的年会上表示：“社交网络是...
技术创新 国家系统的改革与重组 the reform and rebuild of national system
齐建国等著2007 年出版197 页ISBN：7802304083
本书从技术创新的概念及一般规律入手，在对当代技术创新的特点及其影响技术创新的诸要素进行深入研究的基础上，对不同国家的国家创新系统的体制模式和演变过程进行了比较研究，提出了重建中国国家技术创新系统得...
司法运作与国家治理的嬗变 基于对四川省级地方法院的考察＝ON THE EVOLUTION OF JUIDCATORY OPERATION AND GOVERNANCE OF STATE
左了民丛书主编；赖波军著2015 年出版0 页ISBN：
消费信贷史 理论与实践=THE HISTORY OF CONSUMER CREDIT DOCTRINES AND PRACTICES
（法）罗莎-马里亚·杰尔皮2014 年出版0 页ISBN：
本书认为，消费信贷处在现代生活的核心，但仍然受到多少世纪以来的禁令和羞辱所遗留下的陈腐看法的影响。它对社会的动荡和缺陷应承担负的责任，与其他经济部门相比，不多也不少。当然，它作为社会融合一体化的要素，.....
石像、神庙与失落的文明：改写世界文明史的玛雅发现之旅=THE EXTRAORDINARY JOUMEY OF JOHN L.STEPHENS AND FREDERICK CSTHERW
AND THE DISCOVERY OF THE LOST CIVILIZATION OF THE MAYA 年出版2020 页ISBN：
