Part of the broader research field of natural computing, Membrane Computing is an area within computing science that aims to abstract computing ideas and models from the structure and functioning of living cells, as well as from the way the cells are organized in tissues or higher order structures....

Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting....

This book is based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS) during the period 2000?2003. It presents many of the most active current research lines in theoretical computer science....

This book is the first in the field to provide extensive, entry level tutorials to the theory of Evolutionary Computing, covering the main approaches to understanding the dynamics of Evolutionary Algorithms. It combines this with recent, previously unpublished research papers based on the material of the tutorials....

This book presents a comprehensive review of basic concepts on both data mining and evolutionary algorithms and discusses significant advances in the integration of these two areas. The authors emphasize the importance of discovering comprehensible, interesting knowledge, which is potentially useful for intelligent decision making....

This is the first text and monograph about DNA computing, a molecular approach that might revolutionize our thinking and ideas about computing. Although it is too soon to predict whether computer hardware to change from silicon to carbon and from microchips to DNA molecules, the theoretical premises have already been studied extensively....