本书旨在以“短小精悍的代码+丰富的创造力”的方式向读者展示81个简单、有趣的实践项目。如果你已经掌握了基本的Python语法，并且准备开始编写程序，那么阅读本书会让你觉得既有趣又很受启发。本书给出的81个Python项目，可以助你快速上手Python编程完成数字艺术、游戏、动画、计数程序等方面的任务。一旦了解了代码是如何工作的，你就可以动手重新编写程序，并通过添加自定义的内容来不断实践。需要说明的是，书中这些项目涉及的程序大多是用少于256行的代码实现的，如蜗牛赛跑、诱饵标题生成器、DNA可视化，而且每个项目都被设计成独立的Python源文件，可供读者轻松地在网上分享。本书适合所有想通过Python学习编程的读者，尤其适合有Python基础、需要快速实现编程的读者

本书以图配文的形式，直观易懂地介绍了面向对象的全貌及其包含的各项技术，包括面向对象编程、框架、设计模式、UML、建模、面向对象设计和敏捷开发方法等。对于各项技术是如何使用的（How），书中只进行简要的说明，而重点介绍这些技术是什么（What），以及为什么需要这些技术（Why）。另外，“编程往事”专栏介绍了作者年轻时的一些经历；“对象的另一面”专栏以与正文不同的视角讲解面向对象这一概念普及的背景和原因，通俗有趣；“当今的OOP”专栏介绍了Java、Python、Ruby、JavaScript等当今流行的编程语言的**动向。

《价值流动：数字化场景下软件研发效能与业务敏捷的关键》聚焦于传统项目管理模式的误区和问题，强调了以产品为导向的管理模式，同时基于丰富的案例创造性地提出了流框架，这是一种观察、度量和管理软件交付的新方法。流框架可以帮助公司从面向项目的管理模式转变为软件时代以产品为中心的创新管理模式，从度量驱动软件效能提升以及在组织在不同层面驱动变革的角度，提供了数字化转型成功落地的一种新的思路。

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

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

本书系统地介绍了计算机的组成与基本运行原理；从最底层的电路设计开始，层层揭秘了计算机软、硬件的实现逻辑。 本书分为5章，依次从硬件、软件、网络、编程和应用方面切入，使用通俗的语言和丰富的图解，帮助读者高效地理解计算机的知识。 本书深入浅出，既可作为高等院校计算机相关专业的参考读物，也可作为计算机相关从业人员和计算机业余爱好者的入门科普读物。

尽管跨学科研究设计已被提倡多年，但关于“微观音系语汇习得”与“人工智能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。 本书面向对鲲鹏代码迁移感兴趣的开发者，希望在鲲鹏平台进行原生开发的开发者，希望了解鲲鹏开发套件使用的开发者，以及负责鲲鹏架构调优的架构师。