本书是一本对基本概念和语言特性有着深刻见解的指南性书籍，同时也是一本包含内容广泛的参考性书籍。本书首先讲述了语言细节，然后对编码技巧进行了广泛的讨论，最后还对模板的高级应用进行了阐述、分析。贯串全书的示例阐明了抽象概念并演示了实践方法。读者将学习到：·正确的模板行为；·如何避开与模板相关的错误陷阱；·从基础的到早前没有文字约定的惯用语法和技巧；·如何在不对性能和安全性造成损害的前提下进行源代码重用；·如何提高C程序的效率；·如何构建更具灵活性和可维护性的软件。

《泛型编程与STL》阐述了泛型编程的中心思想：concepts、modeling、refinement,并为你展示这些思想如何导出STL的基础概念：iterators、containers、function objects。循此路线，你可以把STL想像为一个由来的完整优势……

本书论述了在软件开发和测试中实际推行软件可靠性工程所需的具体步骤，并将软件可靠性工程的效益落实到每一个具体步骤中。本书的内容组织特别适合快速掌握和运用，详细介绍了一个来自贝尔实验室产品的完整案例研究，读者可以透彻地了解整个软件可靠性工程的全过程。为了便于理解，本书每章都对常见问题进行了解答，所提供的练习可以直接运用于实践。本书将软件可靠性工程核心实践分解为适合一两天学习的过程，即使是软件可靠性工程的新手也可以迅速掌握以下内容：建立可靠性的定量目标、开发操作剖面、使用CASRE估计软件可靠性、确定操作模式。

本书提出了泛型组件的概念，这是一种可重用的设计模板，可用来产生规范的C 代码。泛型组件还提供了从设计到代码的无缝转换，生成更能表达设计者最初意图的代码，并支持设计模式的重用——只需改动少量的代码。本书是一部重要的著作，全面地展示了泛型模式或模式模板——一各在C 中创建可扩展设计的功能强大的新方法。这种方法结合了模板与模式，也许很多人觉得不可能，但这却是事实！如果你的工作涉及C 设计和编程，那么你不应该错过本书。

《操作系统设计与实现》（上册）（第3版）是关于操作系统的权威教材。大多数关于操作系统的图书均重理论而轻实践，而《操作系统设计与实现》（上册）（第3版）则在这两者之间进行了较好的折中。本册详细探讨了操作系统的基本原理，包括进程、进程间通信、信号量、管程、消息传递、调度算法、输入、输出、死锁、设备驱动程序、存储管理、调页算法、文件系统设计、安全和保护机制等；此外，还详细讨论了一个特殊的操作系统MINIX3（一个与UNIX兼容的操作系统），并提供了该系统的源代码（见《操作系统设计与实现》（上册）（第3版）下册），以便于读者仔细研究。这种安排不仅可让读者了解操作系统的基本原理，而且可让读者了解到这些基本原理是如何应用到真实的操作系统中去的。

本书提出了泛型组件的概念，这是一种可重用的设计模板，可用来产生规范的C 代码。泛型组件还提供了从设计到代码的无缝转换，生成更能表达设计者最初意图的代码，并支持设计模式的重用——只需改动少量的代码。本书是一部重要的著作，全面地展示了泛型模式或模式模板——一各在C 中创建可扩展设计的功能强大的新方法。这种方法结合了模板与模式，也许很多人觉得不可能，但这却是事实！如果你的工作涉及C 设计和编程，那么你不应该错过本书。

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

本书是讲授自然语言理解的经典教材。书中全面而深入地介绍了自然语言理解领域中使用的理论和技术，共分为句法处理、语义解释和上下文与世界知识三大部分。具体探讨了上下文无关文法、chart句法分析器、转移网络形式体系、逻辑形式语言、知识表示、篇章结构和语用推理以及会话agent等多方面的内容。 本书理论与实践并重，阐述清晰，简明易懂。世界多所院校采用本书作为自然语言理解的教材。对本领域的研究人员而言，本书也是一本优秀的参考书。

第Ⅰ部分是密码学与信息安全的入门性介绍。第Ⅱ部分介绍学习本书的数学背景知识，也可作为学习现代密码学理论基础的系统背景知识。第Ⅲ部分介绍提供保密和数据完整性保护最基本的密码算法和技术。第Ⅳ部分介绍应用密码学和信息安全中一个重要的概念认证。第Ⅴ部分对公钥密码技术（加密、和签密）的强（实用）安全性概念进行严格的形式化处理，并给出认证协议的形式化分析方法。第Ⅵ部分包括两个技术章节和一个简短的评述。本书适合大学本科生、在高科技公司从事信息安全系统设计和开发的安全工程师、企业信息安全系统管理人员或者生产安全产品的软/硬件开发商以及刚开始从事密码学或计算机安全方面研究的博士生等使用。

本书以企业信息系统战略需求与供给的动态匹配为主线，将IS／IT实践与战略管理理论有机地结合在一起，通过12个章节的论述，全面系统地介绍了IS／IT战略的概念、制定工具与规划流程，阐述了为战略目标的实现而获取、开发、配置和管理各种IS／IT资源的途径与方法，适用于复合型人才。

本书以“任务”为导向组织教材内容，从案例入手，引导读者由浅入深，分任务循序渐进地学习计算机基础知识、办公自动化软件、网络应用。全书共有六个单元，主要内容包括目前应用最广泛的Windows XP操作系统；Office 2003办公自动化软件中的Word2003、Excel 2003、 PowerPoint2003；网络应用方面介绍了如何设置ADSL上网，如何浏览网页，如何利用“搜索引擎”查找所需的信息，如何收发电子邮件等。《计算机应用教程》适用于高等院校计算机专业的计算机文化基础的学习，也可作为培训和自学计算机文化基础的教材。本书由樊显昧担任主编，负责全书大纲的拟定及统稿、定稿工作。