《C++语言的设计与演化》是C++的设计者关于C++语言的最主要著作之一。作者综合性地论述了C++的发展历史，C++中各种重要机制的本质意义和设计背景，这些机制的基本用途和使用方法，讨论了C++所适合的应用领域及其未来的发展前景。全书共18章，分两大部分，其中第1部分（第1～9章）分别介绍了C++的史前时代、C with Classes、C++的诞生、C++语言设计规则、1985—1993年表、标准化、关注和使用、库、展望；第2部分（第10～18章）分别介绍了存储管理、重载、多重继承、类概念的精练、强制转换、模板、异常处理、名称空间、C语言预处理器。为便于查找与学习，全书最后附有专业术语索引。《C++语言的设计与演化》在帮助人们理解C++语言方面的作用是不可替代的。 书面向每个学习和关注C++语言的专业工作者、科研人员、教师及学生。

1936年，时年24岁的图灵宣称：“发明一台可用于计算任意可计算序列的单一机器是有可能的。”在《图灵的大教堂》一书中，作者乔治•戴森着重介绍了一小群人，为首的是供职于新泽西州普林斯顿高等研究院的约翰•冯•诺依曼，他参与建造了最早的一台计算机，以实现艾伦•图 灵提出的通用机的愿景。他们的工作打破了用于表意的数字和用于运算的数字之间的区别，世界因此而改变。 科学家们使用5千字节的内存（相当于现代计算机桌面上显示的光标所分配的内存大小），在天气预测和核武器设计方面，都获得了前所未有的成功。同时，他们还利用空闲时间解决各种问题——从病毒的进化到恒星的演变。 戴森教授的叙述既具有历史意义，又富于预见性，为第二次世界大战后期数字宇宙的爆炸提供了新的且重要的信息。代码和计算机的兴起伴随着两大历史性的发展：生物学自我复制序列的破译和氢弹的发明。最具破坏性和最具建设性的人类发明同时出现并不是巧合。

《图灵和ACM图灵奖(第4版):纪念图灵百年诞辰》介绍了图灵及自1966年至今图灵奖的获得者的工作和事迹。通过对20世纪下半叶及21世纪初有代表性计算机科学家的介绍，多方位、多视角地反映计算机科学技术半个多世纪来的发展历程。《图灵和ACM图灵奖(第4版):纪念图灵百年诞辰》在一定程度上反映了计算机体系结构、程序设计语言、算法设计与分析、操作系统和编译程序、数据库技术、计算复杂性理论、软件工程、人工智能等计算机科学技术主要分支的形成过程和发展概况。通过追寻成功者的足迹，给人以必要的启迪，读者可以从阅读中吸取成长和成功所必需的养分。

Every day, we use our computers to perform remarkable feats. A simple web search picks out a handful of relevant needles from the world's biggest haystack: the billions of pages on the World Wide Web. Uploading a photo to Facebook transmits millions of pieces of information over numerous error-prone network links, yet somehow a perfect copy of the photo arrives intact. Without even knowing it, we use public-key cryptography to transmit secret information like credit card numbers; and, we use digital signatures to verify the identity of the websites we visit. How do our computers perform these tasks with such ease? This is the first book to answer that question in language anyone can understand, revealing the extraordinary ideas that power our PCs, laptops, and smartphones. Using vivid examples, John MacCormick explains the fundamental "tricks" behind nine types of computer algorithms, including artificial intelligence (where we learn about the "nearest neighbor trick" and "twenty questions trick"), Google's famous PageRank algorithm (which uses the "random surfer trick"), data compression, error correction, and much more. These revolutionary algorithms have changed our world: this book unlocks their secrets, and lays bare the incredible ideas that our computers use every day.

