AuthorizedEnglishlanguagereprinteditionjointlypublishedbyMcGraw-HillEducationCo.andChinaMachinePress.ThiseditionisauthorizedsaleinthePeople'sRepublicofChinaonly,excludingHongKong,MacaoSARandTaiwan.UnauthorizedexportofthiseditionisaviolationoftheCopyrightAct.ViolationofthisLawissubjectCivilandCriminalPenalties.
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
当今并行计算机体系结构最令人振奋的发展是对传统的相互各异的并行实现方式的综合。本书正是以此技术为背景,通过大量的实例,的数据和作者对并行结构深邃的理解向人们提示了蕴藏于并行体系结构中的强大力量,并同时首次对设计的平衡性能做了充分的定量评估。本书用硬件、软件方面的技术对并行结构设计中的若干重大问题做了全面、深刻的追踪探讨。本书是诸多专家智慧的结晶、经验的融合,是广、科研人员、工程人员的,也是奉献于并行结构科学的经典之作。
“数理逻辑”是一门基础性学科,选一本好的“数理逻辑”的教材,对于培养新一代计算机科学家及IT从业人员是非常重要的。经专家,我们选了大学出版社的,由A.G.Hamilton著“LogicforMathematicians”一书影印出版,希望本书的能为国内高校“数理逻辑”课程的开设提供支持。本书系统地讲解了数理逻辑的基础部分——命题演算与谓词演算。章直观地讲解了命题逻辑基本思想和概念;第二章讲解命题逻辑的形式化系统;第三章直观地讲解了谓词逻辑;第四章讲解谓词逻辑的形式化系统;第五章介绍数学系统;第六章以很不的篇幅完整地介绍了哥德尔不完备定理以有递归函数的初步知识;第七章简要介绍了可计算性与可判定性理论。由于数理逻辑(特别是其基础部分)是一门定形的老学科,其理论体系没有什么变化。本书版由大学出版社于1978年出版,然后,于1988年出了
“本书提供了有关现代贝叶斯统计方法的重要题材,文笔流畅,语言优美,其突出的特点是包括大量实际应用,涉及若干领域中AIC和BIC模型选择标准的运用和对比,通过效用理论以独特方式处理贝叶斯决策论,并论述了贝叶斯过程的频度特性,配备了可以扩展与加深书中内容的有趣和适中的自学练习。”——MichaelJ.Evans,MathematicalReview“以严密、纯熟的文笔介绍贝叶斯建模的基本原则,选材深思熟虑,按照研究生层次引入贝叶斯方法。”——JournaloftheAmericaStatisticalAssociation贝叶斯“后验分布”或“预测分布”是对有关未知参或未来观测所需了解的每项事物的概括。本书以一种强有力和贴切的方式说明了如何运用贝叶斯统计技术,引导读者从具体数据中推测有关科学、医疗与社会问题的结论。本书解释了贝叶斯方法论所需的一些细微假设,并展示了如何运用这些假设
本书为全英文读物,对机器学习和数据挖掘的最重要发展领域进行了全面的介绍,展现了一个主要由VladimirVapnik创立的统计学习理论的全新领域,它以正则化技术的研究成果为基础,在数学方法和应用技术两个方面都可能成为一座真正的科学金矿。书中条理清晰,逻辑严密,是值得数学家和工程师一读的读物。 支持向量机(SupportVectorMachine,SVM)是建立在统计学理论最新进展基础上的新一代学习系统。本书是第一本全面介绍支持向量机的著作。支持向量机是在20世纪90年代初提出的,随之引发了对这种技术的广泛应用和深入理论分析。至今在若干实际应用(如文本编目、手写字符识别、图像分类和生物进化链分析等)中,支持向机量足以提供最佳的学习性能,而且在机器学习与数据挖掘中已被确立为一种标准工具。学生将会发现本书不仅对他们具有激励作