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

本书是经典的编译器著作，与“龙书”齐名。书中针对现代语言和体系结构全面介绍了编译器设计与实现的高级论题，从编译器的基础领域中的高级问题开始，然后深入讨论了各种重要的代码优化。本书专为编译器专业人士和计算机专业本科生，研究生编写，在设计和实现高度优化的编译器以及确定优化的重要性和实现优化的的方法等方面，为读者提供了非常有价值的指导。

本书是经典的编译器著作，与“龙书”齐名。书中针对现代语言和体系结构全面介绍了编译器设计与实现的高级论题，从编译器的基础领域中的高级问题开始，然后深入讨论了各种重要的代码优化。本书专为编译器专业人士和计算机专业本科生，研究生编写，在设计和实现高度优化的编译器以及确定优化的重要性和实现优化的的方法等方面，为读者提供了非常有价值的指导。

本书是经典的编译器著作，与“龙书”齐名。书中针对现代语言和体系结构全面介绍了编译器设计与实现的高级论题，从编译器的基础领域中的高级问题开始，然后深入讨论了各种重要的代码优化。本书专为编译器专业人士和计算机专业本科生，研究生编写，在设计和实现高度优化的编译器以及确定优化的重要性和实现优化的的方法等方面，为读者提供了非常有价值的指导。

本书内容包括：Signalsandsystems；Definingsignalsandsystems；Statemachines；Complsingstatemachines；Linearsystems；Hybridsystems；Frequencydomain；Frequencyresponse；Filtering；ThefourFouriertransforms；Samplingandreconstruction；Stability；LaplaceandZtransforms；Compositionandfeedbackcontrol等等。

本书是经典的编译器著作，与“龙书”齐名。书中针对现代语言和体系结构全面介绍了编译器设计与实现的论题，从编译器的基础领域中的问题开始，然后深入讨论了各种重要的代码优化。本书专为编译器专业人士和计算机专业本科生，研究生编写，在设计和实现高度优化的编译器以及确定优化的重要性和实现优化的的方法等方面，为读者提供了非常有价值的指导。

本书特点：1、通过上百张图片对不同的DSP算法进行解释。2、每章后的习题将技术与现实紧密结合起来。3、适用面广，可作为《VLSI数字信号处理体系结构》或《高性能VLSI系统设计》等课程的教材。4、提供有无线、有线、多媒体通信多个领域内的技术与经验。

本书内容包括：Signals and systems；Defining signals and systems；State machines；Complsing state machines；Linear systems；Hybrid systems；Frequency domain；Frequency response；Filtering；The four Fourier transforms；Sampling and reconstruction；Stability；Laplace and Z transforms；Composition and feedback control等等。

本书是经典的编译器著作，与“龙书”齐名。书中针对现代语言和体系结构全面介绍了编译器设计与实现的论题，从编译器的基础领域中的问题开始，然后深入讨论了各种重要的代码优化。本书专为编译器专业人士和计算机专业本科生，研究生编写，在设计和实现高度优化的编译器以及确定优化的重要性和实现优化的的方法等方面，为读者提供了非常有价值的指导。

本书是适用于一学期教学的计算机组成和体系结构课程教材，直接按照ACM-IEEEComputingCurricula2001方针编写。书中通过完整地介绍基本概念和原理来揭示现代数字计算机的内部工作方式，采用真实的例子，注重实践应用，以便读者全面理解如何在计算环境里应用基本的组成和体系结构概念。

如果说，本书是关于技术和系统开发工作管理的重要的著作，也许会有争议；但本书确实描述了如何使用貌似简单、实则精妙无比的Scrum过程快速地构建系统。通过本书，读者将会认识到一种新的系统开发方法，这种方法可以克服系统的复杂性与关于复杂的定义的模糊性，突然冒出的需求以及不稳定的技术，对不断、快速开发高质量的软件所带来的影响。本书对你有何用处？·让你了解如何立即开始进行增量软件开发，而不论你目前采用什么样的软件；·让你了解如何简化敏捷过程的实现；·让你了解如何通过Scrum包装简化XP的实现；·让你了解敏捷过程的工作原理以及如何管理敏捷过程；·让你理解敏捷过程的理论基础。

