本书是著名作家珍妮特·温特森的一本关于人工智能与人类社会的历史和现状的关系的书。这本书被分为十二个主题，温特森用细腻而敏锐的写作方式讨论了人工智能的伦理问题，讨论了最新的人工智能前沿技术，并鼓励跨学科研究和科学普及。作者认为，人工智能既不是人类也不完全是机器，而是一种相对新颖的技术形式。人类在引导人工智能的发展方向上应

SystemVerilog硬件设计

《生成式AI绘画：StableDiffusion从基础到实战》一书用简洁而又生动的语言，全方位地解读了生成式人工智能绘画的原理、历史沿革、伦理道德等，同时，通过对StableDiffusion平台的全面介绍，以经典案例和典型行业应用（建筑设计、动漫设计、平面设计）为载体，解读了用人工智能进行绘画的思路与步骤，内容包含了

人工智能是引领未来的新兴战略性技术，可以在推动新一轮科技革命和产业变革的过程中产生深刻影响。 本书深度解读了人工智能的概念、技术架构，以及生成式人工智能的逻辑与应用；全面解析了人工智能在医疗、生活、金融、教育、媒体、安防、汽车、工业制造等行业的融合应用与发展；同时深入剖析了人工智能的创业前景，以及人工智能时代的教育和自

本书全面介绍了图神经网络的基础和前沿内容，以及图表示学习的基本概念和定义，并讨论了高级图表示学习方法的发展，旨在帮助研究人员和从业者了解图神经网络的基本问题。此外，本书探讨了图神经网络的几个前沿主题，包括利用图数据描述社会科学、化学和生物学等领域的真实数据的关系，还介绍了图神经网络的若干前沿趋势，能够帮助读者进一步掌握

内容提要 本书构建了模块化、层次化的课程结构，全书共9个模块，以真实工作任务为载体组织教学内容，强化技能训练，能有效提升读者的动手能力。全书围绕“网上商城”数据库和72项操作任务展开，采用任务驱动式的教学方法，全方位促进读者数据库应用与管理能力的提升。 本书以引导读者主动学习、高效学习、快乐学习为目标，选择教学内容与教

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

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

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

本书倡导在计算机迅速发展、技术不断革新的今天，回归到计算机的基础知识上。通过探究计算机的本质，工程师将提升对计算机的兴趣，在面对复杂的新技术时，能够迅速掌握其要点并灵活运用。本书以图配文，以计算机的三大原则为开端，相继介绍了计算机的结构、手工汇编、程序流程、算法、数据结构、面向对象编程、数据库、TCP/IP网络、数据加