![计算机组成与体系结构——经典原版书库 [美]纳尔 著 9787111153115 机械工业出版社【正版书籍】](http://img3m1.ddimg.cn/10/33/12339481681-1_l.jpg)
![随机过程导论 [美]EdwardP.C.Kao 著 机械工业出版社【正版书籍】](http://img3m0.ddimg.cn/58/0/11958967210-1_l.jpg)
![随机过程导论 [美]EdwardP.C.Kao 著【速开发票，优质售后，支持7天无理由退换】](http://img3m2.ddimg.cn/16/16/11958566812-1_l.jpg)
![泛型编程与STL [美]奥斯滕、侯捷 著【速开发票，优质售后，支持7天无理由退换】](http://img3m2.ddimg.cn/70/22/11958237592-1_l.jpg)
“数理逻辑”是一门基础性学科，选一本好的“数理逻辑”的教材，对于培养新一代计算机科学家及IT从业人员是非常重要的。经专家，我们选了大学出版社的，由A.G.Hamilton著“LogicforMathematicians”一书影印出版，希望本书的能为国内高校“数理逻辑”课程的开设提供支持。本书系统地讲解了数理逻辑的基础部分——命题演算与谓词演算。章直观地讲解了命题逻辑基本思想和概念；第二章讲解命题逻辑的形式化系统；第三章直观地讲解了谓词逻辑；第四章讲解谓词逻辑的形式化系统；第五章介绍数学系统；第六章以很不的篇幅完整地介绍了哥德尔不完备定理以有递归函数的初步知识；第七章简要介绍了可计算性与可判定性理论。由于数理逻辑（特别是其基础部分）是一门定形的老学科，其理论体系没有什么变化。本书版由大学出版社于1978年出版，然后，于1988年出了
当今并行计算机体系结构最令人振奋的发展是对传统的相互各异的并行实现方式的综合。本书正是以此技术为背景，通过大量的实例，的数据和作者对并行结构深邃的理解向人们提示了蕴藏于并行体系结构中的强大力量，并同时首次对设计的平衡性能做了充分的定量评估。本书用硬件、软件方面的技术对并行结构设计中的若干重大问题做了全面、深刻的追踪探讨。本书是诸多专家智慧的结晶、经验的融合，是广、科研人员、工程人员的，也是奉献于并行结构科学的经典之作。
![泛型编程与STL [美]奥斯滕、侯捷 著【正版】](http://img3m3.ddimg.cn/12/3/11951919453-1_l.jpg)
![模式分类 [美]RichardO.Duda、PeterE.Hart、DavidG.Stork 著【正版】](http://img3m3.ddimg.cn/46/9/11970900163-1_l.jpg)
![模式分类 [美]RichardO.Duda、PeterE.Hart、DavidG.Stork 著【速开发票，优质售后，支](http://img3m2.ddimg.cn/48/29/11957561202-1_l.jpg)
![C语言教程 [美]凯利 著 9787111134145 机械工业出版社【售后无忧】](http://img3m1.ddimg.cn/45/3/12349645551-1_l.jpg)
内容简介
本书是关于计算机网络的经典教材，是目前美国大多数大学所开设的计算机网络课程的主要参考书。全书共三卷。第二卷在第一卷介绍了TCP/IP基本概念的基础上，进一步详细讨论了TCP/IP的实现细节。这一卷的突出特点非常注重实际。作者利用程序代码实现了TCP/IP的每个技术细节，并且所有代码在书中均可找到，有助于读者深入了解并掌握TCP/IP的细节内容。书中附录分别给出了过程调用交叉参考表、程序代码中用到的C数据结构交叉参考表及Xinu函数和常量。