(excerpts from my proposal for the book) Anyone who has explored the history, technology, or theory of computers has likely encountered the concept of the Turing Machine. The Turing Machine is an imaginary — not even quite hypothetical — computer invented in 1936 by English mathematician Alan Turing (1912–1954) to help solve a question in mathematical logic. As a byproduct, Turing also founded the field of computability theory — the study of the abilities and limitations of digital computers. Although the concept of the Turing Machine is well known, Turing’s original 1936 paper is only rarely read. This neglect may have something to do with the paper’s title — “On Computable Numbers, with an Application to the Entscheidungsproblem” — and perhaps the paper’s extensive use of a scary German gothic font. That’s too bad, because the paper is not only a fascinating read but a milestone in the history of computing and 20th century intellectual thought in general. This book presents Turing’s original 36-page paper (and a follow-up 3-page correction) with background chapters and extensive annotations. Mathematical papers like Turing’s are often terse and cryptic. I have elaborated on many of Turing’s statements, clarified his discussions, and provided numerous examples. Interwoven into the narrative are the highlights of Turing’s own life: his years at Cambridge and Princeton, his secret work in cryptanalysis during World War II, his involvement in seminal computer projects, his speculations about artificial intelligence, his arrest and prosecution for the crime of “gross indecency,” and his early death by apparent suicide at the age of 41. The book is divided into four parts: Parts I and II together are about 200 pages in length and cover the first 60% of Turing’s paper, encompassing the Turing Machine and computability topics. This part of the book is entirely self-contained and will be of primary interest to most readers. Part III is a faster paced look at the remainder of Turing’s paper, which involves the implications for mathematical logic. Some readers might want to skip these chapters. Part IV resumes the more "popular" presentation showing how the Turing Machine has become a vital tool in understanding the workings of human consciousness and the mechanisms of the universe. Although I expect the primary readers of the book to be programmers, computer science majors, and other “techies,” I have tried my best to make the book accessible to the general reader. There is unavoidably much mathematics in the book, but I have tried to assume that the reader only has knowledge of high-school mathematics, and probably a foggy one at that.

本书是《ACM图灵奖--计算机发展史的缩影》一书的姊妹篇。IEEE计算机先驱奖已经颁发了20届，共有108位计算机科学技术工作者获奖，其中有22位也是图灵奖的获得者。IEEE计算机先驱奖兼顾的范围较广，并打破了东西方的界限，有一批前苏联和东欧国家的学者入围。这都有利于读者更全面地了解世界各国计算机发展的情况。在系统设计与开发，尤其是在硬件方面为计算机科学技术的发展作出卓越贡献的学者均被包括在内。本书对于我国年轻的计算机工作者及所有对计算机发展史感兴趣的读者来说都是一本难得的收藏之作。

“本书语言流畅细腻，读起来如沐春风。它犹如一部波澜壮阔的计算机史诗，讲述了软件革命的恢弘历史，以及中流砥柱们的光辉事迹。故事并不是断断续续的，因为作者采用了微型传记的形式……他把历史写成了优美的散文，生动迷人又严谨有度。” ——David Gelernter，《纽约时报》 “这是一本给人启迪的著作，完美地展现了想象力的巨大力量。如果你想象得到，并把它编成代码，那么一定能够改变世界！” ——Boston Sunday Globe “本书把难懂的技术概念讲解得通俗易懂。对于那些对计算机内在结构好奇的人，这是一本能让其豁然开朗的好书。计算机科学界的前辈John McCarthy曾向作者抱怨过新闻记者的无知，本书就是作者对此作出的回应……与计算机行业相关的所有新闻记者都应该读一读这本书。” ——《纽约时报书评》 “这不是一本通常意义上的书，而是一部史诗。它讲述的不是技术，而是那些设计编程语言和计算机软件的名人的故事……本书内容清晰易懂，简明扼要。软件工程让程序员不需要材料和工具也能有所创造，他们为此兴奋不已。他们能够凭空创造新的事物，唯一的限制就是自己的想象力。” ——《国际先驱论坛报》 “如果本书作者是一名程序员，那么他写的代码一定清晰有序，不需要复杂的结构或者奇怪的快捷方式就能跳转到正确的子程序上；他的写作风格也是如此。本书化繁为简，让读者与数学专家、桥牌高手、象棋大师、特立独行的科学家、批判传统观念的人，以及掀起软件革命的程序员们进行了一次愉悦的会面。” ——《新闻周刊》 “本书展现了技术缔造者们面对的挑战，是本旷世杰作。” ——《自然》周刊 聆听软件行业发展的精彩故事 领悟软件巨擘的深邃思想 放飞想象力，通过编码改变世界 Steve Lohr（作者）《纽约时报》高级作家和技术通讯记者，U .S. v. Microsoft一书合著者，现居住于纽约。 张沛玄（译者）1992年毕业于北京理工大学飞行器工程系固体火箭发动机专业，获得工学学士学位。2001年重回母校管理与经济学院就读，2004年毕业并获工商管理硕士学位。早年他曾从事软件开发，担任IT公司高级管理工作多年。

