Database management systems designing and building business applications = 数据库管理系统（英文版·第3版）
Gerald V. Post2006 年出版426 页ISBN：7111178521
本书涵盖了构建数据库前的两个关键主题：数据库设计（规范化）和SQL（查询）。这两个主题跨越所有主要的数据库系统。规范化说明了如何细致设计数据库以获得DBMS手段的能力。SQL是一种标准查询语言，事实上用于应用程序...
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
现代无线系统射频电路实用设计 卷II 有源电路与系统 Volume II Active circuits and systems
（美）Rowan Gilmore，（美）Les Besser著；杨芳，翁木云等译2006 年出版376 页ISBN：7121032961
本书集作者40年从事RF电路和系统设计工作及授课经验于一体。涵盖有源及非线性电路，并介绍了RF电路和系统设计中的高级论题。全书共分8章，依次为线性放大器常规设计、线性低噪声放大器、有源RF器件及其模型、...
嵌入式系统 体系结构、编程与设计 Embedded Systems Architecture，Programming and Design
Raj Kamal著2005 年出版623 页ISBN：730210297X
本书是关于嵌入式系统开发与设计的一部最新力作，介绍了嵌入式系统的硬件、操作系统、开发过程以及编程。全书系统地阐述嵌入式系统的基本概念、处理器和存储器、设备与总线、设备运行与中断服务、基本的C与C...
