人脑是我们已知世界中最为复杂的一个物体。尽管我们对于脑的认识还远远不够，但是研究组成神经系统的神经元和胶质细胞产生感觉、行为和高级精神活动的方式已经成为科学研究中成果最丰硕的领域。脑的构成是一系列发育阶段的整合体，由最初少量胚胎细胞成为神经前体细胞开始，到接近行为出现为止，这就是本书所涵盖的内容。本书内容广泛，以一些著名的实验和观察为例，全面介绍了神经系统发育的基本原理。书中内容是按照个体发生的顺序排列的，从神经原基的诱导发生，一直到行为的产生。作为大学教材，本书涵盖了所有主要的内容，包括神经系统的生长模式、神经元决定、轴突导向及对象、神经元凋亡、突触形成及可塑性等内容。第二版新增的内容介绍了该领域的最新进展，比如模式生物的研究、分子及遗传技术的应用，以及新的成像技术的引入等等。本书的目的就是为高年级学生和有一些生物学背景的研究者提供一个关于神经发育过程的纲要，这与广泛的文献综述在目的上是完全不同的。本书插图丰富，文字简洁，非常适合第一次接触该领域的学生参考。本书还配有光盘，内容为全书精美彩图。

Burgeoning advancements in brain science are opening up new perspectives on how we acquire knowledge. Indeed, it is now possible to explore consciousness—the very center of human concern—by scientific means. In this illuminating book, Dr. Gerald M. Edelman offers a new theory of knowledge based on striking scientific findings about how the brain works. And he addresses the related compelling question: Does the latest research imply that all knowledge can be reduced to scientific description?
Edelman’s brain-based approach to knowledge has rich implications for our understanding of creativity, of the normal and abnormal functioning of the brain, and of the connections among the different ways we have of knowing. While the gulf between science and the humanities and their respective views of the world has seemed enormous in the past, the author shows that their differences can be dissolved by considering their origins in brain functions. He foresees a day when brain-based devices will be conscious, and he reflects on this and other fascinating ideas about how we come to know the world and ourselves.

神经元（神经细胞）是构成神经系统的基石，对神经元各个方面的深入、彻底的理解对于我们从各个层次对神经系统进行分析都是十分必要的。本书论述神经细胞的形态学、生物化学、生物物理学基础知识，这些知识正迎合了相关专业的大学生、研究生、科研人员的需要。
2000年诺贝尔生理医学奖获得者Eric R.Kandel盛赞此书：“凭着对神经生理学的独到的、富有创见的阐述，这本书填补了一个亟需填补的空白。
行文清晰，尤其是插图经过了精心设计，图示精美。
每一章的编写才均为该令域的权威和学科带头人。
被专家誉为“神经科学家书架上的必备书”。

概率图模型将概率论与图论相结合，是当前非常热门的一个机器学习研究方向。本书详细论述了有向图模型（又称贝叶斯网）和无向图模型（又称马尔可夫网）的表示、推理和学习问题，全面总结了人工智能这一前沿研究领域的最新进展。为了便于读者理解，书中包含了大量的定义、定理、证明、算法及其伪代码，穿插了大量的辅助材料，如示例（examples）、技巧专栏（skill boxes）、实例专栏（case study boxes）、概念专栏（concept boxes）等。另外，在第 2章介绍了概率论和图论的核心知识，在附录中介绍了信息论、算法复杂性、组合优化等补充材料，为学习和运用概率图模型提供了完备的基础。
本书可作为高等学校和科研单位从事人工智能、机器学习、模式识别、信号处理等方向的学生、教师和研究人员的教材和参考书。
== 序 言 ==
很高兴能够看到我们所著的《概率图模型》一书被翻译为中文出版。我们了解到这本书涵盖的课题已在中国引起了巨大的兴趣。已有众多中国读者写信向我们解释这本书对于他们的学习的重要性，并希望获得更易理解的版本。随着众多来自中国研究机构或国外研究机构的中国学者署名或共同署名的文章的发表，中国研究者已在概率图领域中扮演了非常重要的角色。这些文章对于概率图模型领域的发展起到了非常重要的作用。我们相信《概率图模型》中文版的出版将帮助许多中国读者学习并掌握这一重要课题的基础。同时，这也将进一步提高中国学者应用概率图模型思想的能力，并为这一领域的发展做出贡献。
本书的翻译工作由王飞跃研究员主导，并得到了王珏研究员及其众多助手和合作者的支持。这是一份历时 5年、具有里程碑意义的努力，我深深地感谢该团队所有为本书翻译做出贡献的人员。我尤其希望借此机会感谢王珏研究员——一位中国机器学习领域的开拓者。王珏研究员是此项翻译工作的十分重要的推动者。没有他的支持，没有他的众多杰出的机器学习领域的学生的帮助，可能这项工作到现在还没有结果。很遗憾王珏研究员于 2014年 12月死于癌症，终年 66岁，已不能看到他努力的结果。然而，他的思想活在他的学生们的工作中，与本书的出版同在。
Daphne Koller
（复杂系统管理与控制国家重点实验室王晓翻译）

