这是一本讲述计算机工作原理的书。不过，你千万不要因为“工作原理”之类的字眼就武断地认为，它是晦涩而难懂的。作者用丰富的想象和清晰的笔墨将看似繁杂的理论阐述得通俗易懂，你丝毫不会感到枯燥和生硬。更重要的是，你会因此而获得对计算机工作原理较深刻的理解。这种理解不是抽象层面上的，而是具有深度的，这种深度甚至不逊于“电气工程师”和“程序员”的理解。

本书通过清晰、直观的图表介绍计算机技术，内容涵盖了从数据到数字生活，从计算机编码到网络攻击的所有内容。它以一种视觉上吸引人的方式表现计算机技术的各个方面，如计算机如何工作，当下的数字设备和软件，以及互联网如何工作，如何安全地上网、如何应对社交媒体的潜在陷阱等。 易懂，培养孩子对物理的兴趣。每一节课都从孩子熟悉的场景出发，以故事的形式呈现，具有较 强的代入感，让孩子无须在教师、家长的辅导下，自主完成学习，培养孩子的自学能力。本书每 一课后都配有经典例题，让学生随学随练，巩固所学知识。 除漫画学习外，本书附带多媒体微课等学习资源，学生也可以结合微课视频边看边学。本书 适用于希望提前了解初中物理学科的小学高年级及初中一年级的学生，也适合初中二、三年级学 生的同步使用。

《图灵计算机科学丛书?具体数学:计算机科学基础(第2版)》是一本在大学中广泛使用的经典数学教科书。书中讲解了许多计算机科学中用到的数学知识及技巧，教你如何把一个实际问题一步步演化为数学模型，然后通过计算机解决它，特别着墨于算法分析方面。其主要内容涉及和式、整值函数、数论、二项式系数、特殊的数、生成函数、离散概率、渐近式等，都是编程所的知识。另外，《图灵计算机科学丛书?具体数学:计算机科学基础(第2版)》包括了六大类500多道习题，并给出了所有习题的解答，有助读者加深书中内容的理解。 《图灵计算机科学丛书?具体数学:计算机科学基础(第2版)》面向从事计算机科学、计算数学、计算技术诸方面工作的人员，以及高等院校相关专业的师生。

Link16是美军根据联合作战的需求研制的新型数据链，与之前的数据链相比，在抗干扰能力、保密性和数据传输速率等方面都有较大提高，并增加了定位与识别、相对导航和保密话音等功能。《Link16原理与应用》以Link16为主，对数据链模型、标准体系、工作原理、集成和组织应用等进行了全面深入的研究。全书共分为8章，包括结论、数据链体系框架、典型数据链、数据链集成应用、数据链组织运用、消息应用处理、典型应用、数据链的发展。 《Link16原理与应用》可供从事通信、导航、作战指挥、电子对抗等领域研究的科学人员、工程技术人员学习使用，也可作为高等院校的教学参考书。

有序二叉决策图是布尔函数的一种规范表达形式、一种新型数据结构。基于BDD可以完成布尔函数的有效表述和操作运算，OBDD在VKSI逻辑综合和验证方面的成功应用引起了学术界和工业应用界的极大关注。本书对BDD相关技术问题、BDD扩展形式、BDD应用等方面进行了介绍和讨沦，主要内容包括布尔表达式及其描述、有序二叉决策网、零压缩二叉决策图、代数决策图、边值二叉决策图、二叉矩量图、时问变量决策图、应用专题等。 本书可供高零院校计算机、电子工程、自动化等专业的高年级本科生、研究生以及相关领域的科研和工程技术人员参考。

本书记录了人类文明史中最为精彩、最为辉煌的一段。涉及从1936年至2006年这70年间数字电子计算机发展的重大事件和创新人物。重大事件包括计算机的系统研制、硬件创新、软件开发、应用领域开拓、理论研究和企业发展等；创新人物将紧密结合事件，较完整地介绍他们的教育背景、创新追求、研究成果以及对计算机科技领域乃至全社会的影响。 70年数字电子计算机的发展，数百位科学家的成长和探索，著名IT企业家的风险投资和成功，在本书中娓娓道来…… 这段历史聚集了世界上最聪明的头脑，迸发了历史上最伟大的创造。 这段历史体现了锲而不舍的忘我精神，获得了无与伦比的卓越成就。 无论你是计算机相关专业的学生、老师，还是IT从业人员、IT政策和科学研究人员，本书都可以帮助你增强探索意识、培养创新能力、激发创业激情。

