膜计算旨在从生物细胞中抽象计算模型，具有良好的分布式结构和强大的并行性。本书是基于生物学中的细胞进化机制，以形式语言与自动机理论为基础，重点研究建立更加符合生物实际的新模型，最终实现建立容错性能更好的鲁棒计算系统。主要内容包括基于促进剂的时间活性膜P系统、膜上带蛋白的时间膜系统、基于细胞分裂的类组织时间膜系统、内稳态类组织膜系统以及基于活性膜P系统的CNSMO算法。本书可供计算机科学、控制工程等专业高年级本科生、硕士研究生和博士研究生以及相关学科领域的科技工作者阅读参考。