本书以基于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三款软件进行案例实战与视频讲解，让读者体验真正的实操案例教学。 《医学统计学从入门到精通》最大的特色就是内容通俗易懂，实用性强，作者全程录制视频讲学。适用人群为生物医药领域研究生、生物医药领域临床科研工作者、临床医生、科研院所研究人员、临床护士、医药卫生管理人员、医药类高校教师，以及其他对临床科研感兴趣的人员。另外，《医学统计学从入门到精通》也适合作为相关培训机构的教材使用。

本书共分四部分，全面介绍如何基于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 有限元分析的入门读者学习使用，也适合工程技术人员参考学习相关内容，应用型高校或相关培训机构也可选择本书作为相关课程的学习教材。

《软件测试需求分析与设计实践》全面系统地介绍软件测试需求分析与设计，从软件测试活动涉及的相关概念入手，着重介绍开展软件测试需求分析的方法、开展测试设计的方法，以及测试工作产品的主要内容，最后给出嵌入式和非嵌入式软件的测试需求分析案例。《软件测试需求分析与设计实践》适合作为第三方软件测评机构的测试人员的培训教材，也可作为高等院校计算机、软件工程专业高年级本科生的参考书。

在当今社会中，无论你的身份是学生，还是办公室文员、设计师、财会人员、企业高级管理人员，都需要具备一定的商务办公能力。熟练地掌握Microsoft Office办公软件以及Photoshop图像处理软件，可以有效提高我们的办公效率。现在我们来简单了解一下Microsoft Office软件和Photoshop软件的来历。