This book introduces the mathematics that supports advanced computer programming and the analysis of algorithms. The primary aim of its well-known authors is to provide a solid and relevant base of mathematical skills - the skills needed to solve complex problems, to evaluate horrendous sums, and to discover subtle patterns in data. It is an indispensable text and reference not only for computer scientists - the authors themselves rely heavily on it! - but for serious users of mathematics in virtually every discipline. Concrete Mathematics is a blending of CONtinuous and disCRETE mathematics. "More concretely," the authors explain, "it is the controlled manipulation of mathematical formulas, using a collection of techniques for solving problems." The subject matter is primarily an expansion of the Mathematical Preliminaries section in Knuth's classic Art of Computer Programming, but the style of presentation is more leisurely, and individual topics are covered more deeply. Several new topics have been added, and the most significant ideas have been traced to their historical roots. The book includes more than 500 exercises, divided into six categories.Complete answers are provided for all exercises, except research problems, making the book particularly valuable for self-study. Major topics include: *Sums *Recurrences *Integer functions *Elementary number theory *Binomial coefficients *Generating functions *Discrete probability *Asymptotic methods This second edition includes important new material about mechanical summation. In response to the widespread use of the first edition as a reference book, the bibliography and index have also been expanded, and additional nontrivial improvements can be found on almost every page. Readers will appreciate the informal style of Concrete Mathematics. Particularly enjoyable are the marginal graffiti contributed by students who have taken courses based on this material. The authors want to convey not only the importance of the techniques presented, but some of the fun in learning and using them. 0201558025B04062001

本书是关于ML程序设计的经典教材，详细介绍如何使用 ML语言进行程序设计，并讲解函数式程序设计的基本原理。 　　书中含有大量例子，涵盖了排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析器、一个一演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优生队列等高效的函数式实现，并且有一章专门讨论函数式程序的形式论证。本书的代码均可以从作者网站（http://www.cl.cam.ac.uk/users/lcp/）得到。 　　本书详细讲解如何使用ML语言进行程序设计，并介绍函数式程序设计的基本原理。书中特别讲述了为ML的修订版所设计的新标准库的主要特性，并且给出大量例子，涵盖排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析器、一个l-演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优先队列等高效的函数式实现，并且有一章专门讨论函数式程序的形式论证。 　　本书可作为高等院校计算机专业相关课程的教材，也适合广大程序设计人员参考。

Essential Information about Algorithms and Data Structures A Classic Reference The latest version of Sedgewick,s best-selling series, reflecting an indispensable body of knowledge developed over the past several decades. Broad Coverage Full treatment of data structures and algorithms for sorting, searching, graph processing, and string processing, including fifty algorithms every programmer should know. See

众所周知，Linux操作系统的源代码复杂、文档少，对程序员的要求高，要想看懂这些代码并不是一件容易事。本书结合内核版本2.6.24源代码中最关键的部分，深入讨论Linux内核的概念、结构和实现。具体包括进程管理和调度、虚拟内存、进程间通信、设备驱动程序、虚拟文件系统、网络、时间管理、数据同步等方面的内容。本书引导你阅读内核源代码，熟悉Linux所有的内在工作机理，充分展现Linux系统的魅力。 本书适合Linux的系统编程人员、系统管理者以及Linux爱好者学习使用。

