Database management systems designing and building business applications = 数据库管理系统（英文版·第3版）
Gerald V. Post2006 年出版426 页ISBN：7111178521
本书涵盖了构建数据库前的两个关键主题：数据库设计（规范化）和SQL（查询）。这两个主题跨越所有主要的数据库系统。规范化说明了如何细致设计数据库以获得DBMS手段的能力。SQL是一种标准查询语言，事实上用于应用程序...
THE STATE OF THE WORLD'S LAND AND WATER RESOURCES FOR FOOD AND AGRICULTURE MANAGING SYSTEMS AT RISK
2011 年出版285 页ISBN：9251066140
Computer organization and design the hardware/software interface = 计算机组成与设计硬件/软件接口（英文版·第3版）
John L. Hennessy ; David A. Patterson2006 年出版642 页ISBN：7111193393
本书采用MIPS处理器作为展示计算机硬件技术基本功能的核心，着眼于当前计算机设计中最基本的概念，展示了软硬件间的关系。书中逐条指令地列举了完整的MIPS指令集——汇编语言的核心、计算机算术运算、流水线、...
面向计算机科学的数理逻辑 系统建模与推理 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
Data and computer communications = 数据与计算机通信
William Stallings2006 年出版847 页ISBN：7040202328
本书阐述了数据和计算机通信的原理、设计方法和相关标准。全书由五个部分组成：数据和计算机通信概述、数据通信、广域网、局域网、网络协议，并附有词汇表、常用缩写词表。对于不同层次的读者，学习本书分为三种...
