本书是关于现代类型论的专著。与集合论类似，现代类型论是数学及诸多领域的 基础语言。本书介绍了现代类型论（及其元理论），并以自然语言语义学和计算机辅助 推理为例对以现代类型论为基础的应用领域进行深入浅出的讨论。作为基础语言，现 代类型论一方面提供了丰富的描述机制，另一方面便于理解与实现，因此与集合论相 比有着多方面的优势。这些优点在实际运用中展示出来：作为范例，书中深入研究了 基于现代类型论的自然语言语义学，以加深读者对此的理解。书中还介绍了以现代类 型论为基础的交互式证明技术在数学形式化、计算机程序验证及自然语言推理诸方面 的应用，进一步展示了使用现代类型论作为基础语言的优势。 本书适合研究自然语言语义学、计算机科学和逻辑学等领域的学者及研究生和 对相关内容感兴趣的读者。

本书从技术角度系统讲解了Node-RED的使用方法和如何应用Node-RED开发物联网应用，是Node-RED领域的标准性著作，得到了Node-RED项目创始人Nick O'Leary的高度评价。具体地，本书包含Node-RED的设计思想、技术基础、环境搭建、流程创建、使用方法、配置方法、内部节点、应用开发方法，以及解决常见需求的44个流程，几乎涵盖了使用Node-RED开发物联网应用所需的所有基础知识，能为读者建立完整的Node-RED知识体系和框架。本书注重使用Node-RED开发物联网应用的各种技术和方法，它还有一个姊妹篇《Node-RED物联网应用开发工程实践》，讲解了Node-RED的官方扩展节点、自定义节点、团队开发等物联网应用端到端开发的细节，以及数据采集、智能家居、智能办公、智能节能方面的4大工程实战案例。这两本书都配有大量辅助资源，包括流程实例、配置文件、实例代码等，可以通过本书的配套网站（Node-RED中文站）来获取。

本书系统地介绍了创新与创业体系，包括创新思维、创新方法TRIZ、技术系统进化法则、创新创业资源、创意、创业方向、产品、运营、销售、市场、基于“物联网 ”新技术资源的创业、基于“数据时代云计算、大数据、人工智能”新技术资源的创业、基于“区块链 ”新技术资源的创业、创业团队搭建、创业计划书撰写、创业公司特点与融资、创业实践与路演等内容。本书特色是引入创新创业资源，侧重创新创业实践，读者对象是大学生、研究生和对创新创业感兴趣的读者，对基于高科技创新创业的读者，以及投资机构、投资人，双创教育的教育工作者都可以参考。

《互联网金融理论与实务》是作者多年从事金融工作和互联网教学工作经验的结晶，分为基础篇、技术篇、应用篇三大部分。《互联网金融理论与实务》通过互联网的理论和操作将金融知识、互联网知识、营销知识、金融科技知识融为一体，共有金融与互联网金融、大数据、云计算、区块链技术、人工智能、第三方支付、众筹、区块链 供应链金融、互联网金融营销、互联网金融监管等内容，通过理论和实际操作以及典型案例进行融合、归纳，形成一个比较完整的、理论与实践有机结合的构架体系。《互联网金融理论与实务》配套有电子课件、电子教案、视频案例、习题及习题答案、模拟试卷等资料，并将适时更新。《互联网金融理论与实务》既可作为高职高专院校财经类专业的教材，也可作为金融从业人员的参考书。

当今社会，数字技术的快速发展，给我们带来了前所未有的丰富的信息传播方式与交流渠道，赋予我们更加便捷和多元化的表达方式与互动方式。在这个多元化的媒介环境中，视频新媒体已经崛起为最活跃、发展最快速的信息媒介之一。视听内容愈加丰富多彩，观看终端更加普及方便，人们愈发追求真实、直观、易记和情感互动。可以说，视频新媒体已成为人们获取新闻资讯、社交互动、教育学习、文化娱乐、商业营销等的主要工具。本书旨在为广大传媒、教育、政企等机构及个人创作者提供较为全面、实用的视频新媒体技术和应用案例。书中内容面向视频新媒体主流技术与应用，涵盖视频直播、短视频、实时制作、媒资、运营等内容，既注重对具体技术的深度阐述，也重视剖析实践案例；既注重展示技术体系规范，也着力提供应用实现方法。书中许多案例和实践经验来自编著者实际工作和项目实践总结，希望能够让读者从中收获较全面、易掌握的视频新媒体技术理论和应用技能。

主要内容● 探索关系数据库和SQL● 安装MySQL服务器● 处理SQL数据● 连接SQL数据库● 通过Python、Java和其他语言与SQL交互● 常见和有用的SQL术语● 构建和规范化SQL示例数据库