《计算机组成与设计:硬件/软件接口(英文版·第4版·ARM版)》采用了一个MIPS处理器来展示计算机硬件技术、流水线、存储器层次结构以及I／O等基本功能。此外。《计算机组成与设计:硬件/软件接口(英文版·第4版·ARM版)》还包括一些关于x86架构的介绍。 这本最畅销的计算机组成书籍经过全面更新，关注现今发生在计算机体系结构领域的革命性变革：从单处理器发展到多核微处理器。此外，出版这本书的ARM版是为了强调嵌入式系统对于全亚洲计算行业的重要性，并采用ARM处理器来讨论实际计算机的指令集和算术运算。因为ARM是用于嵌入式设备的最流行的指令集架构，而全世界每年约销售40亿个嵌入式设备。与前几版一样。 采用ARMv6（ARM 11系列）为主要架构来展示指令系统和计算机算术运算的基本功能。 覆盖从串行计算到并行计算的革命性变革，新增了关于并行化的一章，并且每章中还有一些强调并行硬件和软件主题的小节。 新增一个由NVIDIA的首席科学家和架构主管撰写的附录，介绍了现代GPU的出现和重要性，首次详细描述了这个针对可视计算进行了优化的高度并行化、多线程、多核的处理器。 描述一种度量多核性能的独特方法——“Roofline model”，自带benchmark测试和分析AMD Opteron X4、Intel Xeo 5000、Sun Ultra SPARC T2和IBM Cell的性能。 涵盖了一些关于闪存和虚拟机的新内容。提供了大量富有启发性的练习题，内容达200多页。 将AMD Opteron X4和Intel Nehalem作为贯穿《计算机组成与设计:硬件/软件接口(英文版·第4版·ARM版)》的实例。 用SPEC CPU2006组件更新了所有处理器性能实例。 海报：

DESCRIPTION Clojure is a new version of Lisp that runs on the Java Virtual Machine. It's a functional language, which means that it's ideal for the growing need for concurrent programming and for specialized tasks like creating domain specific languages. Clojure in Action is a hands-on tutorial for the working programmer who has written code in a language like Java or Ruby, but has no prior experience with Lisp. It teaches Clojure from the basics to advanced topics using practical, real-world application examples. Readers will move quickly through the theory and dive into practical matters like unit-testing, environment set up, and all the way through building a scalable web-application using domain-specific languages, Hadoop, HBase, and RabbitMQ. KEY POINTS * A complete tutorial, from basics to applied techniques * Covers creation of Domain-Specific Languages * Contains numerous practical examples

《数据库系统实现(第2版)》是斯坦福大学计算机科学专业数据库系列课程第二门课的教科书。书中对数据库系统实现原理进行了深入阐述，并具体讨论了数据库管理系统的三个主要成分——存储管理器、查询处理器和事务管理器的实现技术。此外，第2版充分反映了数据管理技术的新进展，对内容进行了扩充，除了在第1版中原有的“信息集成”一章（第10章）中加入了新的内容外，还增加了两个全新的章：“数据挖掘”（第11章）和“数据库系统与互联网”（第12章）。 《数据库系统实现(第2版)》适合作为高等院校计算机专业研究生的教材或本科生的教学参考书，也适合作为从事相关研究或开发工作的专业技术人员的高级参考资料。 海报：

本书提供了有关编程的一种与众不同的理解。其主旨是，实际的编程也应像其他科学和工程领域一样基于坚实的数学基础。本书展示了在实际编程语言(如C++)中实现的算法如何在最一般的数学背景中操作。例如，如何定义快速求幂算法，使之能使用任何可交换运算。使用抽象算法将能得到更高效、可靠、安全和经济的软件。 这不是一本很容易读的书，它也不是能提升你的编程技能的秘诀和技巧汇编。本书的价值是更根本性的，其终极目标是提升你对编程的洞察力。要想从中大获裨益，你需要从头到尾认真学习：阅读代码，证明引理，完成练习。到结束之时，你将看到如何把这里讨论的演绎式方法应用到你的程序中，保证你做出的软件部件能一起工作，并表现出它们所应该表现的行为。 书中给出的算法和需求针对某些被操作的类型。有关这些描述的代码(也可以通过Web得到)采用C++的一个小子集书写，这样做是为了让所有有经验的程序员都能理解。这个小子集可以看做一种特殊语言，是由Sean Parent和Bjarne Stroustrup一起设计的。 无论你是一位软件开发者，还是其他以编程作为一项重要活动的专业人员，或者是一名在校的学生，你都会逐渐理解本书的经验丰富的作者多年来一直在教授和阐释的道理：数学对于编程是绝好的东西，理论对于实际是绝好的东西。

