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
![随机过程导论（英文版） [美]EdwardP.C.Kao 著 机械工业出版社9787111124146【绝版书，发货快】](http://img3m0.ddimg.cn/27/14/11898108810-1_l.jpg)
![并行计算导论（英文版 第2版） [美]格兰马 著 机械工业出版社9787111125129【绝版书，发货快】](http://img3m0.ddimg.cn/70/17/11895492580-1_l.jpg)
CSTL(StandardTemplateLibrary,标准模板)是一次革命，但是学习如何用它却是一个挑战。在本书中，ScottMeyers(两本的书《EffectiveC》和《MoreEffectiveC》的作者)揭示了专家总结的一些关键规则，以便限度地使用标准模板库。其他书只是描述了STL中有什么，而本书则讲述了如何使用STL。本书共有50条原则，对于每一条原则，SCOTTMEYERS都通过透彻的分析和经典的实例来进行讲解，从而使读者不仅可以了解要做什么，而且还能够了解何时做以及为何做。像MEYERS的其他著作一样，这本书充满了从实践中总结出来的智慧。它清晰、简明、透彻的风格必将使每位STL程序员受益匪浅。t
"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."
在快速解决计算量大、数据密集型问题时，人们越采越认识到并行处理是惟一节省成本的方法。价格低廉的并行计算机(如商用桌面多处理机和工作站机群)的出现，使得这种并行方法的适用范围越来越广。现在已经为可移植的并行程序设计制定了专门的软件标准，为并行软件的大幅度发展打好了基础。事务处理、信息检索、数据挖掘和分析以及多媒体服务等数据密集型应用已经为当代的并行平台提供了新的挑战。计算生物学和纳米技术等新兴的领域对并行计算的算法和系统开发提供了前瞻性的启示，而体系结构，编程模型和应用中的变化对如何使用户以网格服务形式得到并行平台也提供了一些启发。本书讨论了这些新技术的发展，也覆盖了并行计算机处理的较传统的问题。本书尽可能采用与体系结构无关的观点来对待抽象模型的底层平台和设计算法。书中选择MPI(Mess
