本书共有13章，分为三大部分，即概念、设计和实施。具体内容包括：第一部分（第1~5章）为全书提供了概念基础，涉及信息安全和隐私基础概述、威胁建模、对可识别威胁进行防御性缓解的通用战略、安全设计模式，以及使用标准的加密库来缓解常见的风险。第二部分（第6~7章）分别从设计者和审查员的角度讨论了如何使软件设计变得安全的指导，以及可以应用哪些技术来实现安全性。第三部分（第8~13章）涵盖了实施阶段的安全性，在有了一个安全的设计后，这一部分将会解释如何在不引入额外漏洞的情况下进行软件开发。

本书通过问答的形式简明扼要地回答了工业软件领域的关键问题，共分为8章，涵盖了工业软件的基本概念、产品研制、所需IT资源、产品应用、产业发展、人才培养、生态建设以及与新兴技术的交汇与融合等内容。本书旨在进一步提高产业界对工业软件及其相关概念的理解，凝聚全社会对发展工业软件产业的紧迫性和重要性的共识。 本书适合工业软件产业政策制定者、工业软件供给侧和需求侧企业工作者、相关金融投资者以及在校学生和对工业软件感兴趣的读者阅读。

如今数字媒体技术已经渗透到人们生活的方方面面，当前绝大多数的动画设计都需要应用
业的发展，并且使动画制作形式变得更加多元。本书主要研究数字媒体在动画制作中的应
探讨了动画制作的一般流程，梳理了数字媒体技术在动画制作中的应用特点。该书对数字
应用数字媒体技术进行了详细的论述，能够为当前动画业的发展提供思路，具有一定的学术

内容简介： 《你好，Python》首先介绍各种计算机编程语言的特点、编程思维和程序开发的理念，分析Python语言的发展和选择Python语言的价值和意义；然后着重介绍Python开发工具的下载和安装，Python编程语言的语法、变量、运算、条件判断、循环、函数、输入输出、模块和标准库等知识；最后讲解编程开发方面的经典程序问题、经典算法，并通过Python编程实例，来讲解如何解决网络编程、数据库、电子邮件、数学计算、图形界面等真实问题。

《图解算法：使用C++（视频教学版）》是一本综合讲述数据结构及其算法的入门书，力求简洁、清晰、严谨、且易于学习和掌握。
《图解算法：使用C++（视频教学版）》从介绍计算思维与程序设计两者之间的关系展开，首先讲述如何培养计算思维的4个部分：分解、模式识别、模式概括与抽象、算法。接着介绍经典算法的分类：分治法、递归法、贪心法、动态规划法、迭代法、枚举法及回溯法。还介绍常用数据结构：树结构、图论及哈希表。介绍了这些基础知识之后，在接下来的各章中分别介绍排序算法、查找算法、数组与链表相关算法、信息

本书主要介绍作者近年来在深度学习与图像处理等方面的研究成果，包括图像去模糊、视频信息缺失补全、图像分类识别、图像领域自适应、多源跨域图像迁移学习相关理论和方法，用到的模型主要包括多尺度编解码深度卷积神经网络、多尺度特征金字塔网络、双判别器生成对抗网络、渐进增长生成对抗网络、贝叶斯正则化深度卷积神经网络、深度对抗域自适应网络、深度加权子域自适应网络等。

本书是基于华为eNSP 模拟仿真环境编写的防火墙项目化教程。本书共12 个项目，包括防火墙基础知识、防火墙登录方式、防火墙安全策略、防火墙源NAT 策略、防火墙NAT server 策略、双向NAT 、双机热备——主备模式、双机热备——负载分担模式、GRE-VPN、L2TP-VPN、IPSec-VPN 和GRE over IPSec VPN。
本书通俗易懂，可操作性较强，可作为信息安全专业、计算机及相关专业的教材，也可以作为华为HCIA-Security 或HCIP-Security 的培

C++是一种集过程化程序设计、面向对象程序设计于一体的编程语言，是对C语言的继承。全书共4章，以通俗易懂的语言和丰富的实例分别介绍了C++的开发环境、语言特性、新的变化和项目实战。开发环境主要介绍了编译环境的构建和集成开发环境；语言特性则从C++中的四大特性说起，分析了虚指针、虚函数、字节序与对齐和操作符重载等；新的变化部分以丰富的代码样例对C++11标准的演进作了详细阐述；项目实践则结合高铁/动车模拟抢票系统，讲述实际开发的整体流程。书中所有知识点均给出了代码实例和详细注释，读者可以轻松领会C

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

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