Architects look at thousands of buildings during their training, and study critiques of those buildings written by masters. In contrast, most software developers only ever get to know a handful of large programs well—usually programs they wrote themselves—and never study the great programs of history. As a result, they repeat one another's mistakes rather than building on one another's successes. This book's goal is to change that. In it, the authors of twenty-five open source applications explain how their software is structured, and why. What are each program's major components? How do they interact? And what did their builders learn during their development? In answering these questions, the contributors to this book provide unique insights into how they think. If you are a junior developer, and want to learn how your more experienced colleagues think, this book is the place to start. If you are an intermediate or senior developer, and want to see how your peers have solved hard design problems, this book can help you too.

本书介绍了用计算机模拟自然系统涉及的编程策略与技术，涵盖了基本的数学和物理概念，以及可视化地展示模拟结果所需的高级算法。读者将从构建基本的物理引擎开始，一步一步地学习如何创建智能移动的物体和复杂的系统，为进一步探索生成设计奠定基础。相关的知识点包括力、三角、分形、细胞自动机、自组织和遗传算法。本书的示例使用基于Java的开源语言及开发环境Processing编写。本书网站http://www.natureofcode.com）上的示例是在浏览器中通过Processing的JavaScript模式运行的。 作为纽约大学Tisch艺术学院Nature of Code课程主讲老师，Daniel集合了多年开发和教学经验，希望借由此书让大家真正了解如何用代码模拟自然现象。

内容简介： 从计算机发展史早期的Cobol、Fortran到后来的C、Java，编程语言的家族不断壮大。除了这些广为人知的语言外，还涌现了Erlang、Ruby等后起之秀，它们虽被喻为小众语言，但因其独特性也吸引了为数不少的追随者。 Bruce A. Tate是软件行业的一名老兵，他有一个宏伟目标：用一本书的篇幅切中要害地探索七种不同的语言。本书就是他的成果。书中介绍了Ruby、Io、Prolog、Scala、Erlang、Clojure和Haskell这七种语言，关注每一门语言的精髓和特性，重点解决如下问题：这门语言的类型模型是什么，编程范式是什么，如何与其交互，有哪些决策构造和核心数据结构，有哪些独特的核心特性。 在这个飞速发展的信息时代，程序员仅仅掌握甚至精通一门语言是远远不够的。了解多门语言蕴涵的思维方式，在编码中互相借鉴，再挑出一两门对自己口味的语言深入学习，这些已经成为在软件行业中安身立命之本。从这个意义上说，每个程序员都应该看看这本《七周七语言》。

操作系统是计算机系统的核心系统软件，负责控制和管理整个系统，使之协调工作。本书对操作系统的核心内容进行了全面分析，包括操作系统的发展历史和基本概念、进程与线程、内存管理、文件系统、输入与输出、多核环境下的进程调度和操作系统设计。本书用大量生活实例，生动地解释了操作系统中的主要难点和模糊点：锁的实现、同步机制的发展轴线、纯粹分段到段页式的演变、多核环境下的进程同步与调度和操作系统设计等内容。本书重点突出、逻辑清晰、内容连贯，便于学生顺利掌握操作系统的核心内容。 本书层次丰富、涵盖操作系统的所有核心内容，适合作为国内高校计算机及相关专业本科生操作系统课程的教材，也是了解计算机操作系统原理不可多得的参考书。

Published in 1996, Richard Jones's Garbage Collection was a milestone in the area of automatic memory management. The field has grown considerably since then, sparking a need for an updated look at the latest state-of-the-art developments. The Garbage Collection Handbook: The Art of Automatic Memory Management brings together a wealth of knowledge gathered by automatic memory management researchers and developers over the past fifty years. The authors compare the most important approaches and state-of-the-art techniques in a single, accessible framework. The book addresses new challenges to garbage collection made by recent advances in hardware and software. It explores the consequences of these changes for designers and implementers of high performance garbage collectors. Along with simple and traditional algorithms, the book covers parallel, incremental, concurrent, and real-time garbage collection. Algorithms and concepts are often described with pseudocode and illustrations. The nearly universal adoption of garbage collection by modern programming languages makes a thorough understanding of this topic essential for any programmer. This authoritative handbook gives expert insight on how different collectors work as well as the various issues currently facing garbage collectors. Armed with this knowledge, programmers can confidently select and configure the many choices of garbage collectors. Web Resource The book's online bibliographic database at www.gchandbook.org includes over 2,500 garbage collection-related publications. Continually updated, it contains abstracts for some entries and URLs or DOIs for most of the electronically available ones. The database can be searched online or downloaded as BibTeX, PostScript, or PDF.