《TCP/IP 详解·卷2:实现(英文版)》是已故网络专家、著名技术作W.RichardStevens的传世之作，内容详尽且具权威性，被誉为TCP/IP领域的不朽名著。《TCP/IP 详解 卷2：实现(英文版)》是《TCP/IP详解》三卷本的第2卷，重点关注TCP/IP协议的实现问题。书中介绍了一个实际的TCP/IP实现，并给出了这一实现的完整源代码，大约有15000行C代码。此外，几乎每章都提供精选的习题，并在附录中提供了部分习题的答案。 这一卷要求读者对TCP/IP协议的工作原理以及操作系统原理有初步的了解。对TCP/IP协议不是很熟悉的读者应先阅读《TCP/IP详解》的第1卷，该书对TCP/IP协议族有比较透彻的描述。 《TCP/IP详解》对于网络应用的开发人员、网络管理员以及任何想了解TCP/IP协议运行原理的人员来说，都是极好的权威参考书。无论是初学者还是功底深厚的网络领域高手，这套书都应是案头必备。

Structure and Interpretation of Computer Programs has had a dramatic impact on computer science curricula over the past decade. This long-awaited revision contains changes throughout the text. There are new implementations of most of the major programming systems in the book, including the interpreters and compilers, and the authors have incorporated many small changes that reflect their experience teaching the course at MIT since the first edition was published. A new theme has been introduced that emphasizes the central role played by different approaches to dealing with time in computational models: objects with state, concurrent programming, functional programming and lazy evaluation, and nondeterministic programming. There are new example sections on higher-order procedures in graphics and on applications of stream processing in numerical programming, and many new exercises. In addition, all the programs have been reworked to run in any Scheme implementation that adheres to the IEEE standard.

本书全部实例代码及相关工具。 基于ARM 9+Linux 206平台，从基础讲起，引导读者快速入门，实例丰富，可直接应用于工程实践。 本书全面介绍了嵌入式Linux系统开发过程中，从底层系统支持到上层GUI应用的方方面面，内容涵盖Linux操作系统的安装及相关工具的使用、配置，嵌入式编程所需要的基础知识（交叉编译工具的选项设置、Makefile语法、ARM汇编指令等），硬件部件的使用及编程（囊括了常见硬件，比如UART、I2C、LCD等），U-Boot、Linux内核的分析、配置和移植，根文件系统的构造（包括移植busybox、glibc、制作映象文件等），内核调试技术（比如添加kgdb补丁、栈回溯等），驱动程序编写及移植（LED、按键、扩展串口、网卡、硬盘、SD卡、LCD和USB等），GUI系统的移植（包含两个GUI系统：基于Qtopia和基于X），应用程序调试技术。 本书从最简单的点亮一个LED开始，由浅入深地讲解，使读者最终可以配置、移植、裁剪内核，编写驱动程序，移植GUI系统，掌握整个嵌入式Linux系统的开发方法。 本书由浅入深，循序渐进，适合刚接触嵌入式Linux的初学者学习，也可作为大、中专院校嵌入式相关专业本科生、研究生的教材。 第1篇　嵌入式Linux开发环境构建篇 第1章　嵌入式Linux开发概述 第2章　嵌入式Linux开发环境构建 第3章　嵌入式编程基础知识 第4章　Windows、Linux环境下相关工具、命令的使用 第2篇　ARM9嵌入式系统基础实例篇 第5章　GPIO接口 第6章　存储器控制 第7章　内存管理单元MMU 第8章　NAND Flash控制器 第9章　中断体系结构 第10章　系统时钟和定时器 第11章　通用异步收发器UART 第12章　I*IC接口 第13章　LCD控制器 第14章　ADC和触摸屏接口 第3篇　嵌入式Linux系统移植篇 第15章　移植U-Boot 第16章　移植Linux内核 第17章　构建Linux根文件系统 第18章　Linux内核调试技术 第4篇　嵌入式Linux设备驱动开发篇 第19章　字符设备驱动程序 第20章　Linux异常处理体系结构 第21章　扩展串口驱动程序移植 第22章　网卡驱动程序移植 第23章　IDE接口和SD卡驱动程序移植 第24章　LCD和USB驱动程序移植 第5篇　嵌入式Linux系统应用开发篇 第25章　嵌入式GUI开发 第26章　基于X的GUI开发 第27章　Linux应用程序调试技术 参考文献

