《交互设计：从理论到实践》采用理论与设计实践相结合的方式，期待读者通过阅读，能够系统掌握交互设计相关的基本概念、基础理论，以及交互设计所涉及的应用领域及其关键技术，深入理解用户研究的定性和定量研究方法，掌握交互原型设计和可用性测试的一般方法与流程，培养读者应用交互原型设计相关软件熟练进行交互原型设计的能力，提高读者在IT、IoT和ICT等领域的设计视野和设计实现的能力。

软件可信性度量评估与增强规范是目前计算机科学与软件工程的一个重要研究领域，其研究成果对可信软件开发等方向有重大的理论价值和实际意义。《软件可信性度量评估与增强规范》融入了作者及其研究团队近十年来承担完成国家重要研发任务的研究与应用成果，深入系统地论述了软件可信性层次化度量模型构建、分级评估体系设计以及增强规范制定等新研究成果。《软件可信性度量评估与增强规范》共分为7章，包括：软件可信性概论、软件可信性层次化模型、基于属性的软件可信性度量模型、面向源代码的软件可信性度量模型与规范、软件可信性量化分级评估方法、软件可信性增强方法、基于出厂报告的软件可信性度量评估与增强规范。

Python简单易学，拥有丰富的库，并且具有极强的包容性。本书展示了如何利用Python语言的强大功能，以*小的编程代价对数据进行提取、处理和分析。这一版除了介绍数据分析和Python基础知识、NumPy库和pandas库，使用pandas读写和处理数据，用matplotlib库实现数据可视化，用scikit-learn库进行机器学习，D3库嵌入和识别手写体数字，还新增了用TensorFlow进行深度学习，用NLTK分析文本数据，用OpenCV分析图像及实现计算机视觉等内容。

《软件安全性需求形式化建模和验证》基于软件安全性领域内的非常不错标准和手册，将形式化理论和方法应用于软件安全性需求建模和验证工作中，以一个前后完整的需求建模和验证工作过程来体现形式化理论和方法对软件安全性需求建模和验证的支持能力，详细介绍了软件安全性需求的工作过程，以及形式化方法对软件安全性需求过程的支持方法。

微服务具有模块性强、可替代性强、可持续开发、可独立伸缩、可持续交付等优点，近年来受到越来越多的开发者以及一些经验老到的架构师的青睐，采用微服务架构的公司也越来越多。本书围绕架构和团队的主题，详细介绍了微服务的各个方面，包括采用微服务的原因、微服务架构的基础知识、微服务的实际应用、如何克服相关的挑战，等等。本书还包含具体的实现示例，在代码层面详细介绍了微服务的技术实现。

内 容 提 要本书全面讲解了Unity Shader渲染的实用技术，分为5篇，共31章。主要内容有着色器的概念和渲染流水线，渲染原理和图形存储器，Unity中着色器的形态，着色器中用到的各种空间概念，基本的光照模型，通道，前向渲染路径，基于光照贴图的烘焙照明，柔和的低频照明，各种阴影，通道的通用指令开关，固定流水线，表面着色器，常用的材质，雾的计算，物体的分割，自定义光源，高级效果，以及着色器的组织和复用，渲染优化等。本书适合移动开发者、游戏开发者、程序员阅读，也可作为大专院校相关专业的师生用书以及培训学校的教材。

《常用工具软件（第7版）》从常用、实用功能出发，在《常用工具软件（第6版）》一书的基础上，筛选了目前版本新、流行的常用工具软件进行讲解。全书共分八章，包括系统工具篇、病毒安全篇、网络工具篇、影音工具篇、图形图像篇、应用工具篇、在线工具篇、移动应用篇。《常用工具软件（第7版）》内容浅显易懂、图文并茂，以解决实际问题为基本立意，通过阶梯式任务，将各个软件的主要功能及使用方法浓缩于任务中。同时书中穿插必要的理论知识，以加强对工具软件的理解和掌握。

《WeDo2.0乐高机器人初级教程/STEM教育培训系列》主要介绍WeDo2.0乐高机器人套装、器件介绍、编程简介、WeDo2.0基础实验、WeDo2.0引导实验和WeDo2.0进阶实验，每个实验包括阅读与思考、设计与制作、程序编编看、拓展与提高、STEAM内涵和英语角等。《WeDo2.0乐高机器人初级教程/STEM教育培训系列》通过引导学生利用WeDo2.0零件搭建生活中常见的模型，探索生活中的科学原理，初步理解拉力、速度、电机、集线器等重要的自然科学概念。

本书是一本围绕数字用户界面中图标设计创意思维展开的理论与实践教程。本书分为上下两部分。第一部分为图标基础知识，包括：第1章图标概念起源和图标设计作为数字媒体专业必需课的课程教学结构；第2章介绍了图标设计历史与现状，特征与分类，创意原则等内容；第3章是与图标设计相关的一些基于符号学，认知理论，图标语言理论的介绍； 第二部分为应用实践部分，包括：第4章图标在设计过程中的流程和创意思维阐述；第5章从形，色，肌理；动态与情感角度对图标设计要素的讲解与举例；第6章则是一个图标设计制作实践案例的演示教程。本书旨在帮助读者从原理和实践两方面深入理解图标设计的基础理论和思维方法与流程，在内容编排上侧重让读者从了解基本概念推进到掌握思维方式，以便读者在面对图标设计时有一个较为明确的思考切入点，进而层层深入完成设计。本书适用于数字交互艺术 数字媒体 视觉传达设计 游戏美术设计等专业课程教学用书，面向图标设计学习者与爱好者，或者初学者购买的专业教学用书，亦适合作为培训班学员在图标创意思维与设计领域购买的自学辅助用书。

《软件安全》内容共分为10章。第1章为软件安全概述。第2、3、4章对软件漏洞概念、典型的软件漏洞和软件漏洞的挖掘与利用进行了详细的介绍与分析。第5、6、7章则对恶意代码进行概述，并分析了恶意代码的机理以及防范技术。第8章介绍了软件攻击与防御的一般技术。第9章介绍了软件分析技术。第10章介绍了一般软件防护技术。该书可以作为普通高等学校网络空间安全、信息安全等专业本科软件安全课程教材，亦可以供其他专业学生和科研人员参考。