本书系统地介绍了面向工业软件的数字工程（DE）与基于模型的系统工程（MBSE）的理论体系、方法论、核心技术和工程应用，讨论了 SysML 建模工具的实现技术，内容涵盖需求模型开发、MBSE 工具开发、执行模型与行为仿真、规则定义与自动语法校验等多个方面，详细阐释了支撑 MBSE 的关键技术，通过理论描述与工程案例的结合，帮助读者全面掌握 DE 和 MBSE 的知识体系，并获得参考与启发。

本书以简单、直观、形象的方式教授Git,让你对Git版本控制的工作原理建立深刻的感性认识。通过颜色、情景和实践练习,你定能信心满满,学会使用这个工具。本书循序渐进,你不会陷入未知术语或概念的困境。本书涵盖以下内容：下载Git,初始化本地仓库。把文件添加到暂存区域并进行提交。创建、切换和删除分支。合并和变基分支。使用远程仓库,包括克隆、推送、拉取和获取。使用拉取请求与他人协作。

"《你好，C++》主要介绍C++开发环境的搭建、基础语法知识、面向对象编程思想以及标准模板库的应用，特别针对初学者在学习C++过程中可能遇到的难点提供了解决方案。全书共分13章，以一个工资程序的不断优化和完善为线索，展示了如何利用C++进行设计和解决实际问题。《你好，C++》遵循**的C++23标准，更新了所有代码和讲解，并增加了新标准引入的特性，如智能指针、std::thread等，使读者能够掌握**的C++知识。每章末尾都配有“本章练习”，帮助读者通过实际编写代码来加深对知识的理解。

本书共17章。第1章为全书的开篇，为读者搭建起对.NET安全领域的初步认知。第2章为.NET基础知识，深入探讨.NET框架的核心技术原理。第3章聚焦于.NET代码审计领域的知识，详细介绍SQL注入的原理、分类及其在.NETWebForms、MVC及.NETCoreMVC等不同框架下的表现形式。第4章全面解析XSS漏洞的原理、分类及其在.NET应用中的触发条件。第5章介绍几种CSRF攻击的实施手法，并通过实例展示如何构建CSRF攻击载荷。同时，还将介绍几种有效的CSRF防御策略。第6章详

如果你的数据处理或服务器应用程序已经超出了单台计算机的处理能力，那么这本书就是为你准备的。你将探索分布式处理（纯Python的无服务器实现），并学习如何：使用Ray Actor实现有状态应用程序。在Ray中构建工作流管理。将Ray用作批处理和流处理的统一系统。使用Ray进行高级数据处理。使用Ray构建微服务。实现可靠的Ray应用程序。

电子游戏是高度互动的娱乐，精彩刺激的故事和代入感极强的角色令人身临其境。游戏中故事的主要目的是赋予玩家沉浸与前进的动力，厉害的开发团队无不绞尽脑汁整合故事发展与玩法规则，催眠玩家信以为真、投注情感。除了照顾游戏文本的一切细节，开发团队还需具备技术层面的知识以及对产业、市场的了解。

本书以建构强烈故事脉络为目标，详细解说在迭代游戏开发过程中所遇到的各方面的问题与解决方案，提供了关于IP开发、品牌建立的新思路，是对剧情架构、角色打造、关卡设计、世界构筑等方面多年宝贵经验汇整而成的

本书分为10章。第1章介绍PPT必会操作——布尔运算和渐变，以及常用的素材网站。第2章至第7章从分析内容、确定布局、设置字体、进行配色、修饰细节、完善整体6个方面对排版要素进行展开介绍。第8章是实战环节，也就是将第2章至第7章的知识运用到实际制作中，让你运用排版公式做出既有逻辑性又有美感的页面。第9章是完整的PPT案例解析，你只学会制作单页并不够，还要学会让一整套PPT和谐统一。第10章介绍了iSlide和boardmix这两个国内较成熟的AI工具。如果你在工作和学习中时常要用PPT，但对PPT

本书以当前AI绘画领域热门的AI绘画工具Stable Diffusion和Midjourney为例，全面系统地讲述了它们的应用方法、绘画技巧，以及在游戏美术设计领域中的实战应用。 全书共分11章，第1～4章介绍了游戏美术设计和AI工具原理方面的基础知识；第5～9章介绍了Stable Diffusion和Midjourney的基础操作和使用方法，包括Stable Diffusion的安装使用和Midjourney的注册、登录与订阅流程，Stable Diffusion的插件与模型训练，Stable

本书共分为13章, 主要内容涵盖开发环境的搭建、Vue.js基础与核心、前端路由Vue Router、全局状态管理Pinia、SCSS的使用、UI框架Element Plus的应用、数据请求Axios的集成、类型校验TypeScript的应用、脚手架Vite的使用、代码管理仓库Git的基本操作等。

本书是理论计算机科学方面的经典教材，主要讨论形式语言与自动机理论、可计算性理论和计算复杂性理论等内容。本书强调定义和定理的准确性和严谨性，但在形式化证明中又非常注重符合直觉的理解，避免多余的数学细节。本书分为理论和应用两个部分：理论部分主要介绍有穷自动机、正则语言和文法、上下文无关语言和文法、下推自动机、图灵机、形式语言和自动机的层次结构以及计算复杂性等内容，应用部分主要介绍编译器和解析、LL解析以及LR解析。