本书主要围绕DevOps的核心CI/CD，详细讲解了企业级CI/CD的相关技术内容。全书共11章，首先讲解了持续集成系统Jenkins入门知识、Jenkins运维管理、Jenkins流水线的语法与进阶。接着讲解了持续集成阶段的工具平台实践、GitLab版本控制系统实践、Maven等构建工具实践、SonarQube代码质量平台实践、Nexus Repository 3制品库平台实践。持续部署分别基于云主机和Kubernetes环境的持续集成和持续部署实践。最后讲解了使用基础设施即代码工具Terraform管理阿里云平台资源。通过本书的学习，读者将熟练掌握企业级CI/CD的实践方法和思路。本书适合具有1～3年运维或开发工作经验、或者对DevOps感兴趣的读者学习。

随着科技的快速发展，工业4.0的浪潮油涌而来。工业4.0被认为是第四次工业革命，它的核心在于通过数字化、自动化和互联化的手段实现工业生产的智能化和高效化，而机器视觉是实现工业自动化和智能化的关键核心技术，其在工业生产中的广泛应用使传统制造业烧发勃勃生机。机器视觉技术现已广泛应用于工业、农业、医学、安防、交通等领域，不断推进新一轮产业革命的到来。研究该领域的发展态热、技术热点与发展前景，对推动我国机器视觉领域发展、工业4.0转型意义重大。本书采用专利分析、文献计量等研究方法，对国内外机器视觉技术开展了深度的专利研究。从机器视觉概念入手，对机器视觉整体发展态势进行了专利分析，将该技术拆解为硬件与应用两大板块，着重从专利角度梳理技术发展趋势、主要申请人、专利申请区域、主要技术领域和专利发展路线，其中特别关注了中美两国的技术热点差异。本书还深入分析了该领域国内外优势企业的专利构成与发展态势，为我国机器视觉产业的发展提供数据与信息支撑。本书分为五个部分。第一部分（第一章 ） 为背景介绍，概述了机器视觉的概念及特点、关键技术、技术优势，国内外机器视觉产业的主要政策与规划，并分析了机器视觉行业的具体情况。第二部分 （ 第二章、第三章 ） 主要采用专利分析方法，对国内外机器视觉的专利展开研究分析，从时间、地域、技术热点、申请人及核心专利等维度把握领域整体研究情况。第三部分（第四章、第五章 ） 对机器视觉硬件与机器视觉应用两大板块分别梳理剖析，涵盖专利申请趋势、申请人、主要专利申请区域、主要技术领域和专利技术发展路线。第四部分 （第六章、第七章 ） 着重对国内外机器视觉领域的人全） 机吕视党技术专利分析研究 rr领先企业进行具体分析，介绍企业概况、企业专利申请趋势、企业核心专利、企业关键技术、主要发明人和团队，以及其近3年技术趋势分析。第五部分 （第八章 ） 对机器视觉作了研究总结，分析其发展前景，提出了对策建议。本书中专利数据来源为Derwent Innovation与incoPat全球科技分析营运区

本书共分四部分，全面介绍如何基于Python微框架Flask进行Web开发。第一部分是Flask简介，介绍使用Flask框架及扩展开发Web程序的必*基础知识。第二部分则给出一个Web 2.0实例，真正带领大家一步步开发完整的博客和社交应用Flasky，从而将前述知识融会贯通，付诸实践。第三部分在初步了解Web 2.0建站流程的基础上，建立一个简单的Web 3.0商城。第四部分介绍了发布应用之前必须考虑的事项，如单元测试策略、性能分析技术、Flask程序的部署方式等。本书采用Python 3.X、MongoDB软件，适合熟悉Python编程，有意通过Flask全面掌握Web开发的程序员学习参考。

《中文版 Abaqus 2022 有限元分析从入门到精通（实战案例版》详细介绍了 Abaqus 2022 有限元分析的使用方法和应用技巧，是一本 Abaqus 基础教程，同时包含了大量的 Abaqus 视频教程。全书共 12 章，包括 Abaqus 概述、Abaqus 建模、定义属性和分析步、定义相互作用和载荷边界条件、划分网格与分析作业、可视化后处理、线性静力学分析、非线性力学分析、模态分析、显式动力学分析、热力学分析用户子程序等知识。本书在知识点的讲解过程中，结合大量的实例案例，详细介绍了 Abaqus 2022 有限元分析全方位的知识应用。实例讲解配有详细的操作步骤，图文对应，既可以提高读者的动手能力，又能加深对知识点的理解。 本书的实例案例配有同步微视频讲解，读者可以扫描书中二维码，随时随地看视频，使用方便。另外，本书还提供了实例的源文件和结果文件，读者可以直接调用和对比学习，提高学习效率。为进一步提高读者的实际应用水平，本书赠送 14 套有限元分析的拓展学习案例，包括讲解视频和源文件，读者可下载学习。本书适合 Abaqus 有限元分析的入门读者学习使用，也适合工程技术人员参考学习相关内容，应用型高校或相关培训机构也可选择本书作为相关课程的学习教材。