本书版出版以来，业内专家门对该书进行了热烈的讨论，这不足为奇。本书将给您配备上一套功能强大的数据模型和数据仓库设计，采用这些模型可以将您的数据库设计项目带到一个高的起点上。您将获得通用业务功能的经过验证的模型，如订购和管理产品、处理装运、开票、财务和预算、管理人力资源、联系人管理和项目管理。 本版经过完全校订和修改，包括了许多新的和扩展的数据模型，这些模型包括产品定制、装运和接收、预算背景和雇员资格和表现。另外，书中有新的数据集市设计，包括财务分析、库存管理和装运逻辑。本书适合作为数据建模人员的参考书。 通过本书，您将学会： · 如何定制企业和逻辑数据模型，以满足企业的具体需求 · 如何将逻辑数据模型转换成数据仓库和数据集市 · 如何开发物理数据设计和基于通用数据模型来评估设计

纳米技术是当前科学研究与工业开发的热门领域之一。本书全面阐述了微纳器件的设计和制造方面的知识，以及在设计和制造时所要考虑的诸多因素。书中涵盖了多种制造技术，包括微纳制造技术、体和表面微加工技术、LiGA技术、薄膜沉积技术、纳加工技术等。 本书内容丰富，讲解透彻，是一本相关领域电子工程师、材料科研工作者开发微纳米材料应用的全面的指南，同时也可作为微纳米机械和微纳米技术专业研究生的参考书。

本书是Sedgewick修订和重写的C算法系列的本。全书分为四部分，共16章。部分“基础知识” (第1~2章) 介绍基本算法分析原理。第二部分“数据结构” (第3~5章) 讲解算法分析中必须掌握的数据结构知识，主要包括基本数据结构、抽象数据结构、递归和树。第三部分“排序” (第6~11章) 按章节顺序分别讨论基本排序方法 (如选择排序、插入排序、冒泡排序、希尔排序等) 、快速排序方法、归并和归并排序方法、队列与堆排序方法、基数排序方法以及特殊目的排序方法，并比较了各种排序方法的性能特征。第四部分“搜索” (第12~16章) 在进一步讲解符号表、树等抽象数据类型的基础上，重点讨论哈希方法、基数搜索以及外部搜索方法。 书中提供了用C语言描述的完整算法源程序，并且配有丰富的插图和练习。作者用简洁的实现将理论和实践成功地结合了起来，这些实现均

本书对自然语言处理中的各种形式模型进行了系统的梳理，分别讨论了基于短语结构语法的形式模型、基于合一运算的形式模型、基于依存和配价的形式模型、基于格语法的形式模型、基于词汇主义的形式模型、语义自动处理的形式模型、语用自动处理的形式模型、隐马尔可夫模型、统计机器翻译的形式模型。《自然语言处理的形式模型》说理透彻、语言流畅、实例丰富、深入浅出，适合于从事自然语言处理教学和研究的科研人员、大学师生阅读，也可以作为人工智能、计算语言学等课程的教学参考。

纳米技术是当前科学研究与工业开发的热门领域之一。本书全面阐述了微纳器件的设计和制造方面的知识，以及在设计和制造时所要考虑的诸多因素。书中涵盖了多种制造技术，包括微纳制造技术、体和表面微加工技术、LiGA技术、薄膜沉积技术、纳加工技术等。 本书内容丰富，讲解透彻，是一本相关领域电子工程师、材料科研工作者开发微纳米材料应用的全面的指南，同时也可作为微纳米机械和微纳米技术专业研究生的参考书。

事情发生在1980年5月的一天晚上，某大学的一位计算机教授带领学生在实验室里忙着运行一个模拟程序，模拟二维下的物理学、生物学等。一切进行得很顺利，直到一位学生突然发现，计算机屏幕上出现了一个奇怪的生物，它自称来自一个名为阿尔德的真正的二维世界……就这样，A. K. 杜德尼带领读者开始了一段巧妙结合科学、幻想和哲学的精彩历程。 书中对于阿尔德的物理学、生物学、工业技术等细节的描述之丰富，刻画之可信，使得本书在1984年首次出版时，令不少读者甚至信以为真。如今本书已经成为一部经典之作，在数学家和计算机科学家当中备受推崇。