本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。

本书适宜作为高等院校计算机及相关专业的数理逻辑／形式化方法课程的教材，也可供相关研究人员和专业人士参考。

《计算机组成及汇编语言原理》以Java虚拟机为基础介绍计算机组织和系统结构。前半部分涵盖了计算机组织和系统结构的一般原理，以及汇编语言编程的艺术，后半部分关注于各种不同CPU在系统结构上的特殊细节，包括奔腾、8088、Power系统结构以及作为典型嵌入式系统控制芯片例子的Atmel AVR。

《计算机组成及汇编语言原理》全面反映了IEEE和ACM对本科生掌握标准计算机体系结构及组成的知识点要求，适用范围广，可作为高等院校计算机及相关专业计算机组成课程的教材。

本书是一部设计与分析领域的经典著作，着重介绍了计算机算法设计领域的基本原则和根本原理。书中深入分析了一些计算机模型上的算法，介绍了一些和设计有效算法有关的数据结构和编程技术，为读者提供了有关递归方法、分治方法和动态规划方面的详细实例和实际应用，并致力于更有效算法的设计和开发。同时，对NP完全等问题能否有效求解进行了分析，并探索了应用启发式算法解决问题的途径。另外，本书还提供了大量富有指导意义的习题。

本书可以作为高等院校计算机算法设计与分析课程的本科生或研究生教材，也可以作为计算机理论研究人员、计算机算法设计人员的参考书。

《80x86汇编语言基础教程》主要针对Intel 80x86体系结构介绍汇编语言知识，因此既是计算机组成和体系结构课程的很好的补充教材，同时也适合作为单独的汇编语言课程教材。学会一门具体的汇编语言对理解计算机体系结构是非常有益的，然而，许多关于计算机组成和体系结构的教材对这方面的知识介绍得不多。

通过《80x86汇编语言基础教程》的学习，学生能够使用微软的MASM汇编器来编译32位的平面存储模式程序，并在微软的Windbg调试器控制下跟踪程序指令的执行，从中了解计算机内部存储器和寄存器内容的变化。《80x86汇编语言基础教程》附带的软件包为编写和调试控制台应用程序提供了很好的环境。

《C++编程思想(第2卷)(实用编程技术)》介绍C++实用的编程技术和最佳的实践方法，深入探究了异常处理方法和异常安全设计；介绍C++的字符串、输入输出流、STL算法、容器和模板的现代用法，包括模板元编程；解释多重继承问题的难点，展示RTTI的实际使用，描述了典型的设计模式及其实现，特别介绍被认为是标准C++下一版特征之一的多线程处理编程技术，并提供了最新的研究成果。《C++编程思想》(第2卷)适合作为高等院校计算机及相关专业的本科生、研究生的教材，也可供从事软件开发的研究人员和科技工作者参考。

海报：

这本经典教材的第5版对计算机组成结构进行了全面的概括。它介绍了硬件设计的原理并且说明了硬件设计是如何受软件需求影响的。本书素材经过反复改写，反映了计算机技术发展的现状。例如使用了典型的商用处理器来说明一般的概念，并用ARM、68000以及Pentium处理器作为主要的结构范例。书中还包括了有关嵌入式系统的讨论。本书涉及现代计算机设计的各个方面--处理器、输入/输出、存储器、外围设备以及通信链接，重点放在完整的计算机系统设计上， 本书结构清晰，使用灵活，主要面向已经学习了逻辑电路课程的学生，书后附有逻辑电路的内容介绍，没有这方面基础知识的学生也可使用。

《Scala编程思想（原书第2版）》介绍了Scala的基础特性，采用短小精悍的“原子”解构Scala语言的元素和方法。一个“原子”即为一个小型知识点，通过代码示例引导读者逐步领悟Scala的要义，结合练习鼓励读者在实践中读懂并写出地道的Scala代码。访问下载练习解答和代码示例，还可了解本书英文版的全新动态。

本书无需编程背景知识，适合Scala初学者阅读。同时，本书也为有经验的程序员提供了“快车道”，共同探索编程语言未来的模样。

·本书原则：积跬步以至千里，无任何前向引用，无任何对其他语言的引用，事实胜于雄辩，实践出真知。

·何谓“原子”：从Scala中提炼出一个可运行的核心功能子集，形成众多短小精悍的“原子”，再辅以练习和解答，使整个阅读过程成为带有许多检查点的渐进式学习体验，而不是在Scala庞大的知识体系中囫囵吞枣。

·写给未来的代码：相比于Java，Scale更加简洁、合理、高效、强大。但本书包含的只是编程和Scala的基础知识，它们不会使你晕头转向，而是在踏上更高级的编程之路时祝你一臂之力。

·技术和资源支持：针对Windows、Mac和Linux的安装和入门指南，专为本书构建的AtomicTest测试系统，访问www.AtomicScala.com免费下载代码示例和习题解答。

数据库设计教程（第二版），ISBN：9787111154716，作者：（美）Thomas M.Connolly，（美）Carolyn E.Begg著；何玉洁[等]译；何主洁译

本书涵盖了机器学习领域中的严谨理论和实用方法，讨论了学习的计算复杂度、凸性和稳定性、PAC-贝叶斯方法、压缩界等概念，并介绍了一些重要的算法范式，包括随机梯度下降、神经元网络以及结构化输出。

全书讲解全面透彻，适合有一定基础的高年级本科生和研究生学习，也适合作为IT行业从事数据分析和挖掘的专业人员以及研究人员参考阅读。

《计算机科学丛书：高性能科学与工程计算》从工程实践的角度介绍了高性能计算的相关知识。主要内容包括现代处理器的体系结构、为读者理解当前体系结构和代码中的性能潜力和局限提供了坚实的理论基础。接下来讨论了高性能计算中的关键问题，包括串行优化、并行、OpenMP、MPI、混合程序设计技术。作者根据自身的研究也提出了一些前沿问题的解决方案，如编写有效的C++代码、GPU编程等。

《数据库系统基础教程(原书第3版)》由斯坦福大学知名计算机科学家Jeffrey Ullman和Jennifer Widom合作编写。《数据库系统基础教程(原书第3版)》首先介绍流行的关系数据库和对象关系数据库内容，涉及关系数据模型、E／R模型、UML模型以及对象模型等高级数据模型。然后介绍了有关半结构化数据组织管理中比较流行的XML等内容，既包括了数据组织模型的内容，也给出了相关编程语言，如XPath、XQuery、XSLT等。

《数据库系统基础教程(原书第3版)》举例丰富翔实，既可用作大学本科、研究生计算机及相关专业数据库课程的教科书，也可用作数据库领域技术人员的参考书。

本书详细介绍关系数据库的设计原理，清晰地介绍了维度数据库建模，指导读者快速准确地掌握数据库设计的有效方法。书中指出了如何避免常见的设计结构隐患，这些隐患会使得数据库开发过程复杂化并降低可扩展性。本书作者是世界知名专家，已经帮助数以千计的专业人员掌握了数据库设计和开发技术。本书系统总结了作者多年开发数据库的经验，极具参考价值。

　　本书系统地介绍了如何设计高效、高性能的数据库。首先详细阐明了关系设计的原理，清晰地介绍了维度数据库建模——从实用的角度来设计当今日益重要的分析型应用。接着分别阐明了传统数据库和用于数据仓库的维度数据库的分析和设计，指出了如何避免常见的结构隐患。本书广泛吸取了数据库设计方面的专家意见，可用性极强。本书适合软件开发人员、数据库设计人员参考。也可作为高等院校师生的参考书。