本书整理了Python语言面向初学者的几乎所有基础知识点，并对这些知识做了一定程度的拓展与提高。本书内容不仅包括有助于理解基本知识点的案例代码，还包含了经典数学问题等方面的项目，以及如何用Python开发音乐播放器以及弹球游戏等项目。 这是一本交互性极强的书，书中提供了大量的代码练习，包括代码填空、代码阅读、代码设计以及总结归纳等，有助于形成一定的编程思维模式，快速、牢固地掌握Python编程方法与技巧。本书配备部分视频讲解，扫二维码观看视频即可同步学习书中的核心知识及重点内容。 本书适合中小学生以及其他编程初学者学习使用，也适合想陪小朋友一起学习Python编程的家长阅读使用，同时可作为相关培训机构的参考用书。

敏捷运动发展得如火如荼，关于敏捷的新理解、新诠释层出不穷，而最初推动这场运动的 17名软件工程专家现在也有各自的事业发展方向。他们中有的人致力于传播**的敏捷思想，有的人在自己专长的领域默默贡献，还有的人选择回归敏捷本源……在他们不为人知的经历背后，会有更多的内容等我们慢慢发掘。本书将他们再次引至台前，展示了《敏捷宣言》签署人的人生经历。本书既适合敏捷实践者、敏捷爱好者阅读，也适合对软件开发、敏捷开发的发展历程感兴趣的人员查阅。

本书结合实例，详细讲解了鸿蒙系统App开发，内容包括鸿蒙系统简介、搭载鸿蒙App开发环境、创建第一个鸿蒙App、用户界面布局开发、常用UI组件开发、鸿蒙页面及数据服务开发、日志、事件与通 知、权限与安全、数据存储管理等。 本书适合从事手机、平板、智能电视、物联网设备开发的程序员阅读，也可供大中专院校及培训机构的老师和学生阅读参考。

计算机技术与软件专业技术资格考试是国家资格水平类考试，是目前 IT 行业、信息化领域最具权威的考试，由工业和信息化部、人力资源和社会保障部共同颁发合格证书。系统集成项目管理工程师考试的级别为中级，通过该考试并获得证书的人员，表明已具备从事相应专业岗位工作的水平和能力。本书根据《系统集成项目管理工程师考试大纲（第 2 版）》的要求，结合作者的培训经验和知识储备，通过反复总结提炼，利用口诀、关键词等重点记忆，帮助广大学员快速掌握核心重点知识、历年高频考点，并在每一章设计了一些学霸演练题目，学员在学习过程中要注重学练结合。

尽管跨学科研究设计已被提倡多年，但关于“微观音系语汇习得”与“人工智能AI”的创造性研究仍然非常有限。《基于人工智能测试的“微观音系语汇习得”效应研究》探讨一项语汇习得准实验性设计——以福州商英专业的101名大学生为对象，采用自底向上、声乐技巧，及AI测试的混合性设计，评估其“音系语汇训练”的习得效果。参与者接受为期10周的“自下而上音系词汇习得”训练。其习得成绩通过皮尔森学术英语（PTE）测试模块（WFD听写、RA诵读和RS复述）作为前测、后测和滞后测。实验结果表明，后测在语汇接受性和控制产出性知识均显著优于前测。

数学知识对编程很有用，但是很多写给程序员的数学书都比较难。我们为什么不从基础的数学知识开始学习呢？ 本书尽力在计算机的世界中，告诉大家“数学可以怎样用”或者“数学可以解决什么问题”，还尝试用简单的 Python 程序来展示实际的效果，帮助大家找到一种“原来如此”的感觉，从而掌握相关的数学知识。本书不仅解释了数学理论，还解释了使用 Python 编写的程序中的计算、证明和理论验证。 本书的主要目标是让数学变得易懂！程序员或者是想要成为程序员的高中生、大学生，以及对机器学习和人工智能感兴趣的初学者，甚至是数学基础薄弱的读者都适合阅读本书。

随着现代社会信息化程度的提高，与计算机相关的各种系统故障足以造成巨大的经济损失。机械化的定理证明能够建立更为严格的正确性，从而奠定系统的高可信性。《高级语言程序变换的机械化证明导论》阐述机械化定理证明的逻辑基础和关键技术，分析比较各类主流证明助手的设计特点，重点讨论在编译器验证领域取得的重要研究成果，并以实例详述验证编译器的开发和实现。

随着鲲鹏生态的发展壮大，鲲鹏开发套件的使命也从1.0版本的协助开发者进行应用迁移转变到了2.0版本的鲲鹏原生开发上来。 第1章介绍了鲲鹏开发套件推出的背景及开发套件远程实验室免费申请的流程。第2章介绍了鲲鹏代码迁移工具的用法，包括迁移工作的评估、源代码的迁移、x86软件包的重构等内容。第3章介绍了鲲鹏架构下专用的加速库，可以在不更改或者极少代码更改的前提下，充分利用鲲鹏架构优良的软硬件性能。第4章介绍了针对鲲鹏架构进行了优化的专用编译器，包括毕昇编译器、毕昇JDK和鲲鹏GCC，最后演示了如何通过编译器插件实现远程调试。第5章总体介绍了鲲鹏性能分析工具的4个子工具，并演示了公共功能的使用。第6章介绍了鲲鹏性能分析工具中快速调优的工具—鲲鹏调优助手的用法。第7章介绍了鲲鹏性能分析工具中系统性能分析工具的用法，包括全景分析、微架构分析、热点函数分析等9种分析任务类型，最后给出调优示例。第8章介绍了如何使用鲲鹏性能分析工具中鲲鹏Java性能分析工具对鲲鹏架构下的Java应用进行性能分析，最后也给出调优示例。第9章介绍了鲲鹏性能分析工具中系统诊断工具的用法，演示如何进行内存诊断和网络IO诊断。第10章介绍了直接在鲲鹏架构运行X86应用的动态二级制指令翻译工具ExGear。 本书面向对鲲鹏代码迁移感兴趣的开发者，希望在鲲鹏平台进行原生开发的开发者，希望了解鲲鹏开发套件使用的开发者，以及负责鲲鹏架构调优的架构师。

本教材是针对环境设计专业所出版的一本致力于提升专业素质及能力的专用教材。针对环境设计专业所涉及的室内外平面、立面、效果图、分析图等内容进行案例讲解，让环境设计专业的学生真正具有相关软件制作能力，为后期参赛、参加工作提供有力的技术素养基础。本教材是一本完全针对环境设计专业方向的教材，每个案例均做了视频讲解，扫码即可观看，是—本紧跟时代脚步的、紧贴专业市场的专用教材。

《混沌图像加密及其安全性分析》内容分为7章，主要聚焦于现有图像加密算法的安全性分析与验证，同时也指出了所分析的图像加密算法中存在的一些可行性、实用性和合理性问题。在对三种具有代表性的图像加密算法进行安全性分析之后，该书也提出了两种新颖的图像加密算法，以解决目前图像加密算法中存在的一些问题，从而为未来的图像加密研究人员提供有益参考。