Product Description: This uniquely authoritative and comprehensive handbook is the first to cover the vast field of formal languages, as well as its traditional and most recent applications to such diverse areas as linguistics, developmental biology, computer graphics, cryptology, molecular genetics, and programming languages...read more

Product Description: J.UCS is the electronic journal that covers all areas of computer science. The high quality of all accepted papers is ensured by a strict review process and an international editorial board of distinguished computer scientists. The online journal J...read more

Product Description: 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...read more

Product Description: 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...read more

Product Description: Dedicated to Arto Salomaa, a towering figure of theoretical computer science, on the occasion of his 65th birthday, this book is a tribute to him on behalf of the theoretical computer science community. The contributions are written by internationally recognized scientists and cover most of Salomaa's many research areas...read more

Product Description: This introduction to certain mathematical topics central to theoretical computer science treats computability and recursive functions, formal languages and automata, computational complexity, and cruptography. The presentation is essentially self-contained with detailed proofs of all statements provided...read more (view table of contents, read Amazon.com's description)

Product Description: 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...read more

Product Description: For anyone needing to keep up to date with all the latest research in the field of membrane computing, this book will come as a breath of fresh air. It is the extended post-proceedings of the 8th International Workshop on Membrane Computing, held in June 2007...read more

Product Description: This book constitutes the thoroughly refereed extended post-proceedings of the 7th International Workshop on Membrane Computing, WMC 2006, held in Leiden, Netherlands in July 2006. The papers in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics in mathematics and computer science, to application issues...read more

Product Description: This book constitutes the thoroughly refereed extended postproceedings of the 6th International Workshop on Membrane Computing, WMC 2005, held in Vienna, Austria, in July 2005. The 20 revised full papers presented together with 5 invited papers went through two rounds of reviewing and improvement...read more

Product Description: 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...read more

Product Description: 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...read more

Product Description: 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...read more

Product Description: J.UCS is the electronic journal that covers all areas of computer science. The high quality of all accepted papers is ensured by a strict review process and an international editorial board of distinguished computer scientists. The online journal J...read more

The first edition of the monograph Information and Randomness: An Algorithmic Perspective by Crist ian Calude was published in 1994. In my Foreword I said: "The research in algorithmic information theory is already some 30 years old. However, only the recent years have witnessed a really vigorous growth in this area. . . . The present book by Calude fits very well in our series. Much original research is presented. . . making the approach richer in consequences than the classical one. Remarkably, however, the text is so self-contained and coherent that the book may also serve as a textbook. All proofs are given in the book and, thus, it is not necessary to consult other sources for classroom instruction. " The vigorous growth in the study of algorithmic information theory has continued during the past few years, which is clearly visible in the present second edition. Many new results, examples, exercises and open prob­ lems have been added. The additions include two entirely new chapters: "Computably Enumerable Random Reals" and "Randomness and Incom­ pleteness". The really comprehensive new bibliography makes the book very valuable for a researcher. The new results about the characterization of computably enumerable random reals, as well as the fascinating Omega Numbers, should contribute much to the value of the book as a textbook. The author has been directly involved in these results that have appeared in the prestigious journals Nature, New Scientist and Pour la Science. (view table of contents)

Product Description: DLT 2001 was the ?fth Conference on Developments in Language Theory. It was a broadly based conference covering all aspects of Language Theory: grammars and - ceptorsforstrings,graphs,arrays,etc. ;ef?cientalgorithmsforlanguages;combinatorial andalgebraicpropertiesoflanguages;decisionproblems;relationstocomplexitytheory; logic; picture description and analysis; DNA computing; cryptography; concurrency...read more

Product Description: This volume gathers lectures by 8 distinguished pioneers of automata theory, including two Turing Award winners. In each contribution, the early developments of automata theory are reminisced about and future directions are suggested...read more (view table of contents, read Amazon.com's description)

Product Description: The scientific developments at the end of the past millennium were dominated by the huge increase and diversity of disciplines with the common label “computer science”. The theoretical foundations of such disciplines have become known as theoretical computer science...read more (view table of contents, read Amazon.com's description)

Product Description: Containing contributions from both theoretical computer scientists and people working in areas where multi-agent architectures are involved (artificial intelligence, artificial life, linguistics, managing complex systems), this book presents both theoretical developments and applications of grammar systems of various types (cooperating distributed grammar systems, eco-grammar)...read more

Product Description: This is the first book on DNA computing, a molecular approach that may revolutionize computing-replacing silicon with carbon and microchips with DNA molecules. The book starts with an introduction to DNA computing, exploring the power of complementarity, the basics of biochemistry, and language and computation theory...read more (view table of contents, read Amazon.com's description)

Product Description: This book is dedicated to Andrzej Ehrenfeucht on the occasion of his 65th birthday. On personal invitation by the volume editors, 22 internationally well-known scientists from mathematical logics and theoretical computer science participated in this project honoring an excellent scientist with excellent papers centered around his scientific work...read more (view table of contents, read Amazon.com's description)

Product Description: This book presents a collection of refereed papers on formal language theory arranged for the occasion of the 50th birthday of Jürgen Dassow, who has made a significant contribution to the areas of regulated rewriting and grammar systems...read more (view table of contents, read Amazon.com's description)

Product Description: 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...read more (view table of contents, read Amazon.com's description)