本书清晰地阐明了模式识别的经典方法和新方法，包括神经网络、方法、遗传算法以及机器学习理论。提供了大量双色图表，用于突出展示各种概念。收录了大量实用的例题。采用伪代码形式的模式识别算法。扩充了对正文有关键意的习题和计算机练习。用算法形式讲解特殊的模式识别和机器学习技术。每章后面均有文献历史评述以及重要的参考文献。录补充了必要的数学基础知识。

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

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

CSTL(StandardTemplateLibrary,标准模板)是一次革命，但是学习如何用它却是一个挑战。在本书中，ScottMeyers(两本的书《EffectiveC》和《MoreEffectiveC》的作者)揭示了专家总结的一些关键规则，以便限度地使用标准模板库。其他书只是描述了STL中有什么，而本书则讲述了如何使用STL。本书共有50条原则，对于每一条原则，SCOTTMEYERS都通过透彻的分析和经典的实例来进行讲解，从而使读者不仅可以了解要做什么，而且还能够了解何时做以及为何做。像MEYERS的其他著作一样，这本书充满了从实践中总结出来的智慧。它清晰、简明、透彻的风格必将使每位STL程序员受益匪浅。t

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

ATL是一组小而灵活的类，可用于开发组件。本书对ATL的内部工作原理做了深入的剖析，详细介绍了关于ATL设计的基础知识和体系结构，展示了ATL如何与相匹配，并对一些重要的实施细节做了具体提示。在此基础上，对ATL的一些内容和功能做了充分的介绍。更为重要的是，本书还指出了ATL存在的一些缺陷，并告诉读者如何去避免。本书具有的技术深度，适合有经验的和VC程序员阅读。tBrentRectorisPresidentofWiseOwlConsulting,Inc.,aformthatspecializesinWindows/developmentandconsulting.Healsoteachesclasseson,ATL,andMTSforDevelpMentor,aleadingeducationfirm.HispreviouooksincludeWin32Programming,Developingwindows3ApplicationswithMicrosoftSDK,andDevelopingWindows3.1ApplicationswithMicrosoftC/C.HereceivedtheMicrosoftAnnualMVPawardforhiscontributionstoCompuServesWindowsforums.ChrisSellsWorksasanindependentconsultantspecializingindesignanddevelopmentusing.HeisalsoaC,andATLinstructorforDevelopMentor,w

"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."

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

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

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