计算和信息技术的飞速发展带来了医学、生物学、财经和营销等诸多领域的海量数据。理解这些数据是一种挑战，这导致了统计学领域新工具的发展，并延伸到诸如数据挖掘、机器学习和生物信息学等新领域。许多工具都具有共同的基础，但常常用不同的术语来表达。本书介绍了这些领域的一些重要概念。尽管应用的是统计学方法，但强调的是概念，而不是数学。许多例子附以彩图。本书内容广泛，从有指导的学习（预测）到无指导的学习，应有尽有。包括神经网络、支持向量机、分类树和提升等主题，是同类书籍中介绍得最全面的。 本书可作为高等院校相关专业本科生和研究生的教材，对于统计学相关人员、科学界和业界关注数据挖掘的人，本书值得一读。

本书充分展示了面向对象技术在现代数据结构理论中的应用，普遍采用了抽象、封装及继承等技术。本书既介绍了基本的数据结构，包括栈、队列、向量、列表结构；也介绍了若干高级数据结构，包括优先队列结构、映射和词典结构、查找树结构等。并结合具体问题介绍了算法的应用、实现及其分析方法，涉及的算法包括霍结构的生成及高速算法、Huffman编码树算法、平衡查找树的生成、插入和删除算法，并着重介绍了串匹配的KMP和BM算法。本书还通过遍历算法框架将各种图算法统一起来，并基于遍历算法模板加以实现，在同类教材中独树一帜。 本书图文并茂，循序渐进。书中代码都配有详尽而简洁的注释。书中还结合各部分的具体内容穿插了大量问题，以激发读者的求知欲，培养良好的自学习惯和自学能力。本书适合用计算机专业本科生教材或参考书。

本书是一本经典的逻辑教书，第四版已经过全面修订，提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生，不仅包括了中等深度的逻辑教程所讨论的基本专题，如歌德尔不完全性定理等，而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题，因而已成为一个本经典的教科书。该书在每章末尾还增加了习题，并重新组织和改写了某些章，以使各章更加相互独立，增加了教师授课的灵活性，进而扩大了本书的使用范围。 本书适合数学、计算机科学、哲学等专业的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者，此书也是大有裨益的。

本书由于内容全面，实践性强，已经成为数据库课程的首选教材。全书分为数据库基础、应用程序开发、存储与索引、查询评估、事务管理、数据库设计与调整、高级主题等七大部分，对数据库的设计与使用、数据库管理系统基本原理与实现技术，以及数据库研究的新进展做了详细论述。本书以一个网上书店的完整设计为例，介绍了数据库系统的具体实现过程。第3版保留了前两版的传统优点，并且加入了许多关于数据库最新研究和发展的内容，每章后面精选的复习题和练习使本书更吸引人，可读性更强。本书可作为高等院校计算机专业本科生、研究生和教材的教材和教学参考，对于从事数据库系统研究以及学习数据库系统技术的人也很有参考价值。

操作系统是计算机最重要的系统软件。Unix操作系统历经了几十年，至今仍是主流的操作系统。本书通过解释Unix的工作原理，循序渐进地讲解实现Unix中系统命令的方法，让读者理解并逐步精通Unix系统编程，进而具有编制Unix应用程序的能力。书中采用启发式、举一反三、图示讲解等多种方法讲授，语言生动、结构合理、易于理解。每一章后均附有大量的习题和编程练习，以供参考。 本书适合作为高等院校计算机及相关专业的教材和教学参考书，亦可作为有一定系统编程基础的开发人员的自学教材和参考手册。

《世界著名计算机教材精选：图像处理基础（第2版）》以问答形式，对图像处理中许多技术的原理、算法、相关的理论和应用方法进行了全面的介绍，主要内容包括图像变换、图像的统计描述、图像增强、图像恢复、图像分割和边缘检测，以及多光谱（包括彩色）图像处理技术。《世界著名计算机教材精选：图像处理基础（第2版）》的介绍方式由浅入深、循序渐进，并配有大量详细的示例，非常适合自主学习。 《世界著名计算机教材精选：图像处理基础（第2版）》可作为信号与信息处理、通信与信息系统、电子与通信工程、模式识别与智能系统、计算机科学以及视觉生理学、视觉心理学和视觉认知学等学科大学高年级本科生或研究生专业课教材和教学参考书，还可供涉及图像技术应用行业（如生物医学、电视广播、工业自动化、文档识别、机器人、电

