XML可扩展标记语言的出现为互联网的发展提供了新的动力，它主要用于网络中数据的表示、传递和交换。本书从初学者的角度出发，以通俗的语言、丰富的实例介绍了与XML相关的各种内容，主要包括XML概述、XML基础语法、文档类型定义、XML Schema、CSS层叠样式表、可扩展样式语言XSL、XML数据岛、文档对象模型DOM、简易应用程序编程接口SAX、简易对象访问协议SOAP和可伸缩矢量图形SVG等相关知识。

本书内容由浅入深，在讲解基础知识的同时给出大量实例，每章给出选择题、填空题、简

本书主要介绍原型 Petri 网、知识 Petri 网、带有优先级的时间 Petri网，用于对有限状态并发系统控制流、安全多方计算协议、多处理器抢占式实时系统等在一定层级上的抽象建模，如刻画并发、选择、冲突、多方交互、多方认知过程、（抢占式）资源分配、事件的实时性约束等。本书介绍的计算树逻辑、知识计算树逻辑、时间计算树逻辑等可以用于规约这些系统所关注的设计需求，如无死锁、公平性、隐私性、可调度性、最坏执行时间等。本书重点介绍使用这些 Petri 网模型验证以上时序逻辑的算法。另外，本书介绍简化有

本书是全国计算机专业技术资格考试办公室编写的《系统集成项目管理工程师考试大纲》（2023年审定通过）。本书还包括人力资源和社会保障部、工业和信息化部的有关文件以及考试简介。
《系统集成项目管理工程师考试大纲》是针对全国计算机技术与软件专业技术资格（水平）考试的中级资格制定的。通过本考试的考生，可被用人单位择优聘任为工程师。

本书全面介绍了Cinema 4D各项核心技术及其实战应用，共12章。首先讲解了Cinema 4D的基础操作，然后讲解了多种建模技术，接着讲解了Cinema 4D的灯光、环境、摄像机、材质、纹理和渲染技术等，之后讲解了Octane Render的使用方法，最后通过16个商业实战案例讲解了海报设计、包装设计、插画设计、卡通角色与场景设计、产品渲染表现的技法。本书内容全面系统，适合平面设计师、电商设计师，以及使用Octane Render的设计师阅读。同时，本书也可以作为相关培训机构的教材。

本书是主要讲解如何用Photoshop处理图片和做商业设计的教程，核心内容包括抠图、修图、调色、合成和特效。 全书以案例为主导，这些案例均源自经验丰富的设计师、商业修图师，并由Adobe Photoshop产品专家根据读者的学习习惯进行优化、润色，力求给读者带来最佳的学习体验。讲解案例时注重从实际问题出发，先讲解决问题的思路，再讲如何通过Photoshop实现，这些问题是通过大量的实际调研总结出来的，很有代表性。 随书提供配套资源，包括书中案例所需要的素材文件和部分案例的PSD源文件，还包括配套

剪映是一款功能强大、易于使用的短视频剪辑应用程序。本书旨在教授读者有关使用剪映电脑版进行视频剪辑的基本技巧和方法。 本书内容涵盖了软件安装及界面介绍，剪辑界面的分区和功能，视频剪辑的基本流程，素材轨道和画面裁切的基本操作，关键帧和画面定格的相关操作，声音的处理，利用文本和贴纸给视频锦上添花，画面调节和抠像，制作具有轮播效果的电子相册，制作具有图片汇聚效果的片头，制作钢琴曲卡点翻转切换效果，制作线条切割转场效果，等等。 本书适用于剪映电脑版用户、短视频制作初学者及有一定后期经验的剪辑师。通过阅读本

什么是 Stable Diffusion？简而言之，Stable Diffusion 是一款 AI 绘画工具。本书从零开始讲述了AI绘画的基本知识具体讲解Stable Diffusion这个开源绘画引擎工具的本地部署使用和各种基本技巧。内容包括Stable Diffusion 简介、Stable Diffusion 安装和配置、Stable Diffusion 基础功能、Stable Diffusion 高级技巧、Stable Diffusion 实战案例。

本书是为计算机及相关专业学生编写的综述性入门级课程教材，针对专业入门级学生的学习需求，将计算机科学的有关概念、理论、技术及相关介绍作为本书的编写主线。本书涵盖计算机学科的各个方面，包括计算机概述、数据表示与编码、计算机系统组成、操作系统、算法与数据结构、计算机程序设计基础、数据库技术、软件工程与开发方法、多媒体与数字媒体技术、数据通信与计算机网络、云计算与大数据、人工智能。每章配备相应的习题以帮助学生巩固基本概念，加深学生对专业知识的认识和理解，同时编排具有思政特点的专业扩展阅读，以提升学生的学

本书依托高等学校软件工程专业教学指导委员会第一批软件工程专业系列教材的建设，并结合国内关于物联网软件设计与开发类课程的教学情况完成编写。

全书共8章，分别从物联网软件开发基础(第1、2章)、物联网设备端系统开发与案例分析(第3~5章)、物联网云端系统开发与案例分析(第6~8章)三个单元展开。其中，设备端部分从嵌入式端、移动端两个角度进行介绍； 每章末尾部分设置有习题，以便读者复习巩固和进一步探索。此外，配套的实验指导书包含丰富的案例和实验。

本书既可作为软件工程

本书主要用于信息技术基础教学配套的教材，共包括计算机系统、WPS 长文档管理、WPS 表格数据计算、WPS 演示文稿制作、新一代信息技术、信息素养共6 篇22 个项目，全面翔实地介绍了计算机硬软件系统、长文档编辑、排版美化、演示文稿编辑、演示文稿合成、动画制作、数据管理、公式函数、排序、筛选、分类汇总、透视图表、云计算、物联网、区块链、人工智能、大数据、VR 和信息素养等知识技能点。本书为基于项目驱动的教学教材，结构清晰、语言简洁、图解丰富、案例详尽，既可作为应用型本科院校、中高等职业院校所有专