本书是一本优秀的离散数学入门教材，主要内容包括集合、关系、函数、编码理论、图、树、匹配、网络流、计数技术、递推关系与生成函数、组合电路和有限状态机等。 　　本书充分考虑到了初学者的需要，叙述浅显易懂，内容、例题、习题都作了精心的挑选和组织，讲解细致，循序渐进。 　　本书可作为高等院校计算机专业或其他相关专业的离散数学教材或教学参考书，也可作为自学者的参考书。

Appropriate for senior and graduate level courses in Computer Science Theory, Automata, and Theory of Computation. This is the long awaited Second Edition of Lewis and Papadimitriou's best-selling theory of computation text. In this substantially modified edition, the authors have enhanced the clarity of their presentation by making the material more accessible to a broader undergraduate audience with no special mathematical experience.

各位程序员一定希望自己编写的代码是能让老板赞赏、满意的代码；是能让客户乐意掏钱购买的代码；是能让使用者顺利使用的代码；是能让同行欣赏赞誉的代码；是能让自己引以为豪的卓越代码。本书作者为希望能编写出卓越代码的人提供了自己积累的关于卓越编程的真知灼见。它弥补了计算机科学和工程课程中被忽略的一个部分——底层细节，而这正是构建卓越代码的基石。具体内容包括：计算机数据表示法，二进制数学运算与位运算，内存组织与内存访问，数据类型及其表示，布尔逻辑与数字设计，CPU体系结构，CPU指令集的体系结构，内存体系与内存组织，计算机系统如何与外界通信等。...

《计算机视觉——算法与应用》探索了用于分析和解释图像的各种常用技术，描述了具有一定挑战性的视觉应用方面的成功实例，兼顾专业的医学成像和图像编辑与交织之类有趣的大众应用，以便学生能够将其应用于自己的照片和视频，从中获得成就感和乐趣。本书从科学的角度介绍基本的视觉问题，将成像过程的物理模型公式化，然后在此基础上生成对场景的逼真描述。作者还运用统计模型来分析和运用严格的工程方法来解决这些问题。 本书作为本科生和研究生“计算机视觉”课程的理想教材，适合计算机和电子工程专业学生使用，重点介绍现实中行之有效的基本技术，通过大量应用和练习来鼓励学生大胆创新。此外，本书的精心设计和编排，使其可以作为计算机视觉领域中一本独特的基础技术参考和最新研究成果文献。

这本最畅销的计算机组成书籍经过全面更新，关注现今发生在计算机体系结构领域的革命性变革：从单处理器发展到多核微处理器，从串行发展到并行。与前几版一样，本书采用了MIPS处理器来展示计算机硬件技术、汇编语言、计算机算术、流水线、存储器层次结构以及I/O等基本功能。此外，本书还包括一些关于ARM和x86体系结构的介绍。 本书特色：  涵盖从串行计算到并行计算的革命性变革，新增了关于并行化的一章，并且每章中还有一些强调并行硬件和软件主题的小节。  新增一个由NVIDIA的首席科学家和架构主管撰写的附录，介绍了现代GPU的出现和重要性，首次详细描述了这个针对可视计算进行了优化的高度并行化、多线程、多核的处理器。  描述一种度量多核性能的独特方法——Roofline model模型，自带AMD Opteron X4、Intel Xeon 5000、Sun UltraSPARC T2和 IBM Cell的基准测试和分析。  涵盖一些关于闪存和虚拟机的新内容。  提供了大量富有启发性的练习题。  将AMD Opteron X4和Intel Nehalem作为贯穿本书的实例。  用SPEC CPU2006组件更新了所有处理器性能实例。

