当今并行计算机体系结构最令人振奋的发展是对传统的相互各异的并行实现方式的综合。本书正是以此技术为背景，通过大量的实例，的数据和作者对并行结构深邃的理解向人们提示了蕴藏于并行体系结构中的强大力量，并同时首次对设计的平衡性能做了充分的定量评估。本书用硬件、软件方面的技术对并行结构设计中的若干重大问题做了全面、深刻的追踪探讨。本书是诸多专家智慧的结晶、经验的融合，是广、科研人员、工程人员的，也是奉献于并行结构科学的经典之作。

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

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

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

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

"This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001.The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on symbolic verification, infinite state systems - deduction and abstraction, application of model checking techniques, timed and probabilistic systems, hardware - design and verification, software verification, testing - techniques and tools, implementation techniques, semantics and compositional verification, logics and model checking, and ETAPS tool demonstration."

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

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

本书为全英文读物，对机器学习和数据挖掘的最重要发展领域进行了全面的介绍，展现了一个主要由VladimirVapnik创立的统计学习理论的全新领域，它以正则化技术的研究成果为基础，在数学方法和应用技术两个方面都可能成为一座真正的科学金矿。书中条理清晰，逻辑严密，是值得数学家和工程师一读的读物。 支持向量机（SupportVectorMachine，SVM）是建立在统计学理论最新进展基础上的新一代学习系统。本书是第一本全面介绍支持向量机的著作。支持向量机是在20世纪90年代初提出的，随之引发了对这种技术的广泛应用和深入理论分析。至今在若干实际应用（如文本编目、手写字符识别、图像分类和生物进化链分析等）中，支持向机量足以提供最佳的学习性能，而且在机器学习与数据挖掘中已被确立为一种标准工具。学生将会发现本书不仅对他们具有激励作

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

“数理逻辑”是一门基础性学科，选一本好的“数理逻辑”的教材，对于培养新一代计算机科学家及IT从业人员是非常重要的。经专家，我们选了大学出版社的，由A.G.Hamilton著“LogicforMathematicians”一书影印出版，希望本书的能为国内高校“数理逻辑”课程的开设提供支持。本书系统地讲解了数理逻辑的基础部分——命题演算与谓词演算。章直观地讲解了命题逻辑基本思想和概念；第二章讲解命题逻辑的形式化系统；第三章直观地讲解了谓词逻辑；第四章讲解谓词逻辑的形式化系统；第五章介绍数学系统；第六章以很不的篇幅完整地介绍了哥德尔不完备定理以有递归函数的初步知识；第七章简要介绍了可计算性与可判定性理论。由于数理逻辑（特别是其基础部分）是一门定形的老学科，其理论体系没有什么变化。本书版由大学出版社于1978年出版，然后，于1988年出了