This third volume of the Handbook of Formal Languages discusses language theory beyond linear or string models: trees, graphs, grids, pictures, computer graphics. Many chapters offer an authoritative self-contained exposition of an entire area. Special emphasis is on interconnections with logic.

Nanoscale science and computing is becoming a major research area as today's scientists try to understand the processes of natural and biomolecular computing. The field is concerned with the architectures and design of molecular self-assembly, nanostructures and molecular devices, and with understanding and exploiting the computational processes of biomolecules in nature.

This book offers a unique and authoritative perspective on current research in nanoscale science, engineering and computing. Leading researchers cover the topics of DNA self-assembly in two-dimensional arrays and...

Concurrency and Nets is a special volume in the series "Advances in Petri Nets." Prepared as a tribute to Carl Adam Petri on the occasion of his 60th birthday, it is devoted to an outstanding personality and his pioneering and fruitful scientific work. Part I (70 pages of over 600) presents the congratulatory addresses and invited talks that were given at an Anniversary Colloquium. The contributions of this part honor Carl Adam Petri and his work from many different perspectives. Part II is a collection of invited papers discussing various aspects of the theme Concurrency and Nets....

This volume is based on the workshop"Modelling in Molecular Biology" that tookplacein2002inSingapore. Themaingoaloftheworkshopwastopresent models/methods used in solving some fundamental problems in biosciences. The volume consists of a selection of papers presented at the workshop as well as of some other papers that are included so that the presentation of the theme of the workshop is broader and more balanced. As a matter of fact we feel that the collection of papers comprising this volume represents a wide spectrum of quite diverse ideas and trends. The paper by D. A. Beard et al....

L systems are language-theoretic models for developmental biology. They wereintroduced in 1968 by Aristid Lindenmayer (1925-1989) and have proved to be among the most beautiful examples of interdisciplinary science, where work in one area induces fruitful ideas and results in other areas. L systemsare based on relational and set-theoretic concepts, which are more suitable for the discrete and combinatorial structures of biology than mathematical models based on calculus or statistics. L systems have stimulated new work not only in the realistic simulation of developing organisms but also in...

The need for a comprehensive survey-type exposition on formal languages and related mainstream areas of computer science has been evident for some years. In the early 1970s, when . the book Formal Languages by the second- mentioned editor appeared, it was still quite feasible to write a comprehensive book with that title and include also topics of current research interest. This would not be possible anymore. A standard-sized book on formal languages would either have to stay on a fairly low level or else be specialized and restricted to some narrow sector of the field. The setup becomes...

The need for a comprehensive survey-type exposition on formal languages and related mainstream areas of computer science has been evident for some years. If the early 1970s, when the book Formal Languages by the second- quite feasible to write a comprehensive mentioned editor appeared, it was still book with that title and include also topics of current research interest. This would not be possible anymore. A standard-sized book on formal languages would either have to stay on a fairly low level or else be specialized and restricted to some narrow sector of the field. The setup becomes...

This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Conference on Membrane Computing, CMC 2014, held in Prague, Czech Republic, in August 2014. The 19 revised selected papers presented together with 5 invited lectures were carefully reviewed and selected from 24 papers presented at the conference. In addition, two papers selected from the 22 papers presented at the regional version of CMC, the Asian Conference on Membrane Computing , ACMC 2014, held in Coimbatore, India, are included. The papers cover a wide range of topics in the area of...

This book constitutes revised selected papers from the International Conference on Membrane Computing, CMC 2015, held in Valencia, Spain, in August 2015.
The 22 full papers presented in this volume were carefully reviewed and selected from 34 submissions. The volume also contains 3 invited talks in full-paper length.

A collection of articles in theoretical computer science, written by leading authorities in the field. The topics range from algorithms and complexity to algebraic specifications, and from formal languages and language-theoretic modelling to computational geometry.