本书从零基础读者的角度出发，通过通俗易懂的语言、丰富多彩的实例，循序渐进地引导读者在实践中学习ASP.NET编程知识，并提升自己的实际开发能力。 全书共分为4篇20章，内容包括初识ASP.NET、网页前端开发基础、ASP.NET内置对象、ASP.NET服务器控件、数据验证控件、程序调试与异常处理、ASP.NET页面中的数据绑定、数据库基础、使用ADO.NET操作数据库、LINQ数据访问技术、数据绑定控件的使用、Web用户控件、母版页与主题、ASP.NET缓存技术、ASP.NET Ajax技术、WebService服务、ASP.NET MVC编程、ASP.NET网站发布、恶搞图片生成器、公众号/APP后台接口通用管理平台等。书中知识点讲解细致，侧重介绍每个知识点的使用场景，涉及的代码给出了详细的注释，可以使读者轻松领会ASP.NET程序开发的精髓，快速提高开发技能。同时，本书配套了大量教学视频，扫码即可观看，还提供所有程序源文件，方便读者实践。 本书适合ASP.NET初学者、网站开发工程师等自学使用，也可用作高等院校相关专业的教材及参考书。

本书是4位作者服务多个大中型知名企业后总结的微服务测试方法论与实战经验，内容翔实、鲜见。全书内容分9章，涵盖测试策略、接口与界面自动化测试、契约测试、性能测试、微服务监控、服务虚拟化、混沌工程、安全测试。一本书破解当下测试工作的众多难题，可为微服务和分布式系统的质量保障提供一站式解决方案。本书内容具体如下。第1章梳理各种微服务测试工作的价值与要点，帮助读者快速建立测试工作全局视角。第2章剖析微服务环境下制定测试策略的要点、影响因素与实战技巧。第3章介绍接口测试与页面自动化测试的主要思路与常见问题。第4章重点讲解如何基于Pact与Spring Cloud Contract进行契约测试实践。第5章分析性能测试在微服务和传统软件环境下的区别，并介绍全链路压测的实施思路要点。第6章介绍微服务监控的概念、模式分类，以及监控实践、系统搭建与容器化部署。第7章重点介绍如何在微服务环境下运用服务虚拟化技术来解决各种服务依赖问题。第8章介绍混沌工程的价值、实施先决条件、原则与实施方法。第9章包括安全测试的需求分析、测试人员角色定位以及多种测试工具实战。

本书由流行深度学习框架Keras之父弗朗索瓦·肖莱执笔，通过直观的解释和丰富的示例帮助你构建深度学习知识体系。作者避免使用数学符号，转而采用Python代码来解释深度学习的核心思想。全书共计14章，既涵盖了深度学习的基本原理，又体现了这一迅猛发展的领域在近几年里取得的重要进展，包括Transformer架构的原理和示例。读完本书后，你将能够使用Keras解决从计算机视觉到自然语言处理等现实世界的诸多问题，包括图像分类、图像分割、时间序列预测、文本分类、机器翻译、文本生成等。

《Capture One 22 Pro高级实战教程》是专业的Capture One 软件自学用书。通过对本书的学习，读者将从零认识Capture One软件，了解该软件核心的无损色彩和细节还原功能，学会软件的使用技巧以及调色方法。该软件的特色功能可让用户体验强大的范围编辑操作，从选择性的色调调整到精确的颜色分级，保留完整的色彩信息。本书以Capture One 22 Pro版本进行讲解，深度解析调色技法和理论，提供精彩的实战案例，使理论与实践相结合。本书的内容主要包括软件的基础知识、高级调色运用以及大师调色技法。通过对本书的学习，相信读者能够灵活地掌握软件的用法，并将调色技法进行综合应用，达到商业级调色的水准。

作者根据自己多年的前后端开发经验，站在完全零基础读者的角度，详尽介绍了Python编程语言的基础知识，以及大量的开发技巧，包括Python语基本语法、运算符与表达式、流程控制语句、列表与元组、字符串、字典与集合、Python中使用正则表达式、函数、数值计算、时间日期等。所有知识都结合具体实例进行介绍，涉及的程序代码都给出了详细的注释，读者可轻松领会Python程序开发的精髓，快速提升开发技能。每章最后还提供了难度适中的习题，检验学习效果。

作者根据自己多年的前后端开发经验，站在完全零基础读者的角度，详尽介绍了Python数据可视化的基础知识，以及大量的开发技巧。本书分为3篇，围绕Python的3个主要数据可视化库进行详细的讲解：Python中最基础的可视化库Matplotlib、在实际工作中**的Seaborn、可以在网站后台中实现数据可视化的Pyecharts。读者将这3个数据可视化库掌握，就能够解决90%以上的开发需求。最后还有附录帮助读者快速查找3个数据可视化库中常用的绘图函数。本书适合完全0基础的初学者、想要系统学习的Python工程师、大中院校相关专业的老师和学生使用。

本书是基于软件工程视角对DevOps进行全面讲述的专业图书，内容涵盖DevOps方法背后的理论基础，核心技术以及典型应用。

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

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

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