![随机过程导论 [美]EdwardP.C.Kao 著 9787111124146 机械工业出版社【可开电子发票】](http://img3m1.ddimg.cn/17/14/12344657111-1_l.jpg)
![ATL技术内幕 [美]雷克托、[美]塞尔斯 著 9787030114075 科学出版社【可开电子发票】](http://img3m1.ddimg.cn/90/25/12342576501-1_l.jpg)
![BEEP权威指南 [美] 著 清华大学出版社](http://img3m6.ddimg.cn/77/4/12303812246-1_l.jpg)
![并行计算导论 [美]格兰马 著 9787111125129 机械工业出版社【放心购买】](http://img3m1.ddimg.cn/49/0/12339478651-1_l.jpg)
如果说，本书是关于技术和系统开发工作管理的重要的著作，也许会有争议；但本书确实描述了如何使用貌似简单、实则精妙无比的Scrum过程快速地构建系统。通过本书，读者将会认识到一种新的系统开发方法，这种方法可以克服系统的复杂性与关于复杂的定义的模糊性，突然冒出的需求以及不稳定的技术，对不断、快速开发高质量的软件所带来的影响。本书对你有何用处？·让你了解如何立即开始进行增量软件开发，而不论你目前采用什么样的软件；·让你了解如何简化敏捷过程的实现；·让你了解如何通过Scrum包装简化XP的实现；·让你了解敏捷过程的工作原理以及如何管理敏捷过程；·让你理解敏捷过程的理论基础。
“数理逻辑”是一门基础性学科，选一本好的“数理逻辑”的教材，对于培养新一代计算机科学家及IT从业人员是非常重要的。经专家，我们选了大学出版社的，由A.G.Hamilton著“LogicforMathematicians”一书影印出版，希望本书的能为国内高校“数理逻辑”课程的开设提供支持。本书系统地讲解了数理逻辑的基础部分——命题演算与谓词演算。章直观地讲解了命题逻辑基本思想和概念；第二章讲解命题逻辑的形式化系统；第三章直观地讲解了谓词逻辑；第四章讲解谓词逻辑的形式化系统；第五章介绍数学系统；第六章以很不的篇幅完整地介绍了哥德尔不完备定理以有递归函数的初步知识；第七章简要介绍了可计算性与可判定性理论。由于数理逻辑（特别是其基础部分）是一门定形的老学科，其理论体系没有什么变化。本书版由大学出版社于1978年出版，然后，于1988年出了
CSTL(StandardTemplateLibrary,标准模板)是一次革命，但是学习如何用它却是一个挑战。在本书中，ScottMeyers(两本的书《EffectiveC》和《MoreEffectiveC》的作者)揭示了专家总结的一些关键规则，以便限度地使用标准模板库。其他书只是描述了STL中有什么，而本书则讲述了如何使用STL。本书共有50条原则，对于每一条原则，SCOTTMEYERS都通过透彻的分析和经典的实例来进行讲解，从而使读者不仅可以了解要做什么，而且还能够了解何时做以及为何做。像MEYERS的其他著作一样，这本书充满了从实践中总结出来的智慧。它清晰、简明、透彻的风格必将使每位STL程序员受益匪浅。t
![VLSI数字信号处理系统设计与实现 [美]帕赫 著 机械工业出版社](http://img3m7.ddimg.cn/37/4/12346853347-1_l.jpg)
“本书提供了有关现代贝叶斯统计方法的重要题材，文笔流畅，语言优美，其突出的特点是包括大量实际应用，涉及若干领域中AIC和BIC模型选择标准的运用和对比，通过效用理论以独特方式处理贝叶斯决策论，并论述了贝叶斯过程的频度特性，配备了可以扩展与加深书中内容的有趣和适中的自学练习。”——MichaelJ．Evans，MathematicalReview“以严密、纯熟的文笔介绍贝叶斯建模的基本原则，选材深思熟虑，按照研究生层次引入贝叶斯方法。”——JournaloftheAmericaStatisticalAssociation贝叶斯“后验分布”或“预测分布”是对有关未知参或未来观测所需了解的每项事物的概括。本书以一种强有力和贴切的方式说明了如何运用贝叶斯统计技术，引导读者从具体数据中推测有关科学、医疗与社会问题的结论。本书解释了贝叶斯方法论所需的一些细微假设，并展示了如何运用这些假设
本书特点：1、通过上百张图片对不同的DSP算法进行解释。2、每章后的习题将技术与现实紧密结合起来。3、适用面广，可作为《VLSI数字信号处理体系结构》或《高性能VLSI系统设计》等课程的教材。4、提供有无线、有线、多媒体通信多个领域内的技术与经验。
![图论导引： [美]韦斯特（West D.B） 著 9787111152156 机械工业出版社【放心购买】](http://img3m8.ddimg.cn/73/18/11970887518-1_l.jpg)
在快速解决计算量大、数据密集型问题时，人们越采越认识到并行处理是惟一节省成本的方法。价格低廉的并行计算机(如商用桌面多处理机和工作站机群)的出现，使得这种并行方法的适用范围越来越广。现在已经为可移植的并行程序设计制定了专门的软件标准，为并行软件的大幅度发展打好了基础。事务处理、信息检索、数据挖掘和分析以及多媒体服务等数据密集型应用已经为当代的并行平台提供了新的挑战。计算生物学和纳米技术等新兴的领域对并行计算的算法和系统开发提供了前瞻性的启示，而体系结构，编程模型和应用中的变化对如何使用户以网格服务形式得到并行平台也提供了一些启发。本书讨论了这些新技术的发展，也覆盖了并行计算机处理的较传统的问题。本书尽可能采用与体系结构无关的观点来对待抽象模型的底层平台和设计算法。书中选择MPI(Mess