计算几何是计算机理论科学的一个重要分支。自20世纪70年代末从算法设计与分析中独立出来起，不到30年，该学科已经有了巨大的发展，不仅产生了一系列重要的理论成果，也在众多实际领域中得到了广泛的应用。 本书的前4章对几何算法进行了讨论，包括几何求交、三角剖分、线性规划等，其中涉及的随机算法也是本书的一个鲜明特点。第5章至第10章介绍了多种几何结构，包括几何查找、kd树、区域树、梯形图、Voronoi图、排列、Delaunay三角剖分、区间树、优先查找树以及线段树等。第11章至第16章结合实际问题，继续讨论了若干几何算法及其数据结构，包括高维凸包、空间二分及BSP树、运动规划、网格生成及四叉树、最短路径查找及可见性图、单纯性区域查找及划分树和切分树等，这些也是对前十章内容的进一步深化。 本书不仅内容全面，而且紧扣实际应

本书是一本关于专家系统的著名教科书，全面介绍了专家系统原理，并通过CLIPS详细讨了其实际应用。本书内容包括：知识表示、推理方法、不确定性推理、不精确推理、CLIPS、高级模式匹配、模块化设计、执行控制和规则效率、过程化程序设计、类、实例和消息处理程序等。 本书理论与实际相结合，内容由浅入深，为了解和设计专家系统提供了理论基础和编程指导。随书光盘包括CLIPS程序、源代码以及其他相关文档。 本书适合作为计算机科学相关专业本科生和研究生的教材，也可供相关专业人员参考。

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

本书以ANSI C1990 (American National Standard for programming Language: -C)为基础，全面、详细地讲述了C语言各种成分的语法、语义和用法；用较丰富的程序实例说明了使用C语言进行程序设计的方法。全书讲述力求深入浅出，通俗易懂。 本书可以做为高等学校计算机软、硬件专业和其它专业的程序设计教学用书，也可以做为从事计算机应用的科技人员自学或培训教材。

《世界著名计算机教材精选：图像处理基础（第2版）》以问答形式，对图像处理中许多技术的原理、算法、相关的理论和应用方法进行了全面的介绍，主要内容包括图像变换、图像的统计描述、图像增强、图像恢复、图像分割和边缘检测，以及多光谱（包括彩色）图像处理技术。《世界著名计算机教材精选：图像处理基础（第2版）》的介绍方式由浅入深、循序渐进，并配有大量详细的示例，非常适合自主学习。 《世界著名计算机教材精选：图像处理基础（第2版）》可作为信号与信息处理、通信与信息系统、电子与通信工程、模式识别与智能系统、计算机科学以及视觉生理学、视觉心理学和视觉认知学等学科大学高年级本科生或研究生专业课教材和教学参考书，还可供涉及图像技术应用行业（如生物医学、电视广播、工业自动化、文档识别、机器人、电

本书以“自顶向下”的方式阐述了如何构造实时图形系统，并用相当篇幅介绍了虚拟环境的感知问题、动态特性和交互，以及与此相关的显示和交互设备方面的问题。本书围绕虚拟环境展开对图形学理论和技术的介绍，在内容编排和组织上独具特色。 本书适合用作学习计算机图形学及虚拟环境相关课程的大学高年级本科生或研究生的教材，同时也可供相关技术人员阅读。

本书详细讲述了从单处理机到分布式和并行计算机系统的基本思想、原则及概念，内容包括进程管理与协作、内存管理、文件系统与输入输出、系统保护与安全等。本书不仅从商用操作系统和研究型操作系统中选用了大量的例子来阐述有关的概念，而且针对各部分内容，给出了相应的编程实验练习，以增强读者的实际动手能力。 本书适合作为计算机科学或计算机工程等相关专业的“操作系统”教科书，也可作为从事计算机工作的科技人员学习计算机操作系统的参考书。

《世界著名计算机教材精选：编译器构造（Java语言版）》以Java为实现语言，清晰地向读者展示编译器设计和实现，提供了若干精心准备的实验项目及其测试用例。这些实验项目不仅使读者掌握理论知识，还能够应用理论。《世界著名计算机教材精选：编译器构造（Java语言版）》涵盖了自动机与形式语言课程的多数内容，包括有穷自动机、栈分析器、正规表达式、正规文法、上下文无关文法、上下文有关文法、非受限文法、Chomsky层次、泵引理、下推自动机、图灵机、可计算性、复杂性，还包括了下推自动机模拟器和图灵机模拟器。《世界著名计算机教材精选：编译器构造（Java语言版）》适用于作为编译原理、自动机、形式语言等课程的教材。

