Welcome to our book review site www.go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Automata, Universality, Computation
This book is an intellectually stimulating excursion into mathematical machines and structures capable for a universal computation. World top experts in computer science and mathematics overview exciting and intriguing topics of logical theory of monoids, geometry of Gauss word, philosophy of mathematics in computer science, asynchronous and parallel P-systems, decidability in cellular automata, splicing systems, reversible Turing machines, information flows in two-way finite automata, prime generators in automaton arrays, Grossone and Turing machines, automaton models of atomic lattices. The book is full of visually attractive examples of mathematical machines, open problems and challenges for future research. Those interested in the advancement of a theory of computation, philosophy of mathematics, future and emergent computing paradigms, architectures and implementations will find the book vital for their research and development.
Aspects of Molecular Computing
Molecular computing is a rapidly growing subarea of natural computing. On the one hand, molecular computing is concerned with the use of bio-molecules for the purpose of actual computations while, on the other hand, it attempts to understand the computational nature of molecular processes going on in living cells. The book presents a unique and authorative state-of-the-art survey on current research in molecular computing: 30 papers by leading researchers in the area are drawn together on the occasion of the 70th birthday of Tom Head, a pioneer in molecular computing. Among the topics addressed are molecular tiling, DNA self-assembly, splicing systems, DNA-based cryptography, DNA word design, gene assembly, and membrane computing.
Developments in Language Theory
This book constitutes the refereed proceedings of the 8th International Conference on Developments in Language Theory, DLT 2004, held in Auckland, New Zealand in December 2004. The 30 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 47 submissions. The main subjects are formal languages, automata, conventional and unconventional computation theory, and applications of automata theory. Among the topics addressed are grammars and acceptors for strings, graphs, and arrays; efficient text algorithms, combinatorial and algebraic properties of languages; decision problems; relations to complexity theory and logic; picture description and analysis; cryptography; concurrency; DNA computing; and quantum computing.
Membrane Computing
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. Special attention was paid to the interaction of membrane computing with biology.
Membrane Computing
This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Membrane Computing, WMC 2003, held in Tarragona, Spain, in July 2003. The 26 revised full papers presented were carefully selected during two rounds of reviewing and improvement. All current topics in the emerging area of membrane computing are addressed, ranging from issues in mathematics and theoretical computer science to (potential) applications in biology, bioinformatics, sorting, ranking, linguistics, and computer graphics; several implementations and simulations on computers, computer networks, and reconfigurable hardware are presented too.
DNA Computing
This book constitutes the thoroughly refereed postproceedings of the 12th International Meeting on DNA Computing, DNA12, held in Seoul, Korea in June 2006. The 34 revised full papers presented are organized in topical sections on molecular and membrane computing models, complexity analysis, sequence and tile designs and their properties, DNA tile self-assembly models, simulator and software for DNA computing, DNA computing algorithms and new applications, novel experimental approaches, and experimental solutions.
Membrane Computing
None
DNA Computing
None
Mathematical Reviews
None
