本书是一本零基础的Illustrator软件的实战教材，旨在介绍如何使用Illustrator软件在平面设计领域的使用方法与技巧。本书首先介绍Illustrator软件在平面领域中的主要应用范围和领域，然后逐步由浅入深的介绍如何使用软件完成图形的设计与编辑、路径的绘制与编辑、图形样式的创建与编辑、文本与图表的创建与编辑、图层与蒙版的应用、效果类应用方法、混合与封套的应用方法等。 书籍中所涉及的案例都是平面设计领域中最为常见与普及度比较广泛的案例，让读者在熟悉和掌握Illustrator软件的同时

本书是与《C程序设计》（朱晓燕主编）配套使用的实验教学用书，内容包括实验指导、综合测试、习题和参考解答4部分。实验指导中，编者介绍了C语言集成开发环境Visual C 6.0和Visual C 2010的使用和程序调试方法，设置了10个实验，每个实验都包括实验目的、实验内容等，内容由浅入深，循序渐进，使学生更好地理解和掌握程序设计的思想方法和技巧，培养学生独立思考和实际动手的能力，帮助学生加深对主教材内容的理解。综合测试中，编者精选了10套综合测试题，紧扣全国计算机等级考试(二级C)的

本书介绍如何结合Python进行网络爬虫程序的开发，从Python语言的基本特性入手，详细介绍了Python网络爬虫开发的各个方面，涉及HTTP、HTML、JavaScript、正则表达式、自然语言处理、数据科学等不同领域的内容。全书共10章，包括Python基础知识、网站分析、网页解析、Python文件读写、Python与数据库、AJAX技术、模拟登录、文本与数据分析、网站测试、Scrapy爬虫框架、爬虫性能等多个主题。本书可作为高等职业院校计算机类专业的专业课教材，也可供计算机相关从业人员选

形式化方法是指有严格数学基础的软件和系统开发方法，支持软件与系统的规约、设计、验证与演化等活动。随着软件可信需求的不断增长，形式化方法的重要性和关注度日益提高。

本书共12章，第1章概述形式化方法，第2章介绍形式化方法发展早期的经典内容，其余部分共分3篇： 上篇（第3～5章）为系统建模篇，着重介绍迁移系统、有穷自动机、Petri网等基本计算模型； 中篇（第6和第7章）为形式规约篇，着重讨论时序逻辑及其在并发系统属性描述的应用； 下篇（第8～12章）为形式验证篇，着重介绍定理证明方法

本书以通俗易懂的文字全面系统地介绍了After Effects 2022的软件操作和应用，帮助读者快速而全面地掌握这款专业的后期合成软件。全书共11章，包括后期合成的基础知识、软件概述、创建和管理项目、图层、文本动画、绘画与形状工具、蒙版和跟踪遮罩、创建三维空间动画、色彩调节与校正、抠像、商业案例实战等内容，各章内容由理论和实践组成，案例丰富、由浅入深，使读者能够快速掌握Afer Effects 2022的知识点，并应用到实际的动画项目制作中。
本书附赠立体化教学资源，包括案例素材

本书以UG NX 12.0为平台，通过具有代表性的案例，全面系统地介绍该软件在机械设计、机械加工领域的具体使用方法和操作技巧。
本书共7个项目，分别是：UG NX基础操作、二维草图绘制、实体建模、曲面建模、装配设计、工程图设计、CAM数控加工。全书共18个任务，基本涵盖了UG中涉及的知识点，内容上有基础，有提高，具有较强的针对性和实用性。本书在讲解的过程中使用了大量图、表，以方便读者轻松掌握相关操作。每个项目后附有巩固练习题，使读者可以及时检测知识和技能的综合运用情况。另外，本书配备了丰富

在本书之中会从零开始为读者详细地进行Spring开发框架的原理分析，并且通过一系列的案例讲解Spring开发应用的基础模型，并基于此模型进行不断的应用结构扩展，除了核心的IoC&DI、AOP技术之外，还讲解Spring JDBC、事务处理框架、Spring Data JPA、Spring Cache以及常见的RabbitMQ消息组件于Spring AMQP服务整合。
除了核心的技术实现之外，本书也针对当前Java面试中常见的问题进行了总结，同时通过功能管理的设计方式进行了Spri

这是一本面向零基础读者的Python程序开发入门书。全书以算法设计为主线，以大量生动有趣的项目案例为依托，以图表、动画、视频、实际操作等多种知识呈现的形式深入浅出地介绍了Python程序设计的基本知识和应用技巧。同时，书中还融入了精心设计的思政要素，力求达到传授知识、培养能力和塑造价值的有机融合。
全书共8章。主要内容包括Python初步、简单程序设计、分支程序设计、循环程序设计、组合数据类型及其应用、函数及其应用、文件及其应用、使用第三方库等。
本书结合作者多年的教学经验编写而成，

本书系统介绍Bootstrap 5的相关知识及其应用，知识全面、案例丰富、易学易用。本书共11章，内容可以归纳为4部分，即Bootstrap 5的基本知识、弹性布局和栅格布局、组件和表单、实际网站的设计和实现；同时，本书还将Bootstrap 5与之前的版本及DIV+CSS布局进行对比，从多个维度介绍基于Bootstrap 5的Web前端开发技术的优势。此外，编者细致整理了本书所有案例的源码和素材资源，以便读者扎实学习并系统掌握Bootstrap 5这一Web前端开发框架。 本书可作为普通高等院