本书以开放网络环境下复杂软件的可信性需求为背景,系统的研究和论述复杂软件系统的可信性分析与验证的关键性理论和技术问题。重点论述了复杂软件系统及其组合可信性质评价方法、软件系统过程建模与验证、软件系统过程可信性质建模与分析、组合软件多维可信可信性保障方法等问题。并结合航空电子软件系统探讨了相关方法的实际应用。

本书共分为两大部分:软件介绍与实验操作、测试题及参考答案。软件介绍与实验操作部分包括:Windows10操作系统、Word2016文字处理、Excel2016电子表格处理、PowerPoint2016演示文稿制作、Access数据库基础、网络基础和Internet应用、AdobePhotoshop图像基础和AdobeF

本书主要包括AutoCAD2022(中文版)操作环境、绘图流程、基本绘图命令、基本编辑命令、图案填充、文字、块及外部参照、尺寸和公差、显示控制、参数化及其他辅助功能、输出、三维建模等。实用教程一般包括菜单、按钮和命令的操作方法和操作实例,每一章后的习题主要是为了掌握基本概念和方法;上机操作指导通过综合实例先引导操作,然

本书重在培养读者Web前端开发与设计能力，针对行业对Web前端工程师岗位的**需求，采用“逆向制定法”设计教材内容，即根据Web前端岗位的工作内涵，分析对应知识、技能与素质要求，确立每个模块的知识与技能组成，对内容进行甄选与整合，实现知识传授与技能培养并重，以使人才培养目标与岗位需求相契合。在同类型的书籍中，内容大多是

本书分八个章节，先是通过数字绘画的概念，介绍无纸插画与漫画的特点、优缺点，介绍数字绘画的常用软件与工具，教授读者正确对待、学习、使用工具与软件；其次通过对数字绘画创作的基础知识学习，了解插画中的透视、构图、色彩、光影、材质等；在第三部分，介绍常用软件在创作插画中的基本设置和应用；第四部分，进行创作流程、意识、思路分析，

本书共分9章：第1章数据库基础知识；第2章Access2016数据库；第3章表；第4章数据查询；第5章窗体；第6章报表；第7章宏；第8章VBA编程基础；第9章VBA数据库编程。每章均提供了大量的典型案例，供读者练习。

本书根据教育部考试中心有关文件要求（2021年12月)、全国计算机等级考试二级Access数据库程序设计考试大纲(2022年版)教学要求组织编写而成。通过实验指导，培养学生利用计算机解决实际问题的能力，更加注重培养学生的实践动手能力、应用能力及创新能力，使学生能够在今后的学习和工作中，将计算机技术与本专业紧密结合，使计

本书以理论知识的阐述为主线，辅以众多应用案例的讲解，详细介绍3dsMax软件的主要功能。本书共分9章，分别讲述了三维动画基础知识、基础建模、高级建模、材质与贴图、灯光、动画、粒子系统与空间扭曲、环境和效果、摄影机与渲染等内容，在每章的“实战演练”栏目中均选取了典型商业应用案例进行详解。

本书以“案例精讲→知识讲解→经验之谈→上手实操”为主线，对UI设计的基础知识及其设计应用进行了全面介绍。全书共分6章，第1章主要讲述UI设计的基础知识；第2-6章按照UI设计的各应用场景进行介绍，分别讲述网页uI设计、移动UI设计、图标设计、软件界面设计、游戏界面设计等内容。

本书以理论知识的阐述为主线，辅以众多应用案例的讲解，对CorelDRAW的主要功能进行了全面介绍。本书共分12章，第1章为“学前预热”篇，旨在全面了解CorelDRAW的应用；第2-9章为“基础知识”篇，包括CorelDRAW的基本操作、绘制图形、颜色填充、对象的编辑与操作、图形特效、文本应用、位图图像的处理、滤镜特效