![ATL技术内幕 [美]雷克托、[美]塞尔斯 著 科学出版社 9787030114075](http://img3m0.ddimg.cn/79/19/11866149880-1_l.jpg)
![并行计算导论 [美]格兰马 著 机械工业出版社【现货速发,正版书籍,可开电子发票】](http://img3m5.ddimg.cn/20/35/11873325935-1_l.jpg)
![信号与系统的结构和解释 [美]李（Lee） 机械工业出版社 9787111134695](http://img3m0.ddimg.cn/91/35/11866224340-1_l.jpg)
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
![泛型编程与STL [美]奥斯滕、侯捷 著 中国电力出版社 9787508314877](http://img3m0.ddimg.cn/20/11/11866106360-1_l.jpg)
当今并行计算机体系结构最令人振奋的发展是对传统的相互各异的并行实现方式的综合。本书正是以此技术为背景，通过大量的实例，的数据和作者对并行结构深邃的理解向人们提示了蕴藏于并行体系结构中的强大力量，并同时首次对设计的平衡性能做了充分的定量评估。本书用硬件、软件方面的技术对并行结构设计中的若干重大问题做了全面、深刻的追踪探讨。本书是诸多专家智慧的结晶、经验的融合，是广、科研人员、工程人员的，也是奉献于并行结构科学的经典之作。
当今并行计算机体系结构最令人振奋的发展是对传统的相互各异的并行实现方式的综合。本书正是以此技术为背景，通过大量的实例，的数据和作者对并行结构深邃的理解向人们提示了蕴藏于并行体系结构中的强大力量，并同时首次对设计的平衡性能做了充分的定量评估。本书用硬件、软件方面的技术对并行结构设计中的若干重大问题做了全面、深刻的追踪探讨。本书是诸多专家智慧的结晶、经验的融合，是广、科研人员、工程人员的，也是奉献于并行结构科学的经典之作。
《泛型编程与STL》阐述了泛型编程的中心思想：concepts、modeling、refinement,并为你展示这些思想如何导出STL的基础概念：iterators、containers、function objects。循此路线，你可以把STL想像为一个由来的完整优势……
“数理逻辑”是一门基础性学科，选一本好的“数理逻辑”的教材，对于培养新一代计算机科学家及IT从业人员是非常重要的。经专家，我们选了大学出版社的，由A.G.Hamilton著“LogicforMathematicians”一书影印出版，希望本书的能为国内高校“数理逻辑”课程的开设提供支持。本书系统地讲解了数理逻辑的基础部分——命题演算与谓词演算。章直观地讲解了命题逻辑基本思想和概念；第二章讲解命题逻辑的形式化系统；第三章直观地讲解了谓词逻辑；第四章讲解谓词逻辑的形式化系统；第五章介绍数学系统；第六章以很不的篇幅完整地介绍了哥德尔不完备定理以有递归函数的初步知识；第七章简要介绍了可计算性与可判定性理论。由于数理逻辑（特别是其基础部分）是一门定形的老学科，其理论体系没有什么变化。本书版由大学出版社于1978年出版，然后，于1988年出了
