本书从制造企业的数字化转型出发，分析了工业互联网时代的工业软件特点以及面临的挑战，以软件的架构设计为基础，从计算、信息、算法等三个维度构建了工业互联网环境下的工业软件构造方法框架，并基于语法级、语义级、语用级等多层次的互操作机制，结合当前主流网络架构，阐述了计算、信息、算法、集成等方面的软件构造技术和前沿发展趋势。本书适合于计算机类和信息管理类的研究生学习，也可作为工业软件领域业务咨询、软件开发、系统运维等相关技术人员的参考指导书。

10大专题内容讲解 108个实操案例解析 130多分钟同步教学视频 160多个素材效果文件 500多张图片全程图解，随书还赠送了5200多个AI绘画关键词等资源！书中的具体内容从以下两条线展开。一条是AI文案线，详细介绍了文心一言的使用技巧，具体内容包括：9个入门技巧、10个写提示词技巧、16种AI指令模板、10个App使用技巧、10个AI文案案例，帮助读者一步一步精通用文心一言创作AI文案的核心技术。一条是AI绘画线，详细介绍了文心一格的使用技巧，具体内容包括：15个初级AI绘画技巧、12个高级AI绘画技巧、9大AI探索功能、7个小程序使用技巧、10个AI绘画案例，让AI绘画变得更简单、更轻松、更高效！本书适合：一是想要了解文心一言和文心一格的读者，包括AI文案创作者、AI绘画爱好者、AI画师、AI绘画训练师等；二是相关行业从业者，包括文案工作者、营销人员、自媒体人、设计师、电商美工人员、插图师、影视制作人员等；三是适合作为相关培训机构、职业院校的参考教材。

本书以SPSS 28.0为软件应用平台，由浅入深地全面讲解SPSS软件在医学统计学上的应用。本书通过图文并茂的方式讲解SPSS在医学统计工作中的各项操作，讲解深入浅出，以案例引导，内容翔实、清晰、直观，易学易用。本书分为16章，详细介绍SPSS与医学统计学，医学资料的描述性统计分析、参数检验、非参数检验、方差分析、相关分析、回归分析、聚类分析与判别分析、主成分分析与因子分析、对应分析、可涵盖信度与多维尺度、生存分析、时间序列分析、统计表与统计图、观察性研究设计、实验性研究设计等内容。本书涉及面广，涵盖医学数据处理中需要使用的各种SPSS功能，全书按逻辑顺序编排，自始至终结合案例进行描述，内容完整且每章相对独立，是一本详尽实用的SPSS医学统计用书。本书适合医学、生物科学领域的学生、科研人员学习使用，也适合作为高等院校医学、生物学等相关专业的教学参考书。

《GPTs与GPT Store应用开发详解》详细介绍了如何根据个人需求和应用场景创建定制化GPTs，为各个行业的创新者开辟了新的可能性，助力了各种新应用和服务的诞生。《GPTs与GPT Store应用开发详解》从理论到实战，由浅入深，对创建定制化GPTs的方法与技术进行了全方位的介绍，为希望深入了解并应用这一前沿技术的专业人士、开发者和爱好者提供了全面的学习指导。从而根据自己的需求定制和优化GPTs。 《GPTs与GPT Store应用开发详解》分四篇，共13章，包括ChatGPT介绍、定制化GPTs基础知识、GPTs使用场景介绍、GPTs创建步骤、使用GPTs的高级定制、使用Zapier完成自动作业、搭建LOGO制作助手GPT、搭建数学学习助手GPT、搭建邮件助手GPT、搭建插图助手GPT、搭建足球比赛查询GPT、GPT Store介绍、GPT Store上架实战。 《GPTs与GPT Store应用开发详解》内容详尽，原理论述简单明了，案例丰富，内容由浅入深，具有很强的可读性。它既适合初次接触AI技术的普通读者阅读，也适合有一定经验的AI从业者借鉴。此外，《GPTs与GPT Store应用开发详解》也适合那些需要了解最新ChatGPT技术的开发人员阅读。

本书以基于ARM Cortex-M0 内核的典型国产芯片—CW32系列单片机为例，从嵌入式产品开发工程师的视角，深入讲解从基本原理、电路设计、软件开发到项目实战的全过程，帮助读者掌握基于ARM Cortex-M0 的嵌入式系统开发的核心技能。此外，本书还注重嵌入式系统开发的实用性、拓展性和可迁移性，旨在使读者不但可以通过本书实战案例掌握CW32的开发应用，还可以轻松地推及、掌握Cortex-M系列（包括STM32系列及衍生的各种国产芯片）单片机产品设计技能。本书既适合作为电子、机电、自动化、物联网及其他相关专业的本、专科学生开展课程设计、毕业设计、电子竞赛培训等的教材，也可作为从事嵌入式系统开发的工程技术人员的参考书。无论读者是嵌入式开发的初学者，还是有一定经验的开发者，本书都能为读者提供全面的学习资源和实用的实战指导，助力读者在嵌入式开发领域取得更大的进步和成就。

暂缺简介...

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

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

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

《医学统计学从入门到精通》从医学统计学最基础的概念讲起，由浅入深讲解医学统计学理论，并辅以配套视频，带领读者进行案例实操。 让读者轻松打破统计学难学和难用的“魔咒”，从而轻轻松松进行临床科研数据的处理。全书共分为17章，涵盖医学统计学思想与原理、初级统计（统计描述：医学统计基础和统计思想、医学统计设 计、医学统计常用描述指标、统计图表）、中级统计（差异分析：参数估计与假设检验、t检验、方差分析、卡方检验、非参数检验）、高级统计（关系分析：相关性分析、线性回归分析、Logistic回归分析、生存分析），以及4章专题内容，涉及医学诊断试验、医学研究常用样本量估算、变量筛选与建模策略和医学统计方法选择。书中采用SPSS、GraphPad Prism、PASS三款软件进行案例实战与视频讲解，让读者体验真正的实操案例教学。 《医学统计学从入门到精通》最大的特色就是内容通俗易懂，实用性强，作者全程录制视频讲学。适用人群为生物医药领域研究生、生物医药领域临床科研工作者、临床医生、科研院所研究人员、临床护士、医药卫生管理人员、医药类高校教师，以及其他对临床科研感兴趣的人员。另外，《医学统计学从入门到精通》也适合作为相关培训机构的教材使用。