本书是英国剑桥大学卡文迪许实验室的著名学者David J．C．MacKay博士总结多年教学经验和科研成果，于2003年推出的一部力作。本书作者不仅透彻地论述了传统信息论的内容和最新编码算法，而且以高度的学科驾驭能力，匠心独具地在一个统一框架下讨论了贝叶斯数据建模、蒙特卡罗方法、聚类算法、神经网络等属于机器学习和推理领域的主题，从而很好地将诸多学科的技术内涵融会贯通。本书注重理论与实际的结合，内容组织科学严谨，反映了多门学科的内在联系和发展趋势。同时，本书还包含了丰富的例题和近400道习题(其中许多习题还配有详细的解答)，便于教学或自学，适合作为信息科学与技术相关专业高年级本科生和研究生教材，对相关专业技术人员也不失为一本有益的参考书。...

《穿越计算机的迷雾》从最基本的电学知识开始，带领读者一步一步、从无到有地制造一台能全自动工作的计算机。在这个过程中，读者可以学习到大量有趣的电学、数学和逻辑学知识，了解到它们是如何为电子计算机的产生创造条件，并促使它不断向着更快、更小、更强的方向发展。通过阅读《穿越计算机的迷雾》，读者可以很容易地理解自动计算实际上是如何发生的，而现代的计算机又是怎么工作的。以此为基础，在《穿越计算机的迷雾》的后面集中介绍了现代计算机的组成和主要功能，以及计算机核心与外部设备的接口，并对以操作系统为核心的软件进行了介绍。未经许可，不得以任何方式复制或抄袭《穿越计算机的迷雾》之部分或全部内容。

Machine learning methods extract value from vast data sets quickly and with modest resources. They are established tools in a wide range of industrial applications, including search engines, DNA sequencing, stock market analysis, and robot locomotion, and their use is spreading rapidly. People who know the methods have their choice of rewarding jobs. This hands-on text opens these opportunities to computer science students with modest mathematical backgrounds. It is designed for final-year undergraduates and master's students with limited background in linear algebra and calculus. Comprehensive and coherent, it develops everything from basic reasoning to advanced techniques within the framework of graphical models. Students learn more than a menu of techniques, they develop analytical and problem-solving skills that equip them for the real world. Numerous examples and exercises, both computer based and theoretical, are included in every chapter. Resources for students and instructors, including a MATLAB toolbox, are available online.

《研究之美》是计算机科学大师、“算法分析之父”高德纳（Donald E.Knuth）在20世纪70年代旅居挪威时撰写的适用于计算机科学的一种全新基础数学结构的情景小品。全书以一对追求自由精神生活的青年男女为主人公，展开了一段对于该种全新结构的发现和构造的对白。在此过程中，本书充分展示了计算机科学的从业人员进行全新领域探索时所必备的怀疑、立论、构造、证明、归纳、演绎等逻辑推理和深入反思的能力。《研究之美》可以看作是读懂高德纳的艰深著作《计算机程序设计艺术》和《具体数学》的钥匙。

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。 本书适宜作为高等院校计算机及相关专业的数理逻辑／形式化方法课程的教材，也可供相关研究人员和专业人士参考。

