《软件测试需求分析与设计实践》全面系统地介绍软件测试需求分析与设计，从软件测试活动涉及的相关概念入手，着重介绍开展软件测试需求分析的方法、开展测试设计的方法，以及测试工作产品的主要内容，最后给出嵌入式和非嵌入式软件的测试需求分析案例。
《软件测试需求分析与设计实践》适合作为第三方软件测评机构的测试人员的培训教材，也可作为高等院校计算机、软件工程专业高年级本科生的参考书。

《需求可视化：22个需求模型及其应用场景》介绍了4大类22个可视化需求模型及其应用场景，阐述了如何通过可视化的方式来建立需求模型、模型的使用技巧和适用场景等。讲解了整个软件需求阶段所涉及的收集、萃取、分析和优化，并通过可视化的方式来建立需求模型，从头源头上精准定位需求及其价值，从而帮助读者学会通过有价值的需求来实现商业成果。《需求可视化：22个需求模型及其应用场景》由需求领域两位具有实战经验的资深专家所写，适合业务分析师、商业分析师以及产品负责人和敏捷团队成员阅读和参考。

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 实战案例。

本书介绍了零代码在线开发平台 iVX 的开发流程和基本功能，以 H5 交互媒体开发为主要应用，结合全国大学生广告艺术大赛历年获奖作品，深入浅出地讲解了交互媒体设计的理念和技术，帮助读者快速提高交互媒体的开发和创作能力。
本书适合作为网络与新媒体、传播学、广告学、视觉传达等相关专业的核心教材，也适合广大新媒体爱好者与从业者参考学习。