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

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

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

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

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

“中国软件工程师调查”是清华大学社会科学学院中国社会调查与研究中心与清华大学社会学系的研究团队受中国科学技术协会组织人事部的委托，于 2023 年针对我国软件行业相关从业者开展的研究课题，旨在深入了解我国软件工程师的工作、生活与观念，以期保障其劳动权利，改善其生活条件。 在调查的基础上，本书对软件工程师群体的工作情况、生活状态和价值观念进行深度解析，展示了该群体的多重身份和丰富面向，有助于读者更深入地了解这个群体，以及他们在构建数字社会中的独特贡献。同时，本书描绘了世界信息技术人才发展

本书围绕计算机软件基础及其软件开发设计策略展开研究，首先论述计算机与计算机软件分析、计算机软件技术基础知识、计算机软件开发设计原理体系；其次探讨计算机软件结构化开发设计技术、计算机软件工程学开发设计技术、面向对象和组件的软件开发设计技术；最后研究计算机软件开发测试体系、计算机软件智能化开发与开发项目管理。

本书以目前流行的XilinxZYNQ-7000系列FPGA为平台，以VerilogHDL和C/C++语言为基础，结合作者多年的教学经验，系统介绍了FPGA基础知识及ZYNQ架构、VerilogHDL语法规则、组合/时序逻辑电路一般设计方法、数字逻辑电路HDL设计、SoC嵌入式开发及VitisHLS使用方法等内容。全书以PYNQ-Z2为开发平台，以Vivado、Vitis和VitisHLS为开发工具，由浅入深、循序渐进，通过多个设计实例，让读者逐步掌握纯FPGA设计、SoC嵌入式开发以及

本书将向你展示：通过使用变量和数据结构编写有效的Dart代码。通过探索小部件和数据处理构建Flutter应用程序。探索云提供商解决方案，并将其与Flutter集成。通过使用Google Cloud无服务器管理API来处理数据。使用Firebase解决方案，如身份验证和Cloud Firestore数据库。构建适用于移动和桌面平台的Web应用程序。

国际规则是全球治理的重要组成部分，也是国际制度的核心要素。规则制定是全球治理的重要议题，落脚于提升规则制定权和国际话语权。国际规则对于主权国家至关重要，网络空间话语权不仅体现在网络资源的分配权、核心技术的控制权，还在于掌握网络规则的话语权。当前，互联网领域规则不健全、秩序不合理等问题不断凸显，网络霸权主义对世界和平与发展构成新的威胁，国际互联网治理面临的问题日益突出。国际互联网治理的重要方面是国际规则制定和实施，把规则治理运用于互联网领域，通过规则治理构建和平、安全、开放、合作、有序的