本书以程式语为研究对象，对程式语在外的研究历史和现状、即时话语中程式语的使用情况以及程式语术语多样性及界定复杂性等方面的相关研究进行了梳理，并探讨了程式语的分类系统构建、程式语的系统构拟和程式语的研究方法。同时，也采用基于语料库和语料库驱动的方法对程式语表征意义、协商意义的实现方式，以及信息粘连性程式语与信息对话性程式语所实现的意义进行了研究。

本书系统而全面地介绍了计算机系统的设计基础、指令机体系结构、流水线和指令级并行技术、层次存储系统与存储设备、互连网络以及多处理器系统等重要内容。对计算机系统结构的论述主要以RISC结构模型机DLX为基础，通过定量分析的方法进行。本书内容丰富全面，既介绍了当今计算机系统结构的研究成果，也引述了有影响的计算机系统设计开发方面的大量实践经验。全书编排层次 合理，叙述由浅人深。各章结尾还附有大量的习题和参考文献。 本书既可以作为高等院校计算机专业高年级学生和研究生学习“计算机系统结构”、“计算机原理”等课程的教科书或参考书，也可供与计算机相关的专业科技人员学习参考。

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

本书由射影几何、矩阵与张量、模型估计3篇组成，它们是三维计算机视觉所涉及的基本数学理论与方法。射影几何学是三维计算机视觉的数学基础，本书着重介绍射影几何学及其在视觉中的应用，主要内容包括：平面与空间射影几何，摄像机几何，两视点几何，自标定技术和三维重构理论。矩阵与张量是描述和解决三维计算机视觉问题的必要数学工具，本书着重介绍与视觉有关的矩阵和张量理论及其应用，主要内容包括：矩阵分解，矩阵分析，张量代数，运动与结构，多视点张量。模型估计是三维计算机视觉的基本问题，通常涉及变换或某种数学量的估计，本书着重介绍与视觉估计有关的数学理论与方法，主要内容包括：迭代优化理论，参数估计理论，视觉估计的代数方法、几何方法、鲁棒方法和贝叶斯方法。 本书可作为大学高年级本科生、研究生的教材。

本书系统而全面地介绍了计算机系统的设计基础、指令机体系结构、流水线和指令级并行技术、层次存储系统与存储设备、互连网络以及多处理器系统等重要内容。对计算机系统结构的论述主要以RISC结构模型机DLX为基础，通过定量分析的方法进行。本书内容丰富全面，既介绍了当今计算机系统结构的研究成果，也引述了有影响的计算机系统设计开发方面的大量实践经验。全书编排层次 合理，叙述由浅人深。各章结尾还附有大量的习题和参考文献。 本书既可以作为高等院校计算机专业高年级学生和研究生学习“计算机系统结构”、“计算机原理”等课程的教科书或参考书，也可供与计算机相关的专业科技人员学习参考。

本书是Sedgewick修订和重写的C算法系列的第二本，集中讲解图算法。全书共有6章（7-22章）。7章详细讨论图性质和类型，8-22章分别讲解图搜索、有向图和DAG、生成树、最短路径以及网络流。 书中提供了用C语言描述的完整算法源程序，并且配有丰富的插图和练习。作者用简洁的实现将理论和实践成功地结合了起来，这些实现均可在真实应用上测试，使得本书自问世以来备受程序员的欢迎。 本书可作为高等院校计算机相关专业算法与数据结构课程的教材和补充读物，也可供自学使用。

《计算机科学丛书：逻辑与计算机设计基础（原书第4版）》以一台通用计算机为线索，由浅入深地讲解了逻辑设计、数字系统设计和计算机设计。其中，章到第5章为逻辑设计，包括数字系统与信息、组合逻辑电路及其设计、算术功能块与硬件描述语言以及时序电路；第6章到第8章为数字系统设计，包括可选的设计话题：数据通路、算术逻辑单元、移位寄存器、一个简单计算机的结构、单周期硬连线控制、多周期硬连线控制等，寄存器与寄存器传输以及存储器基础；第9章到3章为计算机设计，包括计算机设计基础、指令集结构、RISC与CISC中央处理单元、输入输出与通信以及存储系统。书中附有60个大部分来自现代日常生活中产品设计的真实例子和问题，可以激发读者的学习兴趣。 《计算机科学丛书：逻辑与计算机设计基础（原书第4版）》不仅可以作为计算机科学、

本书全面讲述了现代编译器的各个组成部分，包括词法分析、语法分析、抽象语法、语义检查、中间代码表示、指令选择、数据流分析、寄存器分配以及运行时系统等。全书分成两部分，第一部分是编译的基础知识，适用于第一门编译原理课程(一个学期)；第二部分是高级主题，包括面向对象语言和函数语言、垃圾收集、循环优化、SSA(静态单赋值)形式、循环调度、存储结构优化等，适合于后续课程或研究生教学。书中专门为学生提供了一个用C语言编写的实习项目，包括前端和后端设计，学生可以在一学期内创建一个功能完整的编译器。本书适用于高等院校计算机及相关专业的本科生或研究生，也可供科研人员或工程技术人员参考。

随着社会经济、信息技术的迅速发展，传统的英语教学已经难以适应时代发展的要求，为了使英语教学步伐紧跟时代发展的潮流，将信息技术与英语学科进行合理整合，已成为当前教育教学改革的发展方向，也是深化学科教学改革的根本途径。本书在吸收前人理论的基础上，结合新的研究成果编写而成的。 本书不仅对英语教学实践有的指导意义，也可为相关的研究者和爱好者提供参考.

本书全面讲述OSPF网络的设计、配置、管理和疑难解析。全书分为三个部分：部分讲述OSPF基本原理，内容包括网络和路由选择基本原理、OSPF简介、OSPF通信；第二部分讲述OSPF路由选择和网络设计，内容包括设计基本原理、路由选择的概念和配置、重发布、汇总；第三部分讲述OSPF的实现、疑难解析及管理，内容包括管理和保护OSPF网络、OSPF疑难解析、OSPF网络中的BGP和MPLS。本书最后的附录部分还提供了关于OSPF的RFC文档资料。 本书适宜网络工程师、网络管理员以及希望获取网络技术认证的读者作为全面了解OSPF的学习用书。

本书以希尔伯特空间中的框架理论为基础，介绍了近几年框架研究中的一些热点问题。其主要内容包括Riesz对偶的性质及其等价性讨论，伪样条概念的推广及其生成的框架小波，相位恢复和广义相位恢复的稳定性等。 章简要介绍本书要用到的一些概念，包括各类空间、算子以及空间的基等。第2章主要介绍希尔伯特空间中Riesz对偶的概念、性质以及一些等价刻画。第3章主要介绍伪样条的正则性以及由伪样条构造的框架小波。第4章从双Lipschitz性质和Cramer Rao下界方面讨论了相位恢复和仿射相位恢复的稳定性。第5章介绍了广义相位恢复和广义仿射相位恢复的稳定性结论。第6章介绍了小波的相关知识。本书适合数学专业以及相关方向的研究人员参考使用。