数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比，它的主要特色就是紧紧围绕软硬件规约和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法，紧致性理论和Lowenhenm-Skolem定理，并介绍了Alloy语言和Nusmv工具。 本书自出版以来受到广泛好评，已经被包括美国普林斯顿大学、卡内基-梅隆大学、英国剑桥大学、德国汉堡大学、加拿大多伦多大学、荷兰 Vrije大学，印度理工学院在内的多个国家几十所高校采纳为教材。

本书系统阐述了当今信息产业界最受关注的两项新技术——虚拟化与云计算。云计算的目标是将各种IT资源以服务的方式通过互联网交付给用户。计算资源、存储资源、软件开发、系统测试、系统维护和各种丰富的应用服务，都将像水和电一样方便地被使用，并可按量计费。虚拟化实现了IT资源的逻辑抽象和统一表示，在大规模数据中心管理和解决方案交付方面发挥着巨大的作用，是支撑云计算伟大构想的最重要的技术基石。本书以在数据中心采用服务器虚拟化技术构建云计算平台为主题，全面地勾画出虚拟化与云计算的产生背景、发展现状和关键技术等。本书体系完整，内容丰富，有助于广大读者理解信息产业今后发展的大脉络。

讓Ruby之父教您大師級的程式思考術！ 本書以松本行弘先生對程式本質的深層認知、各種技術之優缺點的掌握，闡述Ruby這套程式語言的設計理念，並由此延伸讓您一窺程式設計的奧妙之處。本書內含許多以Ruby、Lisp、Smalltalk、Erlang、JavaScript等動態語言所寫成的範例，從動態語言、函數式程式設計等領域開展您的學習視野。 本書精華： ‧物件導向與抽象化 ‧多重繼承的問題與Mix-in ‧基於原型與基於類別的物件導向概念 ‧靜態語言與動態語言的差異 ‧Duck Typing與Metaprogramming ‧區塊和閉包的強大威力 ‧設計模式與開閉原則 ‧Ajax與JavaScript ‧Ruby on Rails與MVC ‧開放類別與Monkey Patching ‧字碼問題與Unicode ‧正則表達式與「鬼車」 ‧整數、浮點數、位元運算 ‧程式最佳化技術與平行程式設計 ‧程式弱點與攻擊手法 ‧程式的時間問題 ‧資料的永續性與XML ‧函數式程式語言的特性 ‧記憶體管理與垃圾回收機制 ‧程式碼產生技術與Ruby的擴充方式 ‧開放原始碼的精神與選擇授權的觀念

The Software Insider's Guide to Getting Hired and Getting to the Top! Here's all the information you need to jumpstart your software career: the best ways to get hired, move up, and blaze your way to the top! The software business has radically changed, and this book reveals today's realities-everything your professors and corporate managers never told you. In his 20 years at IBM as a software architect, senior manager, and lead programmer, Sam Lightstone has briefed dozens of leading companies and universities on careers, new technology, and emerging areas of research. He currently works on one of the world's largest software development teams and spends a good part of his time recruiting and mentoring software engineers. This book shares all the lessons for success Sam has learned...plus powerful insights from 17 of the industry's biggest stars. Want to make it big in software? Start right here! Discover how to * Get your next job in software development * Master the nontechnical skills crucial to your success * "Work the org" to move up rapidly * Successfully manage your time, projects, and life * Avoid "killer" mistakes that could destroy your career * Move up to "medium-shot," "big-shot," and finally, "visionary" * Launch your own winning software company Exclusive interviews with Steve Wozniak, Inventor, Apple computer John Schwarz, CEO, Business Objects James Gosling, Inventor, Java programming language Marissa Mayer, Google VP, Search Products and User Experience Jon Bentley, Author, Programming Pearls Marc Benioff, CEO and founder, Salesforce.com Grady Booch, IBM Fellow and co-founder Rational Software Bjarne Stroustrup, Inventor, C++ programming language David Vaskevitch, Microsoft CTO Linus Torvalds, Creator, Linux operating system kernel Richard Stallman, Founder, Free software movement Peter Norvig, Google's Director of Research Mark Russinovich, Microsoft Fellow and Windows Architect Tom Malloy, Adobe Chief Software Architect Diane Greene, Co-founder and past CEO of VMware Robert Kahn, Co-inventor, the Internet Ray Tomlinson, Inventor, email

