本书是是《软件测试技术实战 设计、工具及管理》一书的姊妹书，是一本全面介绍全面软件测试的书籍。分为上下两篇，上篇为技术篇（第1章——第5章），主要介绍软件测试技术；下篇为工具篇（第6章——第12章），主要介绍软件测试工具。通过对本书的阅读可以使您尽快从一位软件菜鸟变为测试领域的达人，当然这里需要您的努力和天赋。另外阅读此书后，您对于软件测试工作不会变得枯燥，让您可以在工作中享受逮BUG的乐趣。本书适合于有3年以上经验的软件测试从业人员，也适合于在校的本科生和研究生作为参考资料。

交替式下推自动机是当前并行与分布式计算环境的数学模型，而墨水点是对移动智能体在宿主机器上写入信息的一种模拟，交替式下推自动机的研究对于解明基于互联网的并行与分布式计算的复杂性具有重要的理论意义。 交替式是由Chandra、Kozen和Stockmeyer提出来的一个并行与分布式计算的理论模型。交替式图灵机（Alternating Turing Machine）是对非确定性图灵机的一个扩展，它的有穷状态被分为全称状态（Universal State）和存在状态（Existential State）两种不同的计算状态。交替式图灵机采用交替的方式，不断采用存在和全称两种计算方式进行计算，已经证明，这种交替式计算模式有效地提高了计算能力，交替式下推自动机则是比交替式图灵机更为简单的计算模型。关于亚对数空间限定的交替式图灵机的研究取得了较大进展，但是，目前国际上关于多墨水点交替式下推自动机的研究还比较少。 本书引入两种类型的机器模型，即具有亚对数空间的2方向交替式下推自动机和具有多个墨水点的交替式下推自动机，并对这两种类型自动机模型的一些重要性质进行了深入研究，并提出了多墨水点交替式下推自动机的概念；研究了在亚对数空间下，墨水点个数对仅有全称状态的多墨水点交替式下推自动机计算能力的影响；证明了亚对数空间限定的仅有全称状态的多墨水点交替式下推自动机计算能力随着墨水点个数的增加而增强，研究了在亚对数空间下，仅有全称状态和仅有存在状态的多墨水点交替式下推自动机计算能力的关系，证明了它们的计算能力是不可比较的；论证了在亚对数空间下，仅有全称状态的多墨水点交替式下推自动机所识别的语言族，以及仅有存在状态的多墨水点交替式下推自动机所识别语言族的闭包属性，证明了这些语言族在补、与正则语言的连接、星号及保持长度的同态运算下是不封闭的；引入自验证的1墨水点2方向非确定性下推自动机，证明了在亚对数空间下，具有1墨水点的非确定性下推自动机计算能力比具有1墨水点的自验证非确定性下推自动机的计算能力强。本书最后讨论了相关的几个尚待研究解决的问题，提出了今后研究的方向。

本书是作者在运动控制和神经力学领域多年的研究和教学工作的积累，综合了生理学、工程学和计算神经科学的方法，从神经控制系统适应性和机械设备性能适应性的角度，提供了对人类运动控制的全面和严格的阐述。

这是一本零基础学习Python并进行数据处理和分析的学习指导用书。本书共9章，主要内容包括：Python语法基础、Python数据结构、函数和类、正则表达式与格式化输出、Numpy和Pandas、数据处理与分析、网络爬虫、数据可视化、应用案例分析。本书内容丰富、简单易懂，零基础入门，适合本科生、研究生及对 Python 语言感兴趣和拟使用 Python语言进行数据分析的读者。

本书是国内当前集中介绍软件调试主题的权威著作。本书第2 卷分为5 篇，共30 章，主要围绕Windows系统展开介绍。第一篇（第1~4 章）介绍Windows 系统简史、进程和线程、架构和系统部件，以及Windows系统的启动过程，既从空间角度讲述Windows 的软件世界，也从时间角度描述Windows 世界的搭建过程。第二篇（第5~8 章）描述特殊的过程调用、垫片、托管世界和Linux 子系统。第三篇（第9~19 章）深入探讨用户态调试模型、用户态调试过程、中断和异常管理、未处理异常和JIT 调试、硬错误和蓝屏、错误报告、日志、事件追踪、WHEA、内核调试引擎和验证机制。第四篇（第20~25 章）从编译和编译期检查、运行时库和运行期检查、栈和函数调用、堆和堆检查、异常处理代码的编译、调试符号等方面概括编译器的调试支持。第五篇（第26~30 章）首先纵览调试器的发展历史、工作模型和经典架构，然后分别讨论集成在Visual Studio 和Visual Studio（VS）Code 中的调试器，最后深度解析WinDBG 调试器的历史、结构和用法。本书理论与实践结合，不仅涵盖了相关的技术背景知识，还深入研讨了大量具有代表性的技术细节，是学习软件调试技术的珍贵资料。本书适合所有从事软件开发工作的读者阅读，特别适合从事软件开发、测试和支持的技术人员阅读。

