本书向读者介绍了ASP的理论和实践。它描述了答案集求解器 CLINGO 的输入语言，该求解器由德国波茨坦大学设计，如今已被许多国家的 ASP 程序员使用。它包括许多ASP程序的示例，并提出了ASP所基于的数学理论。有许多具有完整解答的练习。

本书的主题包括背景、用于计算推理关系闭包的条件分类、推理核心和冗余条件、非单调推理关系的形式属性和评估，以及 InfOCF：在排名模型集上实现推理。​

本书解决了对当前跨学科（ID，interdisciplinary​）研究和实践进行大规模和系统分析的迫切需要。它展示了跨学科（ID，interdisciplinary）本质上是一种认知现象，不同于试图克服学科能力和紧急情况的轻浮和无关紧要的尝试。

《知识表示和机器学习的预测和分析》展示了各种知识表示和机器学习方法和架构，这些方法和架构将在研究中活跃。这些方法通过来自广泛研究主题的真实示例进行审查。有关机器学习中知识表示中实现的许多技术和算法的了解，请访问本图书的附加网站。

本书介绍了一种新的知识表示模型，称为MDATA（多维数据关联和智能分析，Multi-dimensional Data Association and inTelligent Analysis​）。通过修改知识图谱中实体和关系的表示，可以有效地描述具有时间和空间特征的动态知识。MDATA模型可以看作是一种高级时空知识图谱模型，具有很强的知识表示能力。

本课程将教授分布式系统的基本概念和原理以及开发分布式系统的实践技能。首先，本课程提供了对分布式系统及其设计目标和系统类型的初步探索。本课程讨论了分布式系统的架构，包括集中式和分散式架构，以及按照这些架构构建的分布式系统的重要实际示例。

Oracle VM VirtualBox是一个开源的跨平台虚拟化软件包。桌面虚拟化软件使您能够在虚拟环境中在计算机上安装和运行多个操作系统，而不会干扰主机操作系统。 VirtualBox 可帮助您创建一个完全隔离的虚拟环境，从而防止病毒、恶意软件或任何其他类型的威胁从来宾到主机的传播。

了解如何逐步在 .NET 平台上实现 gRPC，并介绍如何在 .NET 上使用 gRPC，包括基础知识、用例和最佳做法

一种自上而下的分层计算机网络方法。 在计算机网络文本中，流行的第8版《计算机网络：自上而下的方法》建立在作者通过“自上而下的方式”分层方法教授这一复杂主题的悠久传统之上。本书从应用层向下延伸到物理层，通过在学习网络早期接触重要概念来激励学生。

这本重要的新书巧妙地介绍了推动高性能计算操作系统设计未来的主要替代概念。特别是，它描述了主导TOP500榜单的Linux和Unix等单片操作系统的主要进步。它还展示了轻量级内核的最新技术，这些内核在失去通用性的情况下表现出高效率和可扩展性。