内容简介
![计算机组成与体系结构——经典原版书库 [美]纳尔 著 9787111153115 机械工业出版社【放心购买】](http://img3m1.ddimg.cn/10/33/12339481681-1_l.jpg)
![贝叶斯方法 [美]伦纳德（Leonard T.） 著 机械工业出版社【正版书籍】](http://img3m4.ddimg.cn/94/1/11956469674-1_l.jpg)
当今并行计算机体系结构最令人振奋的发展是对传统的相互各异的并行实现方式的综合。本书正是以此技术为背景，通过大量的实例，的数据和作者对并行结构深邃的理解向人们提示了蕴藏于并行体系结构中的强大力量，并同时首次对设计的平衡性能做了充分的定量评估。本书用硬件、软件方面的技术对并行结构设计中的若干重大问题做了全面、深刻的追踪探讨。本书是诸多专家智慧的结晶、经验的融合，是广、科研人员、工程人员的，也是奉献于并行结构科学的经典之作。
![用TCP/IP进行网际互连：设计、实现与内核 [美]科默、[美]史蒂文 著 电子工业出版社【可开电子发票】](http://img3m4.ddimg.cn/32/5/11954840864-1_l.jpg)
“数理逻辑”是一门基础性学科，选一本好的“数理逻辑”的教材，对于培养新一代计算机科学家及IT从业人员是非常重要的。经专家，我们选了大学出版社的，由A.G.Hamilton著“LogicforMathematicians”一书影印出版，希望本书的能为国内高校“数理逻辑”课程的开设提供支持。本书系统地讲解了数理逻辑的基础部分——命题演算与谓词演算。章直观地讲解了命题逻辑基本思想和概念；第二章讲解命题逻辑的形式化系统；第三章直观地讲解了谓词逻辑；第四章讲解谓词逻辑的形式化系统；第五章介绍数学系统；第六章以很不的篇幅完整地介绍了哥德尔不完备定理以有递归函数的初步知识；第七章简要介绍了可计算性与可判定性理论。由于数理逻辑（特别是其基础部分）是一门定形的老学科，其理论体系没有什么变化。本书版由大学出版社于1978年出版，然后，于1988年出了
![模式分类 [美]RichardO.Duda、PeterE.Hart、DavidG.Stork 著 机械工业出版社【放心购](http://img3m4.ddimg.cn/36/10/11954925414-1_l.jpg)
![图论导引： [美]韦斯特（West D.B） 著 机械工业出版社【可开电子发票】](http://img3m4.ddimg.cn/1/11/11959225444-1_l.jpg)
![Essential C++ [美]Stanley B.Lippman 著 中国电力出版社【售后无忧】](http://img3m4.ddimg.cn/48/17/11957345184-1_l.jpg)
![计算机组成与体系结构——经典原版书库 [美]纳尔 著 机械工业出版社【可开电子发票】](http://img3m4.ddimg.cn/16/0/11957162794-1_l.jpg)
![随机过程导论 [美]EdwardP.C.Kao 著 机械工业出版社【放心购买】](http://img3m4.ddimg.cn/3/25/11956584324-1_l.jpg)
![ATL技术内幕 [美]雷克托、[美]塞尔斯 著 科学出版社【放心购买】](http://img3m4.ddimg.cn/55/22/11960271334-1_l.jpg)