《计算机视觉:一种现代方法(第2版)(英文版)》内容简介：计算机视觉是研究如何使人工系统从图像或多维数据中"感知"的科学。《计算机视觉:一种现代方法(第2版)(英文版)》是计算机视觉领域的经典教材，内容涉及几何摄像模型、光照和着色、色彩、线性滤波、局部图像特征、纹理、立体相对、运动结构、聚类分割、组合与模型拟合、追踪、配准、平滑表面与骨架、距离数据、图像分类、对象检测与识别、基于图像的建模与渲染、人形研究、图像搜索与检索、优化技术等内容。与前一版相比，《计算机视觉:一种现代方法(第2版)(英文版)》简化了部分主题，增加了应用示例，重写了关于现代特性的内容，详述了现代图像编辑技术与对象识别技术。

本书是国际算法大师乌迪·曼博（Udi Manber）博士撰写的一本享有盛誉的著作。全书共分12章：第1章到第4章为介绍性内容，涉及数学归纳法、算法分析、数据结构等内容；第5章提出了与归纳证明进行类比的算法设计思想；第6章到第9章分别给出了4个领域的算法，如序列和集合的算法、图算法、几何算法、代数和数值算法；第10章涉及归约，也是第11章的序幕，而后者涉及NP完全问题；第12章则介绍了并行算法；最后是部分习题的答案及参考文献。本书的特色有二，旨在提高读者的问题求解能力，使读者能够理解算法设计的过程和思想：一是强调算法设计的创造性过程，注重算法设计背后的创造性思想，而不拘泥于某个具体算法的详细讨论；二是将算法设计类比于定理归纳证明，揭示了算法设计的基本思想和本质。
本书的组织结构清晰且易于理解，强调了创造性，具有浓郁特色，时至今日仍有其巨大的价值，并且适合作为计算机及相关专业算法和高级算法课程的教材。

本书是关于操作系统的权威教材。大多数关于操作系统的图书均重理论而轻实践，而本书则在这两者之间进行了较好的折中。本册详细探讨了操作系统的基本原理，包括进程、进程间通信、信号量、管程、消息传递、调度算法、输入、输出、死锁、设备驱动程序、存储管理、调页算法、文件系统设计、安全和保护机制等；此外，还详细讨论了一个特殊的操作系统MINIX 3（一个与UNIX兼容的操作系统），并提供了该系统的源代码（见本书下册），以便于读者仔细研究。这种安排不仅可让读者了解操作系统的基本原理，而且可让读者了解到这些基本原理是如何应用到真实的操作系统中去的。
本书适用于高校计算机专业的学生，也可供程序设计人员、工程技术人员、系统架构师等相关人员参考。

《深入理解计算机系统》(英文版)主要介绍了计算机系统的基本概念，包括最底层的内存中的数据表示、流水线指令的构成、虚拟存储器、编译系统、动态加载库，以及用户应用等。书中提供了大量实际操作，可以帮助读者更好地理解程序执行的方式，改进程序的执行效率。此书以程序员的视角全面讲解了计算机系统，深入浅出地介绍了处理器、编译器、操作系统和网络环境，是这一领域的权威之作。

本书从跨学科的视角探索了知识可视化的历史进程及其最新进展。从无形学院和库恩竞争范式，到运用可视化技术绘制知识结构图谱，再到科学发展进程中的各种兴盛与衰落。通过大量色彩丰富的图片，深入浅出地将绘制科学知识图谱的原理、方法及技术娓娓道来。
本书既涉及到简单易学的可视化步骤和模型，也有应用于实际的具体案例分析，是一本对于研究者和实践者都很有价值的参考书，可供科学政策分析机构、投资机构、咨询公司管理人员、技术人员和高校相关专业师生阅读参考。

The focus of this book is the P versus NP Question and the theory of NP-completeness. It also provides adequate preliminaries regarding computational problems and computational models. The P versus NP Question asks whether or not finding solutions is harder than checking the correctness of solutions. An alternative formulation asks whether or not discovering proofs is harder than verifying their correctness. It is widely believed that the answer to these equivalent formulations is positive, and this is captured by saying that P is different from NP. Although the P versus NP Question remains unresolved, the theory of NP-completeness offers evidence for the intractability of specific problems in NP by showing that they are universal for the entire class. Amazingly enough, NP-complete problems exist, and furthermore hundreds of natural computational problems arising in many different areas of mathematics and science are NP-complete.

本书以探索之旅的形式，从在浏览器中输入网址开始，一路追踪了到显示出网页内容为止的整个过程，以图配文，讲解了网络的全貌，并重点介绍了实际的网络设备和软件是如何工作的。目的是帮助读者理解网络的本质意义，理解实际的设备和软件，进而熟练运用网络技术。同时，专设了“网络术语其实很简单”专栏，以对话的形式介绍了一些网络术语的词源，颇为生动有趣。
本书图文并茂，通俗易懂，非常适合计算机、网络爱好者及相关从业人员阅读。