《专业嵌入式软件开发:全面走向高质高效编程》分为6篇。硬件篇就嵌入式软件开发所需掌握的处理器概念进行了介绍。工具篇对make、gcc编译器、bintuils工具集、ld链接器和gdb调试器进行了讲解，其中对make这一嵌入式开发环境的全能管家进行了精辟的介绍，致力于帮助读者成为Makefile方面的专家。编程语言篇致力于让读者更深入地理解C编程语言。操作系统篇通过循序渐进的方式介绍ClearRTOS的设计与实现，使得读者能透彻地理解操作系统的关键概念和实现原理。设计篇和质量保证篇通过实践的方式逐步展开讲解，以帮助读者获得一些实用的设计原则、最佳实践和一套有效的质量保证方法论。 《专业嵌入式软件开发:全面走向高质高效编程》适合嵌入式软件开发领域的新手和在工作中碰到瓶颈的老手阅读。阅读《专业嵌入式软件开发:全面走向高质高效编程》要求读者已掌握C编程语言和基本的UML知识。

本书多年来一直深受世界各国高校师生的欢迎，是美国哈佛大学、麻省理工学院、普林斯顿大学、加州大学伯克利分校等许多著名大学的首选教材，对我国的高校教学也产生了广泛影响。 本 书以历史眼光，从发展的角度、当前的水平以及现阶段的研究方向等几个方面，全景式描绘了计算机科学各个子学科的主要领域。在内容编排上，本书很好地兼顾了 学科广度和主题深度，把握了最新的技术趋势。本书用算法、数据抽象等核心思想贯穿各个主题，并且充分展现了历史背景、发展历程和新的技术趋势，培养读者的 大局观，为其今后深入学习其他计算机专业课程打下坚实的基础。 本书深入浅出、图文并茂，内容引人入胜，极易引发读者的兴趣，绝无一般教材的枯燥和晦涩。此外，本书的教学手段多样、习题丰富，并且每章后都附有与本章内容相关的社会现实问题供读者思考和讨论，这些都很好地体现了作者强调培养学生分析问题能力的教学理念。 第11版新增了手持移动设备，特别是智能手机的相关内容，主要涉及第3章（操作系统）、第4章（组网）、第6章（编程语言）和第7章（软件工程）中。此外，书中还对软件所有权和责任、训练人工神经网络等许多相关内容做了更新，以反映最新技术面貌。

《计算机网络：自顶向下方法(原书第6版)》第1版于12年前出版，首创采用自顶向下的方法讲解计算机网络的原理和协议，出版以来已被几百所大学和学院选用，是业界最经典的计算机网络教材之一。 《计算机网络：自顶向下方法(原书第6版)》第6版继续保持了以前版本的特色，为计算机网络教学提供了一种新颖和与时俱进的方法，同时也进行了相当多的修订和更新：第1章更多地关注时下，更新了接入网的论述；第2章用python替代了java来介绍套接字编程；第3章补充了用于优化云服务性能的tcp分岔知识；第4章有关路由器体系结构的内容做了大量更新；第5章重新组织并新增了数据中心网络的内容；第6章更新了无线网络的内容以反映其最新进展；第7章进行了较大修订，深入讨论了流式视频，包括了适应性流和cdn的讨论；第8章进一步讨论了端点鉴别；等等。另外，书后习题也做了大量更新。 《计算机网络：自顶向下方法(原书第6版)》适合作为本科生或研究生“计算机网络”课程的教材，同时也适合网络技术人员、专业研究人员阅读。