本书是获得大量读者好评的“Linux典藏大系”中的经典畅销书《Linux从入门到精通》的第3版。《Linux从入门到精通》第2版累计30次印刷，印数超过10万册，多次被评为清华大学出版社“年度畅销书”，还曾获得“51CTO读书频道”颁发的“最受读者喜爱的原创IT技术图书奖”，并被ChinaUnix技术社区大力推荐。《Linux从入门到精通（第3版）》基于新发布的Ubuntu 22.04，循序渐进地向读者介绍Linux的基础应用、系统管理、网络应用、娱乐与办公、程序开发、服务器配置和系统安全等相关

本书主要讲解使用 UE5（Unreal Engine 5）引擎开发 2D 游戏，介绍 UE5 制作 2D 内容所需要的全部技术知识。
全书内容包括：使用 UE5 开发 2D 游戏需要掌握的基础知识（第 1 ～ 6 章），包括 UE5 的安装、项目结构分析、界面布局，也包括针对 2D 项目的特殊设置；2D 游戏项目实例（第 7 ～ 9 章），每章都是一个完整的 2D 游戏，从易到难地介绍 2D 内容制作的各技术方向；最后第 10 章介绍使用 UE5制作 2D 交互艺术作品，以及游戏之外的交互

本书是关于现代类型论的专著。与集合论类似，现代类型论是数学及诸多领域的
基础语言。本书介绍了现代类型论(及其元理论)，并以自然语言语义学和计算机辅助
推理为例对以现代类型论为基础的应用领域进行深入浅出的讨论。作为基础语言，现
代类型论一方面提供了丰富的描述机制，另一方面便于理解与实现，因此与集合论相
比有着多方面的优势。这些优点在实际运用中展示出来：作为范例，书中深入研究了
基于现代类型论的自然语言语义学，以加深读者对此的理解。书中还介绍了以现代类

本书落实立德树人根本任务，贯彻《高等学校课程思政建设指导纲要》精神，根据高等学校人才培养目标，遵循“实用、适用、够用、应用”的原则，精选教学内容，注重教材内容的实用性，旨在为制造强国、交通强国、数字中国和教育强国建设培养复合型、发展型、创新型、国际化人才。本书分为三个部分，包括UI设计的世界、界面设计要素实战、项目开发实战。

本书共九章，内容包括：计算机技术概述；计算机信息安全管理；计算机信息加密技术；计算机信息技术应用；大数据存储技术；大数据分析与挖掘技术；大数据抽取、清洗与去噪技术等。

本书围绕计算机信息技术与大数据应用展开研究，首先论述计算机的发展历程与类型划分，计算机技术及其工作原理，计算机信息的表示、检索与判别；其次探讨计算机硬件系统及软件系统、计算机网络技术和Internet应用、大数据及其关键技术；最后研究大数据技术的应用领域、大数据技术的创新应用实践。

本书从计算机信息技术以及大数据的基础知识入手，针对计算机信息安全与网络技术、计算机信息检索技术进行了分析研究；另外对大数据存储、处理和挖掘、大数据的应用进行了综合探讨。

本书旨在通过Python编程语言的学习，帮助读者掌握计算机编程的基本概念和技能，并能够将其应用于实际工作和项目开发中。本书内容从入门到进阶，涵盖了Python语言的基础和应用，包括变量、数据类型、字符串、列表、条件分支、元组、字典、循环、函数基础语法部分，以及库的应用、音视频处理、数据分析和自动化办公等进阶知识，让读者能够快速地掌握Python编程语言，理解Python强大的第三方库应用。

《微课学Photoshop CC数码照片编辑与处理》是一本基于Photoshop CC 2023的数码照片处理教程，书中完整地向读者介绍了如何使用Photoshop CC 2023对各种类型的照片进行校色、修饰、处理及创意设计等各种操作的方法和技巧。《微课学Photoshop CC数码照片编辑与处理》以简洁有序、深入浅出的方式向读者介绍了Photoshop在处理数码照片过程中的强大功能。
《微课学Photoshop CC数码照片编辑与处理》共11章，主要内容包括掌握Photoshop CC

本书基础理论和工程项目相结合，循序渐进地介绍了应用Spring开发Redis应用程序的方法和技术。全书共9章，分别介绍Redis基础、Spring基础、Spring Redis Template、Spring操作Redis缓存、Redis基础应用、响应式Redis、Redis集群和Redis仓库等知识及一个综合案例，书中的每个知识点都有相应的案例代码。

本书主要面向广大从事Spring开发、Java Web开发、大数据开发的专业人员。