内容简介 本书全面介绍了统计自然语言处理的基本概念、理论方法和最新研究进展，内容包括形式语言与自动机及其在自然语言处理中的应用、语言模型、隐马尔可夫模型、语料库技术、汉语自动分词与词性标注、句法分析、词义消歧、统计机器翻译、语音翻译、文本分类、信息检索与问答系统、自动文摘和信息抽取、口语信息处理与人机对话系统等，既有对基础知识和理论模型的介绍，也有对相关问题的研究背景、实现方法和技术现状的详细阐述。 本书可作为高等院校计算机、信息技术等相关专业的高年级本科生或研究生的教材或参考书，也可供从事自然语言处理、数据挖掘和人工智能等研究的相关人员参考。 ------- 目录 第1章 绪论 1.1 基本概念 1.1.1 语言学与语音学 1.1.2 自然语言处理 1.1.3 关于“理解”的标准 1.2 自然语言处理研究的内容和面临的困难 1.2.1 自然语言处理研究的内容 1.2.2 自然语言处理涉及的几个层次 1.2.3 自然语言处理面临的困难 1.3 自然语言处理的基本方法及其发展 1.3.1 自然语言处理的基本方法 1.3.2 自然语言处理的发展 1.4 自然语言处理的研究现状 第2章 预备知识 2.1 概率论基本概念 2.1.1 概率 2.1.2 最大似然估计 2.1.3 条件概率 2.1.4 贝叶斯法则 2.1.5 随机变量 2.1.6 二项式分布 2.1.7 联合概率分布和条件概率分布 2.1.8 贝叶斯决策理论 2.1.9 期望和方差 2.2 信息论基本概念 2.2.1 熵 2.2.2 联合熵和条件熵192.2.3 互信息 2.2.4 相对熵 2.2.5 交叉熵 2.2.6 困惑度 2.2.7 噪声信道模型 2.3 支持向量机 2.3.1 线性分类 2.3.2 线性不可分 2.3.3 构造核函数 第3章 形式语言与自动机 第4章 语料库与词汇知识库 第5章 语言模型 第6章 隐马尔可夫模型 第7章 汉语自动分词与词性标注 第8章 句法分析 第9章 语义消歧 第10章 统计机器翻译 第11章 语音翻译 第12章 文本分类 第13章 信息检索与问答系统 第14章 自动文摘与信息抽取 第15章 口语信息处理与人机对话系统 附录 项目作业 名词术语索引 参考文献

本书分为4篇17章，系统全面地介绍了Windows平台缓冲区溢出漏洞的分析、检测与防护。第一篇为常用工具和基础知识的介绍；第二篇从攻击者的视角出发，揭秘了攻击者利用漏洞的常用伎俩，了解这些知识对进行计算机应急响应和提高软件产品安全性至关重要；第三篇在第二篇的基础上，从安全专家的角度介绍了漏洞分析和计算机应急响应方面的知识；第四篇则站在软件工程师的角度讲述如何在开发、测试等软件生命周期的各个环节中加入安全因素，以增强软件产品的安全性。

《经典密码学与现代密码学》主要从三个方面来介绍密码学的知识：第一部分介绍了经典密码学的经典问题，包括单码加密法、仿射加密法、多码加密法、多图加密法和换位加密法；第二部分介绍了现代密码学，包括流加密法、块加密法和公钥加密法；第三部分介绍了密码学的未来，并对量子加密法进行了简单介绍。《经典密码学与现代密码学》—个突出的特点足，对密码破解进行了详细描述，使读者既掌握加密的内部算法，又能了解各种加密法的弱点。与《经典密码学与现代密码学》配套的CAP软件实现了各种加密法，读者可以利用该软件进行加密和解密，从而增强了《经典密码学与现代密码学》的科学性和适用性。每章末尾还给出了一些复习题，给读者以很大的启发和想象力。 《经典密码学与现代密码学》不仅是一本很好的密码学教材，对密码学研究人员和广大密码学爱好者也都是一本不可多得的参考用书。

