本书内容十分丰富，涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时，每章都包含了丰富的难度不等的练习。

　　本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的，是一本难得的形式语义学方面的经典著作。书中为初学程序设计语言的语义与逻辑的读者提供了必需的数学知识，介绍了支撑程序设计语言形式语义的数学理论、方法和概念，这些知识可以用于创造、形式化和证明规则，从而可以描述和推导各类程序设计语言的各种成分和性质。 本书内容十分丰富，涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时，每章都包含了丰富的难度不等的练习。 本书适合作为高等院校计算机专业高年级本科生和研究生形式语义课程的教材，也可作为软件开发人员的参考书。

【名人推荐】

我第一次翻开这本书时，立刻被这本书的覆盖范围之广所深深打动，它覆盖了规约和建模、演绎验证、模型检验、进程代数、程序测试、状态与消息序列图。除了对每个方法进行了相当深入的介绍以外，本书还讨论了应当在何时选取何种方法以及在选择这些方法时所必须做出的权衡。书中结合当前工具，使用很多具有挑战性的实例来说明各种技术。我还没看见过其他任何覆盖同样内容的书籍能达到如此的深度。

同时，本书描述了应用形式化方法的过程：从建模和规约开始，然后选择一个合适的验证技术，最后测试程序。这些知识在实践中是十分必要的，但是却很少在软件工程的课本里面出现。我确信这本书将会取得巨大的成功。我向所有对软件可靠性问题感兴趣的读者强烈推荐这本书。

—— Edmund M. Clarke教授

图灵奖获得者，卡内基-梅隆大学

【内容简介】

用于创建可靠软件的形式化方法一直处于不断的开发和改进之中。最近，人们对于形式化方法工具的重要组成有了更深入的理解，从软硬件开发业界逐渐接受可靠性工具这一点就可以体现出来。

本书介绍了各种能解决软件可靠性问题的方法。理想情况下，形式化方法应该用起来直观，学起来简洁、快速，对开发过程的影响微乎其微。本书对各种方法进行了比较，揭示了它们各自的优点和缺点，同时紧扣自动机理论和逻辑这两个主题。在尽可能减少背景知识介绍的前提下，本书向非专家读者描述了多种技术，并且针对软件工程领域的研究人员和专业人士介绍了一些高级技术。

本书主题和特点：

 集中介绍目前常用的重要软件可靠性方法，并将它们互作比较，这些方法包括：演绎验证、自动验证、测试和进程代数

 为具体项目的软件选择过程提供有用信息

 提供了大量的练习、项目和连续性的实例，方便读者学习形式化方法并能够亲手使用这些工具

 介绍了支持形式化方法的数学原理

 对于该领域未来的研究方向，以及开发新方法和改进现有技术提出了有益的见解

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

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

本书系统介绍并行程序设计原理及应用。除介绍常用的一些算法范例，包括分治、流水、同步计算、主从及工作池，还介绍了一些常用的经典数值和非数值算法，如排序、矩阵相乘、线性方程组求解、图像处理中的预处理和相应的变换、搜索和优化等。第2版新增了机群计算等使用机群的内容，对如何打造专用和通用的机群以及设置相应的程序设计环境做了较为详尽的介绍。章后包含大量习题，其中现实生活习题非常实用，既可增强学习兴趣，又可提高并行程序设计技巧。

　　本书可作为高等院校计算机专业高年级本科生或研究生的教材，对从事高性能计算的科技工作者也是一本很有价值的参考书。

本书经过了大量的课堂检验，是深受学生和行业专业人员欢迎的软件工程指南。本书所展示的软件测试程概念和技术广泛地覆盖了各种语言及其平台。与其他软件工程书籍相比，本书内容更加全面，并具有很大的实践价值。 本书适合作为国内高等院校计算机及相关专业本科生的软件工程课程教材，也可供软件工程领域的技术人员参考。

很多学科都面临着一个普遍问题：如何存储、访问异常庞大的数据集，并用模型来描述和理解它们？这些问题使得人们对数据挖掘技术的兴趣不断增强。长期以来，很多相互独立的不同学科分别致力于数据挖掘的各个方面。本书把信息科学、计算科学和统计学在数据挖掘方面的应用融合在一起，是第一本真正和跨学科教材。

本书由三部分构成。第一部分是基础，介绍了数据挖掘算法及其应用所依赖的基本原理。讲座方法直观易懂，深入浅出。第二部分是数据挖掘算法，系统讲座了如何构建求解特定问题的不同算法。讲座的内容包括用于分类和回归的树及规则、关联规则、信念网络、传统统计模型，以及各种非线性模型，比如神经网络和“基于记忆”的局部模型。第三部分介绍了如何应用前面讲座的算法和原理来解决现实世界中的数据挖掘问题。谈到的问题包括元数据的作用，如何处理残缺数据，以及数据预处理。

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

海报：

《神经计算原理》比较系统全面地介绍了人工神经网络的理论和实际应用，特别在神经网络模型和工程应用方面有极为深入的分析和讲解。全书不仅深入分析神经网络的基本概念，而且详细介绍神经网络应用方面的最新发展趋势和主要研究方向。《神经计算原理》理论和实际应用紧密结合，为神经网络的相关理论知识在具体问题中的应用打下了坚实的基础。

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

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

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

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

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

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

本书通过Haskell语言介绍函数式程序设计的基本思想和方法，讲解如何将数学思维应用于程序设计问题，以实现更高效的计算。本书涵盖Haskell的诸多特性，但并不是这门语言的参考指南，而是旨在利用丰富的实例和练习揭示函数式程序设计的本质。本书不要求读者具备程序设计基础，所涉及的数学知识也并不高深，既适合初学者阅读，也适合有经验的程序员参考。

本书比较全面地介绍软件工程学科，展示软件工程原则与基于系统工程的软件实践，阐明与软件工程所用的严格方法相关的实践活动、原则、任务和工件。本书共分三部分：第一部分（软件工程基础）讨论在软件工程体系下的软件开发框架和项目构建；第二部分（软件工程实践）通过六项技术惯例传达一种理念——利用计算技术，应用科学原则以及激活设计软件产品结构的灵活性；第三部分（软件工程应用的阶段）讨论软件工程团队在软件开发项目中承担的角色，以便建立和控制软件产品架构。本书适合作为高等院校软件工程及相关课程的教材，也可作为软件开发人员和软件技术人员的参考书。

暂无简介