《国外计算机科学经典教材：嵌入式C语言编程与Microchip PIC》全面系统地介绍了C语言编程技术及其在嵌入式微控制器中的应用，其中包括嵌入式C语言、PIC微控制器的硬件、标准I/O和处理器指令、CCSPICC C编译器和IDE、项目开发等各种技术，并在附录中扼要介绍了库函数和PIC微控制器编程。全书内容翔实、结构清晰、技术准确，是学生掌握和提高C语言编程技术的首选教材。 《国外计算机科学经典教材：嵌入式C语言编程与Microchip PIC》特色： 《国外计算机科学经典教材：嵌入式C语言编程与Microchip PIC》内容由浅入深，便于学生从C语言开始学习，逐步过渡到PIC硬件和更高级的主题； 《国外计算机科学经典教材：嵌入式C语言编程与Microchip PIC》中的编程示例和上机练习有助于学生牢固掌握各种编程知识和技巧； 章首的学习目标概括了知识重点，

MasterCAM 是CAD/CAM 一体化软件，它集二维绘图、三维实体、曲面设计、数控编程、刀具路径模拟及真实感模拟等功能于一体，且其对系统运行环境要求较低。 本书是MasterCAM V9.0 的中文版教程，以讲解铣削加工为主，共分10章，主要介绍MasterCAM 的基础知识，包括MasterCAM V9.0 模块功能、铣削加工特点与工作界面；二维图形的构建；几何图形的编辑和尺寸标注；曲面的构建，包括曲面构建环境、曲面的构建方式以及曲面编辑；实体模型的构建；其他功能及设置，包括文件管理、分析功能与屏幕设置；CAM加工基础；二维加工，包括外形加工、平面铣削加工、挖槽加工与钻孔加工；曲面加工，包括曲面加工的公用参数设置、曲面粗加工与精加工及各种加工方法；以及刀具路径修剪和变换等。 本书内容简明扼要，条理清晰，通俗易懂，实践性强，可作为高职高专相关专业的

本书是一本关于Petri网的建模、验证与应用的优秀的教学与研究参考书。全书分为5个部分共27章，首先讲解了Petri网的基本概念，通过实例介绍了常量弧网、库所/变迁网和有色网的基本定义。作者接着讨论了如何应用Petri网来构造系统，并给出了各种建模的方法。书中介绍了对Petri网模型进行验证的主要方法，其中包括基于状态空间的方法和模型检验、结构方法以及使用演绎和进程代数的一些高级方法；讲解了Petri网的确认和执行，其中不仅涉及到软件生命周期的相关内容，而且详细介绍了在复杂系统的开发过程中如何使用Petri网进行建模和分析。最后，作者对Petri网的三个不同应用领域（柔性制造系统、工作流管理系统和电信系统）进行了深入的研究。本书的内容全面，结构清晰，并通过大量实例讲解了各种概念、方法与应用。 本书可以作为计算机相关专

本书以“自顶向下”的方式阐述了如何构造实时图形系统，并用相当篇幅介绍了虚拟环境的感知问题、动态特性和交互，以及与此相关的显示和交互设备方面的问题。本书围绕虚拟环境展开对图形学理论和技术的介绍，在内容编排和组织上独具特色。 本书适合用作学习计算机图形学及虚拟环境相关课程的大学高年级本科生或研究生的教材，同时也可供相关技术人员阅读。

《操作系统安全（第2版）》是一部关于操作系统安全的教材，第2版在原书的基础上进行了修订与补充，增加了第11章“可信计算与可信操作系统”与第12章“新型操作系统发展与展望”。全书共分12章，全面介绍了操作系统安全的基本理论、关键技术和发展趋势。主要内容包括：操作系统安全的基本概念和理论，由基本概念、安全机制、安全模型、安全体系结构等章节构成；操作系统安全的关键技术与方法，如形式化规范与验证、隐蔽通道的分析与处理、安全操作系统设计、操作系统安全评测和安全操作系统的网络扩展；新型可信计算与可信操作系统技术，以及面向网络和云计算的新型操作系统发展趋势与安全性分析。 《普通高等教育“十一五”国家级规划教材·高等院校信息安全专业系列教材：操作系统安全（第2版）》内容丰富，题材新颖，深入浅出，特点鲜

《DigitalICSystemDesign数字IC系统设计》共九章，包括IC系统设计概述，系统设计：算法与架构，数字IC系统的逻辑设计，数字IC系统逻辑设计基础，IC设计中的综合技术，可测性设计等。