《死亡之旅（原书第2版）》对各种“死亡之旅”项目进行了全面而系统的剖析，涵盖整个项目的生命周期，深刻分析了这种现象的本质，并讨论项目参与者所面临的所有关键问题：政治、谈判、人员、过程、项目管理，以及工具，提供了行之有效的解决方法和行动指南。本书不但有助于快速识别死亡之旅项目，而且能够大大提高从死亡之旅中生还的概率。 无论是软件开发人员、管理人员，乃至各行各业的项目经理、cxo，都能从本书受到启发，并找到现实而适用的解决方案。

在本书中，作者回归技术层面。从Apache web server、BSD版本的Unix system、ArgoUMl、ACE网络编程库等著名开源软件中选取了大量真实C、C++和java语言源代码，直观而深刻的阐述了代码中可能存在的各种质量问题，涉及可靠性、安全性、时间性和空间性、可移植性、可维护性以及浮点运算等方面，很多内容都市独辟蹊径，发前人所未发。正因如此，本书继作者的《代码阅读》之后在获JoIt生产效率大奖

信息技术、生物工程、纳米材料是当代科技三大前沿。到21世纪，这三大技术将合力打造出新的智能机器，将重塑人类的大脑和躯体。作者大胆预测：21世纪，人类和机器将难分彼此，人类将不再是万物之灵。电脑将比人脑有高一万倍的智能。机器不仅具有智能，而且具有灵魂，将具有人类的意识、情绪和欲望，而人类身体中植入了用生物工程和纳米材料制成的电脑芯片、人造器官，将比现代人类更长寿，有更强的学习能力，更灵敏的视觉和听觉，而虚拟现实有可能使人机发生“恋爱”……这不是科幻小说，更不是天方夜谭，这是库兹韦尔为我们描述的“灵魂机器的时代”。 本书最末的大事年表中展示了宇宙演化、生命进化和科技发展的历程，使读者对世界科技的发展过程和走向一目了然。

《计算机科学与技术方法论》是作者多年来对计算学科方法论研究成果的总结。作者根据《计算作为一门学科》报告对整个计算学科综述性导引课程的严密性和挑战性的要求，借鉴了数学的公理化思想，对计算学科的主要内容进行了系统化、逻辑化的概括，并通过大量实例，深入浅出地阐明了计算学科中各主领域发展的基本规律，揭示了各主领域之间的内在联系，有助于人们对计算学科的深入了解。 《计算机科学与技术方法论》的主要内容包括：计算机科学与技术方法论的构建，计算学科的历史、定义、根本问题，计算学科各主领域的基本问题，计算学科中的抽象、理论和设计3个学科形态，计算学科中的核心概念、数学方法、系统科学方法、形式化技术、社会和职业的问题等。为了使读者能更好地理解和掌握书中的内容，在各章末还附有一定数量的思考题。 《计算机科学与技术方法论》是计算学科认知领域的一本学术专著，也可作为高等院校计算学科方法论、计算机导论等课程的教材或参考书，还可供相关专业的学生、教师和科技人员参考。

哲人石丛书·当代科普名著系列。 一场革命——在未来甚至可能将强大的微软公司拖下王位的革命——正在横扫软件领域。比尔·盖茨通过Windows系统对软件产业的统治，正面临有史以来最强有力的挑战。一个无法用任何传统的公司霸权模式收买、控制或打击的全新的竞争对手已横空出世。它的名字就叫：Linux。 本书讲述的是一群来自世界各地，具有奉献精神的软件高手们，利用业余时间，开发一套堪与微软的Windows系统相媲美的“开放”操作系统的故事。作者通过妙趣横生的讲解，向读者介绍了这样一套任何人都可以免费下载使用的操作系统，是如何在程序员中间激起一场平民运动，并在软件产业界引发一场革命的。 本书走进幕后，向我们展示了这场革命众多领袖人物的风采，其中包括自由软件基金会的创始人理查德·斯托尔曼和Linux的缔造者利努斯·托瓦尔兹。你可以从中了解到他们如何以及为何要免费发布自己编写的代码，从而威胁到大公司的霸权，并催生出一个从事Linux产品开发的全新产业。 Linux的故事刚刚开始。这里拉开的就是这部传奇故事的第一幕。

