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

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

本书基于Python语言对计算机程序设计相关知识，进行了系统而全面的介绍。全书包含大量实用且有趣的程序代码，非常适合新手入门。书共有16章，1~9章为基础知识，其中详细讲解了Python的主要语法，读者学完这些章节将充分掌握Python语言的运作方式，能独立编写程序解决实际问题；10~13章为进阶部分，其中介绍了更多的Python高级概念，读者学完这些章节将全面熟悉Python语言的进阶技巧，能更灵活地发挥Python语言专有的特点；14~16章为综合实例，其中涵盖了Python的四个主要应用领域，读者学完这些章节将深入了解整个Python软件生态，做好选择下一步发展方向的准备。

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

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

暂缺简介...

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

区块链技术在未来二三十年里将产生重要的、颠覆性的、革命性的大变革。基于多年来对国内外众多创新型企业长期的跟踪调查和深入分析，《区块链技术及实用案例分析》以具有特色的企业为案例，简明扼要地阐述了区块链技术的内涵与实质，以及区块链技术如何影响人们处理信任、安全和隐私问题，使读者深刻理解区块链技术正快速成为自互联网诞生以来重要的新技术。全书共分13章，主要内容有区块链、区块链技术、区块链的发展及应用领域、应用场景分析、分布式系统核心问题、密码学及安全技术、共识机制、比特币项目——思想诞生的摇篮、数字货币、区块链应用案例研究、区块链技术与金融创新、中华文化下的创业研究。《区块链技术及实用案例分析》可作为高等院校计算机、互联网金融、大数据、人工智能等相关专业本科生的教材，对政府和企事业单位技术及管理人员从事理论研究和企业实战也具有很好的参考作用。

暂缺简介...

本书主要介绍软件开发技术、软件管理的思想和方法。其主要内容包括可行性研究、需求分析、面向数据流的分析方法、软件设计基础、面向数据流的设计方法、程序设计语言和编码、软件检验和测试方法、软件维护、面向对象的分析与设计方法、软件项目管理、软件工程管理与技术、软件项目计划与管理、软件重用技术、设计模式以及敏捷开发等内容，并特别地在软件工程开发的每个阶段都提供了相应的案例和实训内容，同时介绍了软件工程标准化文档知识，有助于读者在软件工程项目的开发上使用工程化标准。