算法竞赛入门经典第2版刘汝佳编著清华大学出版社 正版图书,下单速发,可开发票
¥91.00定价：¥183.00 (4.98折)
数理逻辑 A.G.Hamilton 9787302068105 清华大学出版社【可开电子发票】 【速开发票，优质售后，支持7天无理由退换】
“数理逻辑”是一门基础性学科，选一本好的“数理逻辑”的教材，对于培养新一代计算机科学家及IT从业人员是非常重要的。经专家推荐，我们选了剑桥大学出版社的，由A.G.Hamilton著“Logic for Mathematicians”一书影印出版，希望本书的影印版能为国内高校“数理逻辑”课程的开设提供支持。本书系统地讲解了数理逻辑的基础部分——命题演算与谓词演算。第一章直观地讲解了命题逻辑基本思想和概念；第二章讲解命题逻辑的形式化系统；第三章直观地讲解了谓词逻辑；第四章讲解谓词逻辑的形式化系统；第五章介绍数学系统；第六章以很不的篇幅完整地介绍了哥德尔不完备定理以有递归函数的初步知识；第七章简要介绍了可计算性与可判定性理论。由于数理逻辑（特别是其基础部分）是一门定形的老学科，其理论体系没有什么变化。本书第一版由剑桥大学出版社于19
¥153.30定价：¥307.60 (4.99折)
数理逻辑 A.G.Hamilton 9787302068105 清华大学出版社【放心购买】 【速开发票，优质售后，支持7天无理由退换】
“数理逻辑”是一门基础性学科，选一本好的“数理逻辑”的教材，对于培养新一代计算机科学家及IT从业人员是非常重要的。经专家推荐，我们选了剑桥大学出版社的，由A.G.Hamilton著“Logic for Mathematicians”一书影印出版，希望本书的影印版能为国内高校“数理逻辑”课程的开设提供支持。本书系统地讲解了数理逻辑的基础部分——命题演算与谓词演算。第一章直观地讲解了命题逻辑基本思想和概念；第二章讲解命题逻辑的形式化系统；第三章直观地讲解了谓词逻辑；第四章讲解谓词逻辑的形式化系统；第五章介绍数学系统；第六章以很不的篇幅完整地介绍了哥德尔不完备定理以有递归函数的初步知识；第七章简要介绍了可计算性与可判定性理论。由于数理逻辑（特别是其基础部分）是一门定形的老学科，其理论体系没有什么变化。本书第一版由剑桥大学出版社于19
¥153.30定价：¥307.60 (4.99折)
802.11无线网络权威指南(影印版)Mattbew S.Gast清华大学出版社9787302059745 正版旧书，保证质量，此书为单本而非一套，电子发票！
本书讨论了802.11协议的工作原理，分析了各种可用选项的意义，以及排除故障问题，讨论了无线网络的安全问题，介绍了802.1x安全标准，展示了怎样从Linux系统和公开的源代码软件创建无线便携式探测器，还介绍了无线网络的新发展等。
¥68.40定价：¥203.60 (3.36折)
条码技术与应用【正版图书，达额减，电子发票】 【正版书籍，满额减，电子发票】
《条码技术与应用》是中国条码推进工程全国高校“条码技术与应用”课程的指定教材。在前一版的基础上，参考了现行修订的国家标准，吸收了广大高校教师和学生的意见，做了调整和修改，除原有商品条码、EAN·UCC系统、二维条码、条码识读、条码符号生成与印制、条码检测以及条码应用系统设计等内容外，还增加了科码技术在中国的发展历史、我国具有自主知识产权的二维条码、条码应用案例等内容。同时每章后面增加了思考题，便于自学。
¥20.00定价：¥120.00 (1.67折)
Matlab之语音处理与合成工具箱影印版 【正版】 【店主推荐，正版书放心购买，可开发票】
本书提供了理论与实践的完美结合，让读者能够充分理解有关语音分析与合成理论的基本概念、各种假设情况以及各种限制条件。本书所介绍的数据分析方法及其理论背景有助于读者理解分析的结果。另外，读者还可以从本书中学习的到语音作为一种信号的特性和属性，而不必拥有一款能够记录并写入语音数据的软件来分析该数据。本书附带的两张光盘中包含了MATLAB单机版本、语音数据和电子记录图形数据。这两张光盘展示了语音模型和语音分析过程的效果，以及合成语音的质量。光盘中所包含的大容量的语音数据库中提供了很多语音文件和其他数据。另外，光盘上还包括了每章中用于展示软件使用的范例。光盘的作用 ·计算线性预测语音模型的参数·考察将一位说话者的语音转换成像另外一位说话者的声音的过程·分析并改变语音信号的临时结构。这将允许自动地
¥22.27定价：¥96.81 (2.31折)
¥129.20定价：¥259.40 (4.99折)
Matlab之语音处理与合成工具箱影印版 切尔德（Childers） 清华大学出版社 【速开发票，此书为单本而非一套，支持7天无理由退换】
本书提供了理论与实践的完美结合，让读者能够充分理解有关语音分析与合成理论的基本概念、各种假设情况以及各种限制条件。本书所介绍的数据分析方法及其理论背景有助于读者理解分析的结果。另外，读者还可以从本书中学习到语音作为一种信号的特性和属性，而不必拥有一款能够记录并写入语音数据的软件来分析该数据。 本书附带的两张光盘中包含了MATLAB单机版本、语音数据和电子记录图形数据。这两张光盘展示了语音模型和语音分析过程的效果，以及合成语音的质量。光盘中所包含的大容量的语音数据库中提供了很多语音文件和其他数据。另外，光盘上还包括了每章中用于展示软件使用的范例。 光盘的作用： · 计算线性预测语音模型的参数 · 考察将一位说话者的语音转换成像另外一位说话者的声音的过程 ·分析并改变语音信号的临
¥40.85定价：¥91.70 (4.46折)
算法竞赛入门经典第2版刘汝佳编著清华大学出版社 正版图书,下单速发,可开发票
¥93.00定价：¥187.00 (4.98折)
算法竞赛入门经典第2版刘汝佳编著清华大学出版社 正版图书,下单速发,可开发票
¥95.00定价：¥191.00 (4.98折)
通信网基本概念与主体结构 利昂-加西亚（Leon-Garcia,A.）；维德加加（Widjaja） 9787302041 【速开发票，优质售后，支持7天无理由退换】
本书内容大致分为三部分。 第一部分由前3章组成，主要介绍通信网络的基础知识、基本概念以及基本的传输要求。其中，第1章是对网络大环境的概述；第2章介绍网络协议的层次结构，并以因特网为例说明协议层次设计的实现；第3章介绍音、像、图、文等不同媒体数字信号的传输特性及其对网络的基本要求，并介绍了基本的检错技术。 第二部分以不同的通信网络为例，介绍不同网络协议层的主要技术及其在各种网络中的应用。这部分由第4章至第9章组成，其中，第4章讨论电话网络及其传输系统物理层的连接、交换与复用；第5章讨论对等层协议，主要几种控制的基本原理和方法；第6章讨论共享介质的访问控制技术，较为详细地介绍了随机访问、预约访问和信道化访问的控制方式，同时以较大篇幅介绍了移动通信网和无线局域网的基本访问方式；第7章介绍广义
¥75.20定价：¥238.40 (3.16折)
数理逻辑【正版书籍】 线上线下同步销售，请咨询客服查询库存后下单，避免纠纷。
“数理逻辑”是一门基础性学科，选一本好的“数理逻辑”的教材，对于培养新一代计算机科学家及IT从业人员是非常重要的。经，我们选了大学出版社的，由A.G.Hamilton著“Logic for Mathematicians”一书影印出版，希望本书的能为国内高校“数理逻辑”课程的开设提供支持。本书系统地讲解了数理逻辑的基础部分命题演算与谓词演算。章直观地讲解了命题逻辑基本思想和概念；第二章讲解命题逻辑的形式化系统；第三章直观地讲解了谓词逻辑；第四章讲解谓词逻辑的形式化系统；第五章介绍数学系统；第六章以很不的篇幅完整地介绍了哥德尔不完备定理以有递归函数的初步知识；第七章简要介绍了可计算性与可判定性理论。由于数理逻辑（特别是其基础部分）是一门定形的老学科，其理论体系没有什么变化。本书版由大学出版社于1978年出版，然后，于1988年出了修订版。
¥120.00定价：¥250.00 (4.8折)
数据结构与算法分析C++描述Mark Allen Weiss清华大学出版社9787302057024 正版旧书，保证质量，此书为单本而非一套，电子发票！
此书是作者1996年出版“Algorithm,Data Structures,and Problem Solving with C++”的缩编本，原书正文807页，作者对内容包括算法重新作了编排，本书正文575页共分12章，其内容依次为C++简介；算法分析；表、栈与队列；树；散列 ；优先队列（堆）；排序；并查集；图；算法设计技术；缓冲分析；高级数据结构和实现。附录中给出类设计的模板。 本书内容基本符合目前《数据结构与算法》大纲的要求，比较适合当前的教学需要。内容编排上较为合理，篇幅较小，叙述清楚，适合于本科高年级和研究生使用。
¥23.20定价：¥108.70 (2.14折)
TCP/IP网络互连技术I:(英文第3版）[美]科默 著清华大学出版社9787302029465 正版旧书，保证质量，此书为单本而非一套，电子发票！
本书是Douglas Comer教授所著网络互连技术系列的第1卷。详尽地讲解了因特网的原理、网络体系结构、TCP/IP协议簇。本书包括了TCP/IP，因特网各个组成部分的设计及其工作，以每个协议如ARP，PARP，IP，TCP，UDP，RIP，OSPF等等都有详细阐述。
¥13.00定价：¥79.90 (1.63折)
Free As In Freedom：Richard Stallman的自由软件运动(*版)Sam清华大学出版社【现货实 代寻稀缺书老书，有问题可联系在线客服15011482491
¥80.00定价：¥240.00 (3.34折)
需求分析赫尔清华大学出版社9787302063520 正版旧书，保证质量，此书为单本而非一套，电子发票！
本书讲述的是有效的需求分析方式。David C.Hay从商业角度到软件构架提供了目前好的需求分析方法的全面阐述。此外，本书还在定义构架的整个过程中提供指导。 本书可作为软件学院及大学计算机等专业相关课程的课程的教材，也可以作为软件公司各级管理和开发人员参考。
¥27.90定价：¥131.40 (2.13折)
大规模局域网设计:【售后无忧】 线上线下同步销售，请咨询客服查询库存后下单，避免纠纷。
本书是设计企业计算机网络的供应商的重要指南。它阐述了建立稳定的、可靠的和可管理的大规模局域局域网的指导原则。这些原则与你选择什么硬件供应商无关。了解这些原则的网络设计人员能够使用“忧生学”的方法来选择硬件，从而实现优化网络性能和降低成本的目标。它也可以防止在市场上出现有竞争力的产品时企业却受到特定硬件供应商的束缚。 本书为网络设计人员提供了建立可靠的、有效的和合乎逻辑的网络的实用指南。
¥243.00定价：¥496.00 (4.9折)
敏捷软件开发 [美]比窦 著；[美]施瓦伯 清华大学出版社 【速开发票，此书为单本而非一套，支持7天无理由退换】
如果说，本书是关于技术和系统开发工作管理的最重要的著作，也许会有争议；但本书确实描述了如何使用貌似简单、实则精妙无比的Scrum过程快速地构建系统。通过本书，读者将会认识到一种新的系统开发方法，这种方法可以克服系统的复杂性与关于复杂的定义的模糊性，突然冒出的需求以及不稳定的技术，对不断、快速开发高质量的软件所带来的影响。 本书对你有何用处？ ·让你了解如何立即开始进行增量软件开发，而不论你目前采用什么样的软件； ·让你了解如何简化敏捷过程的实现； ·让你了解如何通过Scrum包装简化XP的实现； ·让你了解敏捷过程的工作原理以及如何管理敏捷过程； ·让你理解敏捷过程的理论基础。
¥121.44定价：¥252.88 (4.81折)
分布式系统:原理与范例(英文版)AndrewS.Tanenbaum 著清华大学出版社9787302058274 正版旧书，保证质量，此书为单本而非一套，电子发票！
在结构上本书可分为“原理”和“范例”两大部分。第一章为总论，讨论了分面式系统定义、目标、硬件概、客户-服务器模型等内容。“原理”部分由第二章至第八章共七章组成，主要论述分布式系弘中为重要的一些基本概念和原理，包括通信、进程、命名、同步、一致性和复制、容错、安全性等；“范例”部分则由第九章至第十二章共四章组成，分别介绍了分布式系统中的几个典型范例，由这些范例构成的几个主要系统，这些范例包括基于分布式对象的系统、分布式文件系统、基于分布式文档的系统、基本分布式协调的系统等。
¥38.80定价：¥185.40 (2.1折)
“敏捷开发方法是灵活软件系统未来成功的关键。当经营状况发生变化，需要购买和管理软件开发时，Scrum是开路先锋之一。本书提炼了Scrum方法的理论与实践，是这个变化无常的世界上，应付各种软件问题的开发人员与管理人员之物。”“目前，大多数经理都对他们公司以合理的成本如期交付系统的能力感到不满。然而，即使迫于压力，他们也不愿意承认是他们手下的开发人员无能。如果不是这些工程师们无能，那么是什么原因妨碍了他们不能以合理的成本快速开发系统呢？Scrum可以回答这一问题，并解决这种问题。”
¥123.70定价：¥248.40 (4.98折)
算法竞赛入门经典第2版刘汝佳编著清华大学出版社 正版图书,下单速发,可开发票
¥92.50定价：¥186.00 (4.98折)
通信网基本概念与主体结构 【速开发票，此书为单本而非一套，支持7天无理由退换】
本书内容大致分为三部分。 第一部分由前3章组成，主要介绍通信网络的基础知识、基本概念以及基本的传输要求。其中，第1章是对网络大环境的概述；第2章介绍网络协议的层次结构，并以因特网为例说明协议层次设计的实现；第3章介绍音、像、图、文等不同媒体数字信号的传输特性及其对网络的基本要求，并介绍了基本的检错技术。 第二部分以不同的通信网络为例，介绍不同网络协议层的主要技术及其在各种网络中的应用。这部分由第4章至第9章组成，其中，第4章讨论电话网络及其传输系统物理层的连接、交换与复用；第5章讨论对等层协议，主要几种控制的基本原理和方法；第6章讨论共享介质的访问控制技术，较为详细地介绍了随机访问、预约访问和信道化访问的控制方式，同时以较大篇幅介绍了移动通信网和无线局域网的基本访问方式；第7章介绍广义
¥67.60定价：¥136.20 (4.97折)
面向对象系统分析与设计 书籍非全新 85-99成新，以实拍图为准发货，介意勿拍
¥30.60定价：¥143.82 (2.13折)
敏捷软件开发 [美]比窦 著；[美]施瓦伯 清华大学出版社 【速开发票，此书为单本而非一套，支持7天无理由退换】
如果说，本书是关于技术和系统开发工作管理的最重要的著作，也许会有争议；但本书确实描述了如何使用貌似简单、实则精妙无比的Scrum过程快速地构建系统。通过本书，读者将会认识到一种新的系统开发方法，这种方法可以克服系统的复杂性与关于复杂的定义的模糊性，突然冒出的需求以及不稳定的技术，对不断、快速开发高质量的软件所带来的影响。 本书对你有何用处？ ·让你了解如何立即开始进行增量软件开发，而不论你目前采用什么样的软件； ·让你了解如何简化敏捷过程的实现； ·让你了解如何通过Scrum包装简化XP的实现； ·让你了解敏捷过程的工作原理以及如何管理敏捷过程； ·让你理解敏捷过程的理论基础。
¥73.92定价：¥148.84 (4.97折)
需求分析 赫尔 清华大学出版社 【速开发票，此书为单本而非一套，支持7天无理由退换】
本书讲述的是有效的需求分析方式。David C.Hay从商业角度到软件构架提供了目前最好的需求分析方法的全面阐述。此外，本书还在定义构架的整个过程中提供指导。 本书可作为软件学院及大学计算机等专业相关课程的课程的教材，也可以作为软件公司各级管理和开发人员参考。
¥25.77定价：¥52.54 (4.91折)
数理逻辑 A.G.Hamilton 9787302068105 清华大学出版社 【速开发票，优质售后，支持7天无理由退换】
“数理逻辑”是一门基础性学科，选一本好的“数理逻辑”的教材，对于培养新一代计算机科学家及IT从业人员是非常重要的。经专家推荐，我们选了剑桥大学出版社的，由A.G.Hamilton著“Logic for Mathematicians”一书影印出版，希望本书的影印版能为国内高校“数理逻辑”课程的开设提供支持。本书系统地讲解了数理逻辑的基础部分——命题演算与谓词演算。第一章直观地讲解了命题逻辑基本思想和概念；第二章讲解命题逻辑的形式化系统；第三章直观地讲解了谓词逻辑；第四章讲解谓词逻辑的形式化系统；第五章介绍数学系统；第六章以很不的篇幅完整地介绍了哥德尔不完备定理以有递归函数的初步知识；第七章简要介绍了可计算性与可判定性理论。由于数理逻辑（特别是其基础部分）是一门定形的老学科，其理论体系没有什么变化。本书第一版由剑桥大学出版社于19
¥78.00定价：¥156.00 (5折)
自动机理论与应用 [美]里奇著 清华大学出版社【正版保障,实物如图】 书籍品相80-99成新，实拍图以图片为准发货，介意勿拍
¥232.04定价：¥1090.59 (2.13折)
算法竞赛入门经典第2版刘汝佳编著清华大学出版社 正版图书,下单速发,可开发票
¥87.00定价：¥175.00 (4.98折)
¥129.20定价：¥259.40 (4.99折)
数字信号处理－基于计算机的方法 Sanjit K.Mitra 9787302045465 清华大学出版社 【速开发票，优质售后，支持7天无理由退换】
本书介绍离散信号和离散系统的基本概念及其时域分析、变换域分析、数字滤波器的结构与设计、有限字长分析及随机信号的基本概念等。
¥29.00定价：¥58.00 (5折)
数据库系统基础教程：英文厄尔曼 威多姆 著清华大学出版社9787302028291 正版旧书，保证质量，此书为单本而非一套，电子发票！
¥13.00定价：¥87.30 (1.49折)
802.11无线网络权威指南 Mattbew S.Gast 清华大学出版社 【速开发票，此书为单本而非一套，支持7天无理由退换】
本书讨论了802.11协议的工作原理，分析了各种可用选项的意义，以及排除故障问题，讨论了无线网络的安全问题，介绍了802.1x安全标准，展示了怎样从Linux系统和公开的源代码软件创建无线便携式探测器，还介绍了无线网络的最新发展等。
¥85.55定价：¥172.10 (4.98折)
“敏捷开发方法是灵活软件系统未来成功的关键。当经营状况发生变化，需要购买和管理软件开发时，Scrum是开路先锋之一。本书提炼了Scrum方法的理论与实践，是这个变化无常的世界上，应付各种软件问题的开发人员与管理人员之物。”“目前，大多数经理都对他们公司以合理的成本如期交付系统的能力感到不满。然而，即使迫于压力，他们也不愿意承认是他们手下的开发人员无能。如果不是这些工程师们无能，那么是什么原因妨碍了他们不能以合理的成本快速开发系统呢？Scrum可以回答这一问题，并解决这种问题。”
¥126.20定价：¥253.40 (4.99折)
Matlab之语音处理与合成工具箱影印版 【正版】 【店主推荐，正版书放心购买，可开发票】
本书提供了理论与实践的完美结合，让读者能够充分理解有关语音分析与合成理论的基本概念、各种假设情况以及各种限制条件。本书所介绍的数据分析方法及其理论背景有助于读者理解分析的结果。另外，读者还可以从本书中学习的到语音作为一种信号的特性和属性，而不必拥有一款能够记录并写入语音数据的软件来分析该数据。本书附带的两张光盘中包含了MATLAB单机版本、语音数据和电子记录图形数据。这两张光盘展示了语音模型和语音分析过程的效果，以及合成语音的质量。光盘中所包含的大容量的语音数据库中提供了很多语音文件和其他数据。另外，光盘上还包括了每章中用于展示软件使用的范例。光盘的作用 ·计算线性预测语音模型的参数·考察将一位说话者的语音转换成像另外一位说话者的声音的过程·分析并改变语音信号的临时结构。这将允许自动地
¥22.26定价：¥96.78 (2.31折)
数字信号处理－基于计算机的方法Sanjit K.Mitra清华大学出版社9787302045465 正版旧书，保证质量，此书为单本而非一套，电子发票！
本书介绍离散信号和离散系统的基本概念及其时域分析、变换域分析、数字滤波器的结构与设计、有限字长分析及随机信号的基本概念等。
¥18.60定价：¥92.80 (2.01折)
算法竞赛入门经典第2版刘汝佳编著清华大学出版社 正版图书,极速发货,可开发票
¥91.00定价：¥183.00 (4.98折)
数理逻辑 A.G.Hamilton 清华大学出版社 正版图书,下单速发,可开发票
“数理逻辑”是一门基础性学科，选一本好的“数理逻辑”的教材，对于培养新一代计算机科学家及IT从业人员是非常重要的。经，我们选了大学出版社的，由A.G.Hamilton著“Logic for Mathematicians”一书影印出版，希望本书的能为国内高校“数理逻辑”课程的开设提供支持。本书系统地讲解了数理逻辑的基础部分命题演算与谓词演算。章直观地讲解了命题逻辑基本思想和概念；第二章讲解命题逻辑的形式化系统；第三章直观地讲解了谓词逻辑；第四章讲解谓词逻辑的形式化系统；第五章介绍数学系统；第六章以很不的篇幅完整地介绍了哥德尔不完备定理以有递归函数的初步知识；第七章简要介绍了可计算性与可判定性理论。由于数理逻辑（特别是其基础部分）是一门定形的老学科，其理论体系没有什么变化。本书版由大学出版社于1978年出版，然后，于1988年出了修订版。
¥130.70定价：¥262.40 (4.99折)
算法设计与分析基础乐威汀（Anany Levitin）清华大学出版社9787302067962 正版旧书，保证质量，此书为单本而非一套，电子发票！
《算法设计与分析基础(影印版)》由清华大学出版社出版。
¥13.00定价：¥87.30 (1.49折)
敏捷软件开发 【速开发票，此书为单本而非一套，支持7天无理由退换】
如果说，本书是关于技术和系统开发工作管理的最重要的著作，也许会有争议；但本书确实描述了如何使用貌似简单、实则精妙无比的Scrum过程快速地构建系统。通过本书，读者将会认识到一种新的系统开发方法，这种方法可以克服系统的复杂性与关于复杂的定义的模糊性，突然冒出的需求以及不稳定的技术，对不断、快速开发高质量的软件所带来的影响。 本书对你有何用处？ ·让你了解如何立即开始进行增量软件开发，而不论你目前采用什么样的软件； ·让你了解如何简化敏捷过程的实现； ·让你了解如何通过Scrum包装简化XP的实现； ·让你了解敏捷过程的工作原理以及如何管理敏捷过程； ·让你理解敏捷过程的理论基础。
¥71.50定价：¥144.00 (4.97折)
数理逻辑A.G.Hamilton清华大学出版社9787302068105 正版旧书，保证质量，此书为单本而非一套，电子发票！
“数理逻辑”是一门基础性学科，选一本好的“数理逻辑”的教材，对于培养新一代计算机科学家及IT从业人员是非常重要的。经专家，我们选了剑桥大学出版社的，由A.G.Hamilton著“Logic for Mathematicians”一书影印出版，希望本书的影印版能为国内高校“数理逻辑”课程的开设提供支持。本书系统地讲解了数理逻辑的基础部分——命题演算与谓词演算。第一章直观地讲解了命题逻辑基本思想和概念；第二章讲解命题逻辑的形式化系统；第三章直观地讲解了谓词逻辑；第四章讲解谓词逻辑的形式化系统；第五章介绍数学系统；第六章以很不的篇幅完整地介绍了哥德尔不完备定理以有递归函数的初步知识；第七章简要介绍了可计算性与可判定性理论。由于数理逻辑（特别是其基础部分）是一门定形的老学科，其理论体系没有什么变化。本书第一版由剑桥大学出版社于1978年
¥90.00定价：¥283.00 (3.19折)
数理逻辑 A.G.Hamilton 【速开发票，优质售后，支持7天无理由退换】
“数理逻辑”是一门基础性学科，选一本好的“数理逻辑”的教材，对于培养新一代计算机科学家及IT从业人员是非常重要的。经专家推荐，我们选了剑桥大学出版社的，由A.G.Hamilton著“Logic for Mathematicians”一书影印出版，希望本书的影印版能为国内高校“数理逻辑”课程的开设提供支持。本书系统地讲解了数理逻辑的基础部分——命题演算与谓词演算。第一章直观地讲解了命题逻辑基本思想和概念；第二章讲解命题逻辑的形式化系统；第三章直观地讲解了谓词逻辑；第四章讲解谓词逻辑的形式化系统；第五章介绍数学系统；第六章以很不的篇幅完整地介绍了哥德尔不完备定理以有递归函数的初步知识；第七章简要介绍了可计算性与可判定性理论。由于数理逻辑（特别是其基础部分）是一门定形的老学科，其理论体系没有什么变化。本书第一版由剑桥大学出版社于19
¥79.86定价：¥247.72 (3.23折)
“敏捷开发方法是灵活软件系统未来成功的关键。当经营状况发生变化，需要购买和管理软件开发时，Scrum是开路先锋之一。本书提炼了Scrum方法的理论与实践，是这个变化无常的世界上，应付各种软件问题的开发人员与管理人员之物。”“目前，大多数经理都对他们公司以合理的成本如期交付系统的能力感到不满。然而，即使迫于压力，他们也不愿意承认是他们手下的开发人员无能。如果不是这些工程师们无能，那么是什么原因妨碍了他们不能以合理的成本快速开发系统呢？Scrum可以回答这一问题，并解决这种问题。”
¥124.20定价：¥249.40 (4.98折)
¥136.84定价：¥451.68 (3.03折)
数字信号处理－基于计算机的方法 书籍非全新 85-99成新，以实拍图为准发货，介意勿拍
¥62.24定价：¥68.46 (9.1折)
数据结构C++语言描述.英文:应用标准模板库(STL):第2版Second Edition清华大学出版社97873020 正版旧书，保证质量，此书为单本而非一套，电子发票！
本书使用了STL容器类，对于每一容器类都提供了应用程序界面(API)，可直接用于解决问题，对作为现代数据结构核心的游标类，进行了直观而精细的介绍，并提供了许多有关递归和继承的开发经验。
¥51.30定价：¥212.90 (2.41折)
JAVA2核心编程 (第1卷) 基础篇 (第6版 ) 【正版】 【店主推荐，正版书放心购买，可开发票】
本书为国际最书——完全升级至Ja.4SDK★关于Ja的秀、最全面的参考书本书不是一本指南，也不是堆砌练习和测试的课本，但它绝对是我所见过的关于Ja的最全面的参考书，作者从事Ja教学多年，收集的关于Ja的文章和书籍浩瀚如海，而最终吸引我的还是那些关键性的参考书，本书就是其中之一。我已经将其用作课本，我的学生也一致认为这是一本深入探究Ja核心编程问题的图书。★飞速提升编程技巧本书的示例将对您大有裨益，对示例的解释更为突出，CayS．Horstmann先生为编写本书所做的工作令人叹服。我敢说，对于想熟悉Ja的人来说，本书绝对是之书。
¥13.40定价：¥70.20 (1.91折)
¥59.60定价：¥79.00 (7.55折)
算法竞赛入门经典第2版刘汝佳编著清华大学出版社 正版图书,下单速发,可开发票
¥90.50定价：¥182.00 (4.98折)
数理逻辑A.G.Hamilton清华大学出版社9787302068105 正版旧书，保证质量，此书为单本而非一套，电子发票！
“数理逻辑”是一门基础性学科，选一本好的“数理逻辑”的教材，对于培养新一代计算机科学家及IT从业人员是非常重要的。经专家，我们选了剑桥大学出版社的，由A.G.Hamilton著“Logic for Mathematicians”一书影印出版，希望本书的影印版能为国内高校“数理逻辑”课程的开设提供支持。本书系统地讲解了数理逻辑的基础部分——命题演算与谓词演算。第一章直观地讲解了命题逻辑基本思想和概念；第二章讲解命题逻辑的形式化系统；第三章直观地讲解了谓词逻辑；第四章讲解谓词逻辑的形式化系统；第五章介绍数学系统；第六章以很不的篇幅完整地介绍了哥德尔不完备定理以有递归函数的初步知识；第七章简要介绍了可计算性与可判定性理论。由于数理逻辑（特别是其基础部分）是一门定形的老学科，其理论体系没有什么变化。本书第一版由剑桥大学出版社于1978年
¥90.00定价：¥267.00 (3.38折)
算法设计手册 书籍非全新 85-99成新，以实拍图为准发货，介意勿拍
¥253.23定价：¥1190.18 (2.13折)
自动机理论与应用[美]里奇清华大学出版社【现货实拍 可开发票 下单速发 正版图书】 代寻稀缺书老书，有问题可联系在线客服15011482491
¥150.00定价：¥450.00 (3.34折)
计算机程序设计艺术-排序和查找 [美]Donald E.Knuth 清华大学出版社 【速开发票，此书为单本而非一套，支持7天无理由退换】
这是对第3卷的头一次修订，不仅是对经典计算机排序和查找技术的最全面介绍，而且还对第1卷中的数据结构处理技术作了进一步的扩充，通盘考虑了将大小型数据库和内外存储器。它遴选了一些经过反复检验的计算机方法，并对其效率做了定量分析。第3卷的突出特点是对“最优排序”一节作了修订，对排列论原理与通用散列法作了全新讨论。
¥38.42定价：¥77.84 (4.94折)
通信网基本概念与主体结构 利昂-加西亚（Leon-Garcia,A.）；维德加加（Widjaja） 清华大学出版社 【速开发票，此书为单本而非一套，支持7天无理由退换】
本书内容大致分为三部分。 第一部分由前3章组成，主要介绍通信网络的基础知识、基本概念以及基本的传输要求。其中，第1章是对网络大环境的概述；第2章介绍网络协议的层次结构，并以因特网为例说明协议层次设计的实现；第3章介绍音、像、图、文等不同媒体数字信号的传输特性及其对网络的基本要求，并介绍了基本的检错技术。 第二部分以不同的通信网络为例，介绍不同网络协议层的主要技术及其在各种网络中的应用。这部分由第4章至第9章组成，其中，第4章讨论电话网络及其传输系统物理层的连接、交换与复用；第5章讨论对等层协议，主要几种控制的基本原理和方法；第6章讨论共享介质的访问控制技术，较为详细地介绍了随机访问、预约访问和信道化访问的控制方式，同时以较大篇幅介绍了移动通信网和无线局域网的基本访问方式；第7章介绍广义
¥55.50定价：¥112.00 (4.96折)
通信网基本概念与主体结构（影印版）利昂-加西亚（Leon-Garcia,A.）；维德加加（Widjaja）清华大学出版社 正版旧书，保证质量，此书为单本而非一套，电子发票！
本书内容大致分为三部分。 第一部分由前3章组成，主要介绍通信网络的基础知识、基本概念以及基本的传输要求。其中，第1章是对网络大环境的概述；第2章介绍网络协议的层次结构，并以因特网为例说明协议层次设计的实现；第3章介绍音、像、图、文等不同媒体数字信号的传输特性及其对网络的基本要求，并介绍了基本的检错技术。 第二部分以不同的通信网络为例，介绍不同网络协议层的主要技术及其在各种网络中的应用。这部分由第4章至第9章组成，其中，第4章讨论电话网络及其传输系统物理层的连接、交换与复用；第5章讨论对等层协议，主要几种控制的基本原理和方法；第6章讨论共享介质的访问控制技术，较为详细地介绍了随机访问、预约访问和信道化访问的控制方式，同时以较大篇幅介绍了移动通信网和无线局域网的基本访问方式；第7章介绍广义
¥53.50定价：¥217.70 (2.46折)
算法竞赛入门经典第2版刘汝佳编著清华大学出版社 正版图书,下单速发,可开发票
¥91.00定价：¥183.00 (4.98折)
影印版 Verilog数字系统设计与FPGA应用(第2版)(MOOC版)
¥31.00定价：¥43.00 (7.21折)
敏捷软件开发【正版图书，满额减】 【速开发票，优质售后，支持7天无理由退换】
“敏捷开发方法是灵活软件系统未来成功的关键。当经营状况发生变化，需要购买和管理软件开发时，Scrum是开路先锋之一。本书提炼了Scrum方法的理论与实践，是这个变化无常的世界上，应付各种软件问题的开发人员与管理人员之物。”“目前，大多数经理都对他们公司以合理的成本如期交付系统的能力感到不满。然而，即使迫于压力，他们也不愿意承认是他们手下的开发人员无能。如果不是这些工程师们无能，那么是什么原因妨碍了他们不能以合理的成本快速开发系统呢？Scrum可以回答这一问题，并解决这种问题。”
¥88.88定价：¥322.22 (2.76折)
¥38.20定价：¥45.00 (8.49折)
¥33.10定价：¥42.00 (7.89折)
¥44.30定价：¥59.00 (7.51折)