本书是编程大师“鲍勃大叔”40余年编程生涯的心得体会的总结，讲解要成为真正专业的程序员需要具备什么样的态度，需要遵循什么样的原则，需要采取什么样的行动。作者以自己以及身边的同事走过的弯路、犯过的错误为例，意在为后来者引路，助其职业生涯迈上更高台阶。

本书是图灵奖获得者艾兹格·W. 迪杰斯特拉（Edsger W. Dijkstra）的最重要的著作，也是编程领域里经典著作中的经典。作者基于其敏锐的洞察力和长期的实际编程经验，对基本顺序程序的描述和开发中的许多关键问题做了独到的总结和开发。本书讨论了基本顺序程序的本质特征、程序描述和对程序行为（正确性）的推理，并通过从简单到复杂的一系列程序的思考和开发范例，阐释了基于严格的逻辑推理开发正确而可靠的程序的过程。本书写于20世纪70年代后期，但其对于编程领域的技术开发，对于编程语言的发展和程序理论研究的深刻影响持续至今。本书值得每一个关注计算机科学技术的本质，冀求在程序和软件领域有长远发展的计算机工作者、教师和学生阅读。

《基于AnyLogic的系统建模与仿真》主要以AnyLogic8为平台，介绍了系统建模与仿真概述、AnyLogic仿真软件简介、适用于AnyLogic的Java基础知识、基于离散事件建模、基于智能体建模、系统动力学建模、柔性制造供应链模型、产品配送模型、配送中心运营模型等内容。通过精心选择学习内容及循序渐进安排学习内容，详细介绍了AnyLogic软件基础及建模过程，旨在引导读者了解掌握AnyLogic建模基本方法。 《基于AnyLogic的系统建模与仿真》适用于物流管理、物流工程及其他工程类相关专业本科生和研究生使用，也可以作为系统建模相关工作人员的学习用书和参考用书。

IP核是可编程门阵列（FPGA）芯片开发中常用的功能模块，在现代数字系统设计应用领域中越来越成为工程师青睐的对象。IP核的应用对提高系统设计效率、成功率，缩短产品上市周期具有非常重要的作用。《VIVADO环境下IP核应用研究》以赛灵思（Xilinx）公司新开发工具VIVADO中的IP核为研究对象，详细介绍了各类IP核的功能、特点、接口及性能，并给出在FPGA开发过程中IP核的使用方法。全书共分5章，首先介绍IP核的概念和VIVADO中IP核的使用方法，然后分别总结了Xilinx提供的基本IP核、存储器类IP核、数字信号处理（DSP）类IP核、DDR3 SDRAMIP核的基本原理、结构以及FPGA设计中的参数配置过程、调试验证等方法。《VIVADO环境下IP核应用研究》内容丰富、翔实，部分IP核给出了功能原理解释和功能仿真结果，便于读者更好地理解和应用。《VIVADO环境下IP核应用研究》可作为高等学校、科研院所和公司中从事Xilinx系列FPGA开发的人员的参考手册。

本书系统地介绍了软件设计模式的基础知识和23种GoF设计模式，结构合理，共分7章，依次包括设计模式概述、UML类图及类间关系、面向对象的七大设计原则、5种创建型设计模式、7种结构型设计模式、11种行为型设计模式和设计模式综合训练。本书逻辑性极强，对每种设计模式进行了系统的介绍，依次包括模式动机、模式结构与角色分析、模式实例解析和模式效果分析。配套的课程网站包括了课程学习指导、上机实验指导、课件和课程档案文件下载等，配套的数字资源可方便学生自主学习。