本书是关于现代类型论的专著。与集合论类似，现代类型论是数学及诸多领域的基础语言。本书介绍了现代类型论(及其元理论)，并以自然语言语义学和计算机辅助推理为例对以现代类型论为基础的应用领域进行深入浅出的讨论。作为基础语言，现代类型论一方面提供了丰富的描述机制，另一方面便于理解与实现，因此与集合论相比有着多方面的优势。这些优

图神经网络不仅能够解决传统机器学习方法无法解决的图数据问题，而且能够应用于许多实际场景，例如社交网络、药物发现、网络安全、金融风控等。《图神经网络基础、模型与应用实战》旨在为初学者和实践者提供一个详细、全面的入门指南，围绕图神经网络基础、模型、应用实战（均采用Python+PyTorch实现）等方面进行介绍。《图神经网

新编计算机基础教程(微课版)》基于教学实践编写而成，在写作过程中，根据“夯实基础、面向应用、培养创新”的指导思想，以介绍计算机基础知识和基本应用技能为主线，具有内容丰富、层次清晰、通俗易懂、图文并茂、易教易学的特色。新编计算机基础教程(微课版)重点突出了教材的基础性、应用性和创新性，旨在提高大学生的计算机应用能力，并为

《数字身份认证技术与实践》内容涵盖身份认证的基础理论，包括身份认证与授权的区别、常见的认证方式以及关键技术和协议，如SAML、OAuth2.0、OIDC等。除基础概念外，《数字身份认证技术与实践》还展示如何在不同的环境中安全地接入和实现身份认证，包括纯前端应用、BFF和后端领域服务。同时，《数字身份认证技术与实践》详细

模型制作是产品设计开发过程中体现设计概念的重要方法和手段，为产品概念的实现提供了可进行综合分析、研究与评价的实物参考依据，保障产品从研发顺利过渡到正式生产阶段。《产品设计模型制作与工艺(第四版)》共分为11章，内容包括产品模型概述，产品模型制作材料的选择与应用，产品模型制作常用的工具、设备及安全防护，使用聚氨酯、纸质、

本书面向华为设备，以一个真实的企业网搭建项目贯穿全书，共分四篇。第一篇为教学项目准备，通过引入教学项目，引导学生了解课程目标，提高学生的学习兴趣；第二篇为教学项目实施，紧紧围绕引入的教学项目，按照一般网络项目实施的工作流程，从企业总部内网搭建，到企业内外网路由连通，再到企业网络安全控制，直至无线网络配置4大步，分成11

《Photoshop产品设计与表现》首先详细介绍计算机辅助工业设计的相关内容，对各种辅助设计软件进行对比分析，使读者了解这些软件在工业设计中的作用，并根据自己的需要选择学习，避免盲目学习软件技能；其次，本书对设计表达的相关理论知识进行讲解，从形态的体量感、质感，以及产品常见的材质特征、滤镜表现等方面分析和讲解产品形态表

本书较为全面地介绍了Cinema4D2023的基本操作和核心功能，选取了部分“1+X”数字创意建模考试真题与企业真实项目融合。全书共包括7个项目：初识Cinema4D、Cinema4D数字创意建模基础、卡通角色设计、虚拟数字人中国娃娃、Cinema4D动画、Cinema4D与Arnold渲染器、“1+X”数字创意建模综

本书重点介绍了AutodeskNavisworks中文版建筑施工模拟的各种基本操作方法和技巧。其**的特点是，在进行知识点讲解的同时，不仅列举了大量的实例，还增加了上机操作，使读者能够在实践中掌握AutodeskNavisworks的操作方法和技巧。全书分为13章，分别介绍了概述、基本操作、视图浏览、图元、管理选择集、

本书以智能制造产线为对象，介绍了智能制造产线运行优化涉及的关键技术:产线状态数据实时采集与云-边协同计算技术、产线混合生产任务的集成规划与优化技术、产线生产物流的主动感知与协同调度技术、刀具磨损状态智能监控与寿命预测技术、工件加工质量的误差分析/溯源与预测技术、复杂数控加工装备的健康状态综合评价技术等。这些关键技术是实