本书介绍了ISO/IEC15026系列标准中的系统和软件保证方法——软件保证举证。全书共6章，首先概述了软件保证举证的相关知识，接着详细介绍了软件安全性举证、软件可靠性举证、软件保密性举证和软件可信性举证的基础知识、举证框架、论证模式及应用实例，最后给出了基于非形式逻辑理论的软件保证举证信心评定方法。 本书适合从事软件

这是一个关于色彩、地图和数学的故事。只用四种颜色就能为世界地图染色，而且保证不会有两个邻接的区域颜色相同，这可能吗？在一百多年里，几乎每一位伟大的数学家都曾思考过这个看似简单的问题，但直到有了计算机的帮助，数学家们才得到一个完全的证明。然而，这种证明方式也引发了数学界的巨大争议……本书介绍了“四色问题”的历史及背后的数

这是一本油画棒爱好者的临摹素材宝库!本书以堆堆乐、刮刮乐、叠叠乐、调调乐四个油画棒技法为主线，展示了各式雅致清丽的油画棒小作品。书中不仅有以花束、花环、动物、甜品、壁纸、公主、少女为主题的临摹素材，更有治愈风景、“呆萌”名画、印象画作，读者可以将其作为临摹小画进行练习，从中寻获取灵感，展开创作。 看得多了，练得多了，想

《音频工程师手册（第5版）》是一本经典、全面的音频参考书。这本书涵盖了音频的各个方面，包括声音与声学概论、声学、电子元器件、电声设备、声频电子电路与设备、记录与重放、设计应用和测量等8大部分，共50章。 第5版有了很大幅度的更新，并增设了4个全新的章节，包括音质的主观评价方法、生理声学—听力障碍—听力保护、教堂声学与

内容提要 本书全面、系统地介绍Illustrator2020的基本操作和核心功能，包括初识Illustrator、Illustrator基础知识、常用工具、图层与蒙版、绘图、高级绘图、图表、特效和商业案例等内容。 本书内容以课堂案例为主线，每个案例都有详细的操作步骤，学生通过实际操作可以快速熟悉软件功能和设计思路。书中

本书全面、系统地介绍3dsMax2020的基本操作方法和动画制作技巧，包括3dsMax2020概述、创建常用的几何体、创建二维图形、编辑修改器、复合对象的创建、材质与贴图、创建灯光和摄影机、动画制作技术、粒子系统、常用的空间扭曲、环境特效动画、高级动画设置和综合设计实训等内容。 本书以课堂案例为主线，通过案例操作，学生

本书是在“新工科”背景下将纸质图书、讲解视频、AR交互动画和电子文档等多种元素紧密结合的新形态教材。 本书分为四部分。第一部分讲述数字电子技术基础，共3章，分别为数制与编码、逻辑代数基础和逻辑门电路。第二部分讲述组合与时序逻辑电路，共3章，分别为组合逻辑电路、触发器和时序逻辑电路。第三部分讲述可编程逻辑电路，共2章，分

本书从主人公的日常学习、生活出发，通过生活中各种科学现象，提出问题，解释其背后的科学知识和原理。书中主人公热爱物理学，充满探索欲与求知欲，人物色彩鲜明。故事构思精巧，人物对话生动，富有生活情趣。故事主题覆盖衣食住行等各个方面，比如跷跷板的原理是什么、为什么“大漠孤烟直”不总是对的、为什么太阳会变成弯弯的、时间是什么、为

本书围绕企业及销售人员在新时代面临的销售挑战，结合ChatGPT的能力，分别讲解了向ChatGPT提问的技巧、在销售的不同环节，包括销售的前期准备、与客户沟通、处理客户异议和维护客户关系等，如何运用ChatGPT来高效工作。本书还介绍了如何使用ChatGPT模拟真实的销售情境，讲解了它在产品卖点挖掘、优化和创新销售策略

写作是一项重要且常见的任务，高质量的写作需要投入大量的时间和精力。生成式人工智能（AIGC）和ChatGPT的出现，为人们又快又好地进行写作提供了新的可能。那么，到底如何利用这些新工具进行高质量写作呢？本书旨在帮助读者充分理解、掌握AIGC和ChatGPT的相关知识和使用方法，提高写作效率，并增加创新元素，使写作过程变