法治与国际和谐社会 第22届世界法律大会荟萃 the 22nd congress on the law of the world essentials 中英文本
曹建明主编；万鄂湘副主编2006 年出版181 页ISBN：7802172586
本书记录了世界法律大会的全过程，对与会各国的法治状况进行了详细介绍。
Database management systems designing and building business applications = 数据库管理系统（英文版·第3版）
Gerald V. Post2006 年出版426 页ISBN：7111178521
本书涵盖了构建数据库前的两个关键主题：数据库设计（规范化）和SQL（查询）。这两个主题跨越所有主要的数据库系统。规范化说明了如何细致设计数据库以获得DBMS手段的能力。SQL是一种标准查询语言，事实上用于应用程序...
AROUND THE WORLD IN ELGHTY DAYS & FIVE WEEKS IN A BALLOON
JULES VERNE1994 年出版354 页ISBN：1853260908
Jules Verne （1828-1905） possessed that rare storyteller's gift of being able to present the far-fetched and the downright unbelievable in such a way as effortlessly to inspire his reader's all...
机械系统控制软件 实时系统面向对象设计 Object Oriented Design in a Real-Time World
（美） D. M. Auslander，J. R. Ridgely，J. D. Ringgenberg著2004 年出版339 页ISBN：7302082332
机械系统的性能日益成为其控制软件的功能，因此，在系统设计和实现的每一个阶段，都必须考虑控制软件的计算能力及其所受到的限制。本书全面阐述了如何为今天日益复杂的机械设备构建实时控制软件。本书介绍了实时...
What To Do When Machines Do Everything How To Getahead In A World Of Ai Algorithms Bots And Big Data
Malcolm Frank2017 年出版235 页ISBN：
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
modeling and analysis of real-time and embedded systems with uml and marte developing cyber-physi
bran selic2014 年出版287 页ISBN：0124166199
From Markov chains to non-equilibrium particle systems Second Edition = 从马尔科夫链到非平衡粒子系统 第2版
Mu-fa Chen2014 年出版600 页ISBN：7510068232