When it was first published in 1972, Hubert Dreyfus's manifesto on the inherent inability of disembodied machines to mimic higher mental functions caused an uproar in the artificial intelligence community. The world has changed since then. Today it is clear that "good old-fashioned AI," based on the idea of using symbolic representations to produce general intelligence, is in decline (although several believers still pursue its pot of gold), and the focus of the Al community has shifted to more complex models of the mind. It has also become more common for AI researchers to seek out and study philosophy. For this edition of his now classic book, Dreyfus has added a lengthy new introduction outlining these changes and assessing the paradigms of connectionism and neural networks that have transformed the field.At a time when researchers were proposing grand plans for general problem solvers and automatic translation machines, Dreyfus predicted that they would fail because their conception of mental functioning was naive, and he suggested that they would do well to acquaint themselves with modern philosophical approaches to human beings. What Computers Can't Do was widely attacked but quietly studied. Dreyfus's arguments are still provocative and focus our attention once again on what it is that makes human beings unique.Hubert L. Dreyfus, who is Professor of Philosophy at the University of California, Berkeley, is also the author of Being-in-the-World. A Commentary on Heidegger's Being and Time, Division I.

陕西科技出版社最新引进美国图书《人工智能的未来》（On Intelligence）一书，是由杰夫•霍金斯，一位在硅谷极其成功、受人尊敬的计算机工程师、企业家与桑德拉•布拉克斯莉，《纽约日报》的栏目作家共同撰写。本书对人类大脑皮层所具有的知觉、认识、行为和智能功能新理论提出了新的理论构想。这一理论的独到之处在于对大脑皮层的现行认识提出了新的观点，对大脑的工作原理，即霍金斯称之为“真正智能”而非计算机式的人工智能立论扎实，观点独特、新颖，阐述精密。对大脑及其工作原理感兴趣的朋友不妨读读，必有收获。 本书共八章，人工智能、神经网络、人脑、记忆、智能理论新架构、大脑皮层工作原理、意识和创造力、智能之未来。

本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强；组织结构更灵活，授课教师可根据教学需要节选本书的内容；反映了近几年来理论计算机科学对逻辑学产生的影响；包含较多的示例和说明。本书适合作为计算机及相关专业本科生和研究生数理逻辑课程的教材。. 本书是数理逻辑方面的经典教材，以可读性强而著称，在美国大学中采用率极高，麻省理工学院、加州大学伯克利分校、哥伦比亚大学、康奈尔大学等众多名校均用它作为教材。本版章节组织更加灵活，增加了与计算机科学相关的主题(比如有限模型)，还增加了一些示例和阐释文字，更适合本科生和研究生数理逻辑课程使用。.

信息技术、生物工程、纳米材料是当代科技三大前沿，到21世纪，这三大技术将合力打造出的新的智能机器，将重塑人类的大脑和躯体。作者大胆预测：到21世纪，人类和机器将难分彼此，人类将不再是万物之灵。电脑将比人脑有高一万倍的智能。机器不仅具有智能，而且具有灵魂，将具有人类的意识、情绪和欲望；而人类身体中植入了用生物工程和纳米材料制成的电脑芯片、人造器官，将比现代人类更长寿，有更强的学习能力，更灵敏的视觉和听觉，而虚拟现实有可能使人机发生“恋爱”……这不是科幻小说，更不是天方夜谭，这是库兹韦尔为我们描述的“灵魂机器的时代”。 库兹韦尔在书后的大事年表中展示了宇宙演化、生命进化和科技发展的历程，使读者对世界科技的发展过程和未来走向一目了然。 感谢余秋雨先生为本书中文版写的精彩序文，它为我们如何阅读这本万花筒般的书指明了路径。

