物联网与无线传感器网络4 年多

对于想充分开发传感器网络物联网、关心传感器网络物联网设计、集成和实施的网络设计师和工程师来说，这本书非常理想。它有助于读者发现基于低成本标准的传感器新兴领域，这些传感器在不断增长的应用领域中保证了高阶的时空分辨率和精度。本书广泛介绍了与物联网和无线传感器网络相关的所有主要技术、标准、协议和应用主题。从传输层、路由层、数据链路层和物理层方面探讨了无线传感器网络协议栈的最新协议。此外，还讨论了各个协议层的开放性研究问题，研究了无线传感器网络的同步化和定位问题，以及现有的解决方案和开放的研究问题。

最后，综述了现有的包括物理测试平台和软件仿真环境的无线传感器网络评估方法。它包含了读者进入这个新兴领域需要知道的一切，包括物联网和无线传感器网络的体系结构、协议、通信、设计、集成和实现。适合作为高层次本科生和研究生的教材使用。

---

虚拟现实：人机交互4 年多

本书将介绍人机交互和虚拟现实、增强现实、混合现实的历史和发展过程。

书中分析了三种最具代表性的技术：Oculus Rift，谷歌眼镜和微软HoloLens，并以此为基础讨论了这些技术的优缺点。

本书还讨论了虚拟现实、增强现实和混合现实是如何工作的，提出了虚拟现实和增强现实将是人机交互的下一个阶段的合理推断，并论证了虚拟现实、增强现实和混合现实技术成为人机交互的下一个阶段的可能性有多大。

本书包含以下章节：

第一章 介绍本书的背景

第二章 描述人机交互的发展过程

第三章 介绍虚拟现实并分析一些虚拟现实技术，如Oculus Rift

第四章 介绍增强现实技术，分析谷歌眼镜和微软HoloLens

第五章 混合现实技术

第六章 在学习中实现增强现实

第七章 用D'FUSION自己动手实现增强现实

---

形式语言与自动机理论3 年多

本书详细介绍了各大学工科学士、理学硕士、商业和行政管理硕士、工科硕士及计算机学硕士教学大纲中提到的关于计算理论的所有领域。对于那些对这门学科有着浓厚兴趣的人来说，此书不仅理论翔实，并附有大量图例。

本书前几章介绍了研究自动机理论所必需的基础知识。例如：正则语言和克莱恩定理；最小自动机和句法幺半群；背景无关语言和下推自动机之间的关系；图灵机和可判定性。

●本书有助于学生形成更为非正式的书写风格，同时以最深入浅出的方式介绍了自动机理论、构建证据的坚实处理、帮助传达思想的许多图表，以及突出相关资料的侧注。每一章都提供了大量的实操练习。

特点：

1数学基础

2有限自动机与正则表达式

3正则集与正则语法

4背景无关语法和语言

5下推自动机

6通用图灵机与不可判定性

---

雾计算和边缘计算接近 3 年

近年来，随着物联网设备及传感器数量的大幅激增，为了满足其大规模分布对实时延迟敏感应用的计算需求，一种可以弥补“云计算”缺点的新型计算模式开始出现，也就是所谓的“雾计算”。
物联网的“边缘计算”与非物联网的“边缘计算”截然不同。物联网设备通常受限于数据处理能力和存储容量，所以大量数据处理任务需要在设备以外完成，“边缘计算”正适合承担这种处理任务并管理物联网的大量设备及数据。雾计算是一种对云计算概念的延伸，它主要使用的是边缘网络中的设备，数据传递具有极低时延。雾计算具有辽阔的地理分布，带有大量网络节点的大规模传感器网络。雾计算移动性好，手机和其他移动设备可以互相之间直接通信，信号不必到云端甚至基站去绕一圈，支持很高的移动性。
……

---

编译程序设计2 年多

深入浅出地介绍编译程序设计。它结合了对编译器设计的现代方法基础理论的详细研究，致力于在理论和实践之间的平衡。书中结合了许多实际示例，还提供了一个小语言编译器的完整设计思路和源代码，各章节中谈到的技术细节均体现在此编辑器中。它是专门为在高级本科水平的编译器设计或编译器构造的入门课程中使用而设计的。

本教材适合在计算机科学或相关领域的本科编译器设计的入门课程中使用。本书涵盖了将高级语言转换为机器语言所需的所有阶段，包括词法分析、解析、中间代码生成、机器代码生成和寄存器分配等。为了在实现语言方面保持中立，书中给出的算法使用的是伪代码而不是任何特定的编程语言，并且在许多情况下给出了算法在几种不同的语言风格中实现的建议。文中还举例说明了这些技术。

---

UML建模与设计2 年多

本书为基于对象系统的建模与设计提供非常实用的指导。
……

---