Programming Language Pragmatics is the most comprehensive programming language textbook available today. Taking the perspective that language design and language implementation are tightly interconnected, and that neither can be fully understood in isolation, this critically acclaimed and bestselling book has been thoroughly updated to cover the most recent developments in programming language design. With a new chapter on run-time program management and expanded coverage of concurrency, this new edition provides both students and professionals alike with a solid understanding of the most important issues driving software development today.

Classic programming foundations text now updated to familiarize students with the languages they are most likely to encounter in the workforce, including including Java 7, C++, C# 3.0, F#, Fortran 2008, Ada 2005, Scheme R6RS, and Perl 6.
New and expanded coverage of concurrency and run-time systems ensures students and professionals understand the most important advances driving software today.
Includes over 800 numbered examples to help the reader quickly cross-reference and access content.

Every programmer and software project manager must master the art of creating reusable software modules; they are the building blocks of large, reliable applications. Unlike some modern object-oriented languages, C provides little linguistic support or motivation for creating reusable application programming interfaces (APIs). While most C programmers use APIs and the libraries that implement them in almost every application they write, relatively few programmers create and disseminate new, widely applicable APIs. C Interfaces and Implementations shows how to create reusable APIs using interface-based design, a language-independent methodology that separates interfaces from their implementations. This methodology is explained by example. The author describes in detail 24 interfaces and their implementations, providing the reader with a thorough understanding of this design approach.

《随机微分方程导论与应用(第6版)》在导言中叙述了6个问题，随机微分方程扮演着本质的角色。在第2章介绍上述问题中的数学模型所需的一些基本的数学概念。由此引出第3章中的Ito积分。在第4章发展到随机分析（Ito公式），第5章则用它解某些随机微分方程，包括在导言中介绍的前面两个问题，在第6章利用随机分析介绍线性滤波问题的解（问题3作为一个例子）。问题4是Dirichlet问题，尽管它是纯确定性的。在第7章和第8章介绍如何引入辅助的Ito扩散（即随机微分方程的解）来得到一个简单的、直观的、有用的随机解，它是随机位势论的基石。问题5是一个最优停时问题。第9章介绍用Ito扩散来表示在t时刻对策的状态，解相应的最优停时问题，它的解包含了位势论中的概念。比如，在第8章Dirichlet问题的解的广义化调和扩张。问题6是Ramsey于1928年提出的经典的控制问题的随机版本。第10章依据随机微分方程求解一般的随机控制问题，应用第7章和第8章的结果证明该问题可归纳成解（确定性的）Hamilton—Jacobi—Bellman方程。作为一个例子，求解了关于最优证券组合选择问题。

神经网络是一种模拟人脑的神经网络，以期能够实现类人工智能的机器学习
技术。
本书揭示神经网络背后的概念，并介绍如何通过Python实现神经网络。全书
分为3章和两个附录。第1章介绍了神经网络中所用到的数学思想。第2章介绍使
用Python实现神经网络，识别手写数字，并测试神经网络的性能。第3章带领读
者进一步了解简单的神经网络，观察已受训练的神经网络内部，尝试进一步改善
神经网络的性能，并加深对相关知识的理解。附录分别介绍了所需的微积分知识
和树莓派知识。
本书适合想要从事神经网络研究和探索的读者学习参考，也适合对人工智
能、机器学习和深度学习等相关领域感兴趣的读者阅读。

本书以哲学、进化生物学、认知科学、逻辑学、计算机科学与自动机理论的结合点为轴心，以计算机科学哲学领域的计算主义和反计算主义相对立的研究立场为主线，试图在计算机革命或哲学的信息转向的背景下对人机类比、计算仿真与生命模拟的历史、现状和未来作深入浅出的评述，并着重探讨逻辑机器哲学和人工生命理论的发展、演变、研究现状，展示了计算机科学哲学理论发展的脉络、面临的挑战和困境以及解决问题的可能出路和走向。

In their second collaboration, biographers Jimmy Soni and Rob Goodman present the story of Claude Shannon—one of the foremost intellects of the twentieth century and the architect of the Information Age, whose insights stand behind every computer built, email sent, video streamed, and webpage loaded. Claude Shannon was a groundbreaking polymath, a brilliant tinkerer, and a digital pioneer. He constructed the first wearable computer, outfoxed Vegas casinos, and built juggling robots. He also wrote the seminal text of the digital revolution, which has been called “the Magna Carta of the Information Age.” In this elegantly written, exhaustively researched biography, Soni and Goodman reveal Claude Shannon’s full story for the first time. With unique access to Shannon’s family and friends, A Mind at Play brings this singular innovator and always playful genius to life.