在《剑桥五重奏》一书中，卡斯蒂并没有简单地罗列和堆积半个世纪以来有关思维机器(thinking machine)实验的事实与结果，而是以一个数学家的丰富想象力虚构了一次特别的晚宴。晚宴发生在1949年的春夏之交，地点是剑桥大学基督学院的一间房子——也就是本书主人公之一、晚宴的主人、小说家兼物理学家C.P.斯诺以前在剑桥大学基督学院担任教师时的住所。应邀出席晚宴的有最早提出计算机可以复制人类思维过程的著名数学家阿兰·图灵、语言哲学家路德维格·维特根斯坦和量子物理学家欧文·薛定谔以及遗传学家J.B.S.霍尔丹。即便是以今天的科学与文化眼光来看，这五位仍是世界级的科学和文化名人，甚至是巨人。品尝着美味佳肴，五位思想家围绕着“机器能思考吗”这一论题展开了广泛深入的探讨，洋洋洒洒，畅所欲言，从机器和人脑的结构关系到机器对人类思维的模拟，从机器能否理解其自身的操作语义到为了模拟人类思维机器是否应该具备人类语言，以及机器如何学习语言，还有思维机器的社会性问题，如个性、认同性以及与思维机器相关的文化形态和社会规范等等。言之所及无不令人耳目一新。

In the readition of the bestselling Chaos and A Brief History of Time, here is a science book with mainstream appeal. Proponents of artificial intelligence maintain that eventually a computer will be able to do everything a human mind can do, but Oxford University Professor of Mathematics Roger Penrose explains his view that there are facets of human thinking that can never be emulated by a machine. Drawings throughout. Some love it, some hate it, but The Emperor's New Mind, physicist Roger Penrose's 1989 treatise attacking the foundations of strong artificial intelligence, is crucial for anyone interested in the history of thinking about AI and consciousness. Part survey of modern physics, part exploration of the philosophy of mind, the book is not for casual readers--though it's not overly technical, it rarely pauses to let the reader catch a breath. The overview of relativity and quantum theory, written by a master, is priceless and uncontroversial. The exploration of consciousness and AI, though, is generally considered as resting on shakier ground. Penrose claims that there is an intimate, perhaps unknowable relation between quantum effects and our thinking, and ultimately derives his anti-AI stance from his proposition that some, if not all, of our thinking is non-algorithmic. Of course, these days we believe that there are other avenues to AI than traditional algorithmic programming; while he has been accused of setting up straw robots to knock down, this accusation is unfair. Little was then known about the power of neural networks and behavior-based robotics to simulate (and, some would say, produce) intelligent problem-solving behavior. Whether these tools will lead to strong AI is ultimately a question of belief, not proof, and The Emperor's New Mind offers powerful arguments useful to believer and nonbeliever alike. --Rob Lightner

序言 摘要 Abstract 第一章 导论 一、人工生命研究的兴起和基本思想 二、人工生命提出的生命观和哲学问题 三、人工生命的生命观和哲学研究的价值 四、人工生命的生命观研究的现状及问题 第二章 生命的逻辑与人工生命的思想基础 一、机械过程的本质 二、自我繁殖的逻辑 三、生命游戏与“生命”计算机 四、信息动力学与混沌边缘的生命 第三章 构造人工生命的方法 一、综合的方法 二、从局部到整体 三、遗传算法 四、计算机仿真实验：人工生命和复杂性科学的方法论革命 五、生成和突现 六、一种崭新的思维方式：基于个体的思维 第四章 虚拟人工生命：从磁芯大战到“阿米巴世界” 一、磁芯大战 二、计算机病毒和蠕虫 三、Tierra：人扮演“上帝” 四、“阿米巴世界” 第五章 现实人工生命：从自主Agent到进化机器人 一、经典人工智能研究及其遇到的问题 二、基于行为的自主机器人研究 三、基于神经网络的联结主义研究 四、进化机器人：虚拟和现实的结合 第六章 生命的定义与强人工生命的可能性 一、定义生命的困难 二、“如吾所识的生命” 三、定义生命的两种方法 四、四种“根本性质”定义 五、强人工生命的可能性 第七章 强人工生命的本体论地位 一、虚拟的真实性 二、人工生命实在性的理论论证 三、哥德尔定理与强人工生命 第八章 走向计算主义 一、信息、算法和计算：理解生命本质的重要概念 二、计算的本质 三、认知与计算 四、生命与计算 五、宇宙与计算 六、对一些反对意见的反驳 七、结语 参考文献 中英文人名译名对照表 致谢