![并行计算导论 [美]格兰马 著 9787111125129 机械工业出版社【正版书籍】](http://img3m1.ddimg.cn/49/0/12339478651-1_l.jpg)
本书特点：1、通过上百张图片对不同的DSP算法进行解释。2、每章后的习题将技术与现实紧密结合起来。3、适用面广，可作为《VLSI数字信号处理体系结构》或《高性能VLSI系统设计》等课程的。4、提供有无线、有线、多媒体通信多个领域内的技术与经验。
本书是适用于一学期教学的计算机组成和体系结构课程教材，直接按照ACM-IEEEComputingCurricula2001方针编写。书中通过完整地介绍基本概念和原理来揭示现代数字计算机的内部工作方式，采用真实的例子，注重实践应用，以便读者全面理解如何在计算环境里应用基本的组成和体系结构概念。
如果说，本书是关于技术和系统开发工作管理的重要的著作，也许会有争议；但本书确实描述了如何使用貌似简单、实则精妙无比的Scrum过程快速地构建系统。通过本书，读者将会认识到一种新的系统开发方法，这种方法可以克服系统的复杂性与关于复杂的定义的模糊性，突然冒出的需求以及不稳定的技术，对不断、快速开发高质量的软件所带来的影响。本书对你有何用处？·让你了解如何立即开始进行增量软件开发，而不论你目前采用什么样的软件；·让你了解如何简化敏捷过程的实现；·让你了解如何通过Scrum包装简化XP的实现；·让你了解敏捷过程的工作原理以及如何管理敏捷过程；·让你理解敏捷过程的理论基础。
"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."
![图论导引： [美]韦斯特（West D.B） 著 9787111152156 机械工业出版社【正版书籍】](http://img3m8.ddimg.cn/73/18/11970887518-1_l.jpg)
![BEEP权威指南 [美] 著 清华大学出版社](http://img3m6.ddimg.cn/77/4/12303812246-1_l.jpg)
“本书提供了有关现代贝叶斯统计方法的重要题材，文笔流畅，语言优美，其突出的特点是包括大量实际应用，涉及若干领域中AIC和BIC模型选择标准的运用和对比，通过效用理论以独特方式处理贝叶斯决策论，并论述了贝叶斯过程的频度特性，配备了可以扩展与加深书中内容的有趣和适中的自学练习。”——MichaelJ．Evans，MathematicalReview“以严密、纯熟的文笔介绍贝叶斯建模的基本原则，选材深思熟虑，按照研究生层次引入贝叶斯方法。”——JournaloftheAmericaStatisticalAssociation贝叶斯“后验分布”或“预测分布”是对有关未知参或未来观测所需了解的每项事物的概括。本书以一种强有力和贴切的方式说明了如何运用贝叶斯统计技术，引导读者从具体数据中推测有关科学、医疗与社会问题的结论。本书解释了贝叶斯方法论所需的一些细微假设，并展示了如何运用这些假设