在快速解决计算量大、数据密集型问题时，人们越采越认识到并行处理是惟一节省成本的方法。价格低廉的并行计算机(如商用桌面多处理机和工作站机群)的出现，使得这种并行方法的适用范围越来越广。现在已经为可移植的并行程序设计制定了专门的软件标准，为并行软件的大幅度发展打好了基础。事务处理、信息检索、数据挖掘和分析以及多媒体服务等数据密集型应用已经为当代的并行平台提供了新的挑战。计算生物学和纳米技术等新兴的领域对并行计算的算法和系统开发提供了前瞻性的启示，而体系结构，编程模型和应用中的变化对如何使用户以网格服务形式得到并行平台也提供了一些启发。本书讨论了这些新技术的发展，也覆盖了并行计算机处理的较传统的问题。本书尽可能采用与体系结构无关的观点来对待抽象模型的底层平台和设计算法。书中选择MPI(Mess

本书是适用于一学期教学的计算机组成和体系结构课程教材，直接按照ACM-IEEEComputingCurricula2001方针编写。书中通过完整地介绍基本概念和原理来揭示现代数字计算机的内部工作方式，采用真实的例子，注重实践应用，以便读者全面理解如何在计算环境里应用基本的组成和体系结构概念。

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

过程是对随时间和空间变化的现象进行建模和分析的学科。许多年前，我们不能在现实问题求解中应用过程，但随着数值方法和计算工具的快速发展，这种状况已经发生了变化。本书很好地将计算机的使用和过程教学结合起来，采用MATLAB的计算机解题方法，使本书充满现代感，又具备实用的特点。本书采用面向应用和计算的方式，强调通过各种示例和习题来开发学生在建模和分析中的实战能力，同时将计算的任务交给计算机去完成。本书是为那些有兴趣学习过程的概念、模型和计算方法的学生编写的，是过程课程的入门教材，适合管理、金融、工程、统计、计算机科学和应用数学等专业的高年级本科生或低年级研究生阅读

本书特点：1、通过上百张图片对不同的DSP算法进行解释。2、每章后的习题将技术与现实紧密结合起来。3、适用面广，可作为《VLSI数字信号处理体系结构》或《高性能VLSI系统设计》等课程的教材。4、提供有无线、有线、多媒体通信多个领域内的技术与经验。

本书指导读者如何充分利用标准C和C 库，其涵盖容器、迭代器、算法、文本与文件处理、时间与日期处理以及内存管理等内容。同时本书提供了非常实用的有关抽象、模板、二进制处理、可见度、控制结构和异常处理的使用技巧。 本书还提供了C和C 的大量编程范例，对于进行实用开发的人员具有很大的借鉴和指导意义。各类读者均能从中获得裨益，提高C／C 的编程水平。

Authorized English language reprint edition jointly published by McGraw-Hill Education Co.and China Machine Press.This edition is authorized sale in the People's Republic of China only,excluding Hong Kong, Macao SAR and Taiwan. Unauthorized export of this edition is a violation of the Copyright Act.Violation of this Law is subject Civil and Criminal Penalties.

在快速解决计算量大、数据密集型问题时，人们越采越认识到并行处理是惟一节省成本的方法。价格低廉的并行计算机(如商用桌面多处理机和工作站机群)的出现，使得这种并行方法的适用范围越来越广。现在已经为可移植的并行程序设计制定了专门的软件标准，为并行软件的大幅度发展打好了基础。 事务处理、信息检索、数据挖掘和分析以及多媒体服务等数据密集型应用已经为当代的并行平台提供了新的挑战。计算生物学和纳米技术等新兴的领域对并行计算的算法和系统开发提供了前瞻性的启示，而体系结构，编程模型和应用中的变化对如何使用户以网格服务形式得到并行平台也提供了一些启发。 本书讨论了这些新技术的发展，也覆盖了并行计算机处理的较传统的问题。本书尽可能采用与体系结构无关的观点来对待抽象模型的底层平台和设计算法。书中选

本书是经典的编译器著作，与“龙书”齐名。书中针对现代语言和体系结构全面介绍了编译器设计与实现的高级论题，从编译器的基础领域中的高级问题开始，然后深入讨论了各种重要的代码优化。本书专为编译器专业人士和计算机专业本科生，研究生编写，在设计和实现高度优化的编译器以及确定优化的重要性和实现优化的的方法等方面，为读者提供了非常有价值的指导。