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

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

主要内容● 优化基础设施，以模块化并隔离依赖关系● 缓解、排除故障并隔离失败的基础设施变更● 采用蓝绿部署策略，以最少的停机时间更新基础设施● 使用模式进行资源置备、配置管理及镜像构建

《三维角色场景设计》是一本讲解3D 游戏场景和角色制作的专业图书，全书分为概论、基础知识讲解和实例制作三部分。概论部分主要对当今游戏行业的发展、游戏项目团队的架构、产品整体研发制作流程以及游戏设计师的学习规划和职业发展进行了讲解。基础知识部分主要讲解3D 场景和角色的设计制作流程及3ds Max 软件的基本建模操作。实例制作部分通过各种典型的游戏项目案例使读者系统地掌握3D 游戏场景和角色的基本制作流程、方法及技巧。《三维角色场景设计》既可作为初学者入门3D 游戏美术制作的基础教材，也可作为高校动漫游戏设计专业或培训机构的教学用书。

金融量化分析不仅需要掌握金融领域的知识，还需要掌握相关的计算机编程技术。《Python金融量化分析》全面、系统地介绍金融量化分析所需要掌握的技能。无论是具有丰富的编程经验的读者，还是普通的投资爱好者，均可参照本书内容开发自己的量化交易策略回测代码，实现金融量化分析辅助投资的目的。《Python金融量化分析》共9章，涵盖的主要内容有金融量化交易策略分析概述，Python的基础语法，Pandas模块基础，NumPy基础，数据获取与清洗，金融量化交易策略实战，TA-Lib、Empyrical与Mplfinance模块的使用方法，金融数据回归分析，ARIMA与VAR模型在金融量化领域的应用，开源金融量化交易策略回测框架Backtrader的使用方法等。掌握这些内容，可以解决金融量化分析涉及的编程语言基础、数据获取、量化交易策略构建、统计学与金融学理论在金融量化领域的高级应用，以及现有的量化回测框架的使用方法等实际问题。《Python金融量化分析》内容丰富，体系完整，讲解细致入微，既适合Python金融量化分析入门人员阅读，也适合有志从事量化投资工作的各类研究人员和从业人员阅读与参考，还适合作为高等院校金融和投资类相关专业的教材。

Illustrator是Adobe 公司推出的一款功能强大的矢量应用软件，可以用来绘制插画、制作海报、设计网页等。它既可以用来处理矢量图形，也可以用来处理位图。本书正是一本优秀的实训学习用书。本书采用理论结合实战的方式编写，兼具实战技巧和应用理论，随书附赠所有案例的源文件、素材、视频教程和教学PPT。视频教程可以让读者在类似看电影的轻松状态下了解案例的具体制作过程，结合源文件和素材能使读者更快速地提高设计水平。作者编写本书的初衷是兼顾理论与实践，所以在内容编排上通过理论与案例相结合的形式来展现每章的知识点，让读者能够真正做到在完成案例的同时掌握软件的功能。本书的案例中包含精通目的、技术要点、视频讲解等内容，从而大大地丰富了一个案例的知识点。

《Excel与Power BI数据分析及可视化标准教程（实战微课版）》以Power BI的应用为主导，Excel数据整理和分析为辅助，对数据处理与可视化分析进行全面讲解。《Excel与Power BI数据分析及可视化标准教程（实战微课版）》共8章，以用户熟悉的Excel为出发点，逐渐过渡到Power BI的知识范畴。《Excel与Power BI数据分析及可视化标准教程（实战微课版）》注重理论与实践相结合，大量的“动手练”环节为读者提供实操练习的机会，以便更好地掌握操作要领，加深学习的印象。另外，每章最后放置“新手答疑”板块，总结新手在学习过程中经常遇到的问题，并予以解答。《Excel与Power BI数据分析及可视化标准教程（实战微课版）》结构完整清晰、内容循序渐进、语言通俗易懂、排版美观大方，不仅适合Excel及Power BI入门和进阶读者阅读使用，也适合高等院校相关专业的师生学习使用，还适合数据分析相关岗位的从业者自学使用。

广州中望龙腾软件股份有限公司（简称中望软件）开发的3D One AI是一款功能强大的三维仿真软件，集成了三维创意设计、人工智能、开源硬件和编程等功能。利用3D One AI提供的三维虚拟仿真功能，我们可以快速构建并模拟真实的科技应用场景，将抽象的人工智能知识可视化呈现。本书以生活中的常见应用场景为案例设计基础，详细介绍3D One AI的基本操作及功能，通过案例的制作来引导学生理解和掌握相关的知识点。学生学习本书，可以掌握3D One AI的基本操作和功能，并且能够通过案例的制作来提高自己的实践能力和问题解决能力。同时，本书也注重知识的系统性和连贯性，让学生能够更好地掌握3D One AI的完整应用流程。本书适合作为中小学信息科技社团的人工智能教材，也可作为中小学教师开设人工智能课程的参考用书。

本书紧密围绕软件开发人员在编程中遇到的实际问题和开发中应该掌握的技术，以实例的形式，全面介绍应用C#进行软件开发的技术和技巧。本书共16章，包括窗体与界面设计，控件应用，图形技术，多媒体技术，文件系统，操作系统与Windows相关应用，数据库技术，SQL查询相关技术，LINQ查询技术，打印技术，图表技术，网络开发技术，加密、安全与软件注册，C#操作硬件，人工智能应用，游戏开发。本书所有实例的源代码都经过精心调试，在Windows 7、Windows 10等操作系统下测试通过，均能够正常运行。

本书秉承“新工科”理念，从科研、教学和工程实际应用出发，理论联系实际，全面系统地讲述了 基于 STM32F103 的嵌入式系统原理与应用。 全书共 12 章，主要内容包括绪论、嵌入式微处理器、STM32 系列微控制器、嵌入式开发环境的搭 建、STM32 中断、STM32 GPIO、STM32 定时器、STM32 通用同步/异步收发器、STM32 SPI 串行总线、 STM32 I2C 串行总线、STM32 A/D 转换器和 STM32 DMA 控制器。全书内容丰富，体系先进，结构合理， 理论与实践相结合，尤其注重工程应用技术。 本书可作为高等院校各类自动化、软件工程、机器人、自动检测、机电一体化、人工智能、电子与 电气工程、计算机应用、信息工程、物联网等相关专业的本科生、研究生的教材，也可作为广大从事嵌 入式系统开发的工程技术人员的参考用书。