几年前，“数学之美”系列文章原刊载于谷歌黑板报，获得上百万次点击，得到读者高度评价。读者说，读了“数学之美”，才发现大学时学的数学知识，比如马尔可夫链、矩阵计算，甚至余弦函数原来都如此亲切，并且栩栩如生，才发现自然语言和信息处理这么有趣。 在纸本书的创作中，作者吴军博士几乎把所有文章都重写了一遍，为的是把高深的数学原理讲得更加通俗易懂，让非专业读者也能领略数学的魅力。读者通过具体的例子学到的是思考问题的方式 —— 如何化繁为简，如何用数学去解决工程问题，如何跳出固有思维不断去思考创新。 第二版增加了针对大数据和机器学习的内容，以便满足人们对当下技术的学习需求；同时，根据专家和读者的反馈更正了一些错漏，并更新了部分内容。 《数学之美》第一版荣获国家图书馆第八届文津图书奖； 入选广电总局“2014年向全国青少年推荐百种优秀图书书目”； 荣获2012-2013年度全行业优秀畅销书； 《浪潮之巅》、《文明之光》作者吴军博士最新力作，李开复作序推荐，Google黑板报百万点击！ 新版增加了大数据和机器学习等最新内容，以满足人们对当下技术的学习需求；同时，根据专家和读者的反馈更正了错漏，并更新了部分内容

人类正在步入与机器共存的科幻世界？看《纽约时报》畅销书作者讲述算法和机器学习技术如何悄然接管人类社会，带我们走进一个算法统治的世界。 今天，算法涉足的领域已经远远超出了其创造者的预期。特别是进入信息时代以后，算法的应用涵盖金融、医疗、法律、体育、娱乐、外交、文化、国家安全等诸多方面，显现出源于人类而又超乎人类的强大威力。本书是《纽约时报》畅销书作者的又一力作，通过一个又一个引人入胜的故事，向读者介绍了算法掌控世界的真实情况，揭示了“机器人革命”是如何悄悄地在我们身边发生的。 本书适合任何对科技史、信息革命、算法原理、数据分析感兴趣的读者。 Christopher Steiner 创业公司Aisle50共同创始人及联席CEO，《福布斯》杂志和《芝加哥论坛报》科技专栏特约作者，《纽约时报》畅销书作者，另著有全美畅销书《油价30元/升》。另外，他常在各种会议就科技、算法、大数据等主题发表演说，阐释算法与大数据如何塑造、变革、掌控人类生活。

★ 只需编程基础 ★ 从零开始自制编程语言 ★ 支持面向对象、异常处理等高级机制 本书手把手地教读者用C语言制作两种编程语言：crowbar与Diksam。crowbar是运行分析树的无类型语言，Diksam是运行字节码的静态类型语言。这两种语言都具备四则运算、变量、条件分支、循环、函数定义、垃圾回收等功能，最终版则可以支持面向对象、异常处理等高级机制。所有源代码都提供下载，读者可以一边对照书中的说明一边调试源代码。这个过程对理解程序的运行机制十分有帮助。 本书适合有一定基础的程序员和编程语言爱好者阅读。