You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Introduction to Formal Languages, Automata Theory and Computation presents the theoretical concepts in a concise and clear manner, with an in-depth coverage of formal grammar and basic automata types. The book also examines the underlying theory and principles of computation and is highly suitable to the undergraduate courses in computer science and information technology. An overview of the recent trends in the field and applications are introduced at the appropriate places to stimulate the interest of active learners.
This volume consists of invited papers written by eminent researchers working in the areas of theoretical computer science. The contents of the papers reflect the current trend of research being carried out in each of the areas. Some of the areas featured are petri-nets, distributed systems, map-generating systems, Lindenmayer systems, logic, cryptography, graph grammars, probabilistic automata, array grammars and pattern recognition. Many of these areas contain open problems and it is hoped that younger research workers will be motivated to work on them. In addition, some of the models designed, constructed and presented are suitable for practical applications such as in computer graphics, cryptography and distributed computing.
This proceedings volume provides a modern synopsis of recent studies concerning certain areas of language theory very close to applications. The topics covered range from image generation and developmental models to combinatorics of words and formal power series, as well as from fractals to computational complexity. Although the contributions represent ongoing research, much of the material is accessible to a reader with only a moderate previous knowledge of the subject.
The two-volume set LNCS 3561 and LNCS 3562 constitute the refereed proceedings of the First International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2005, held in Las Palmas, Canary Islands, Spain in June 2005. The 118 revised papers presented are thematically divided into two volumes; the first includes all the contributions mainly related with the methodological, conceptual, formal, and experimental developments in the fields of Neurophysiology and cognitive science. The second volume collects the papers related with bioinspired programming strategies and all the contributions related with the computational solutions to engineering problems in different application domains.
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.
This book constitutes the proceedings of the 7th International Conference on Distributed Computing and Internet Technology, ICDCIT 2011, held in Bhubaneswar, India, in February 2011. The 18 papers presented in this volume were carefully reviewed and selected from 138 submissions. In addition the book contains the full versions of 6 invited talks. The papers are grouped in topical sections on distributed computing, sensor networks, internet technologies and applications, security, and bio-inspired computing.
It is with greatpleasure that we present the proceedings of the 4th International Symposium on Visual Computing (ISVC 2008) in Las Vegas, Nevada. ISVC o?ers a common umbrella for the four main areas of visual computing including vision, graphics, visualization, and virtual reality. Its goal is to provide a forum for researchers, scientists, engineers and practitioners throughout the world to present their latest research ?ndings, ideas, developments and applications in the broader area of visual computing. This year,ISVC grew signi?cantly; the programconsisted of 15 oralsessions, 1 poster session, 8 special tracks, and 6 keynote presentations. The response to the call for papers was very str...
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on DNA-Based Computers, DNA7, held in Tampa, Florida, USA, in June 2001. The 26 revised full papers presented together with 9 poster papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections on experimental tools, theoretical tools, probabilistic computational models, computer simulation and sequence design, algorithms, experimental solutions, nano-tech devices, biomimetic tools, new computing models, and splicing systems and membranes.
This book constitutes the refereed proceedings of the Third International Conference on Advances in Computing, Communication and Control, ICAC3 2013, held in Mumbai, India, in January 2013. The 69 papers presented in this volume were carefully reviewed and selected for inclusion in the book. They deal with topics such as image processing, artificial intelligence, robotics, wireless communications; data warehousing and mining, and are organized in topical sections named: computing; communication; control; and others.
This book presents fundamental contributions to computer science as written and recounted by those who made the contributions themselves. As such, it is a highly original approach to a OC living historyOCO of the field of computer science. The scope of the book is broad in that it covers all aspects of computer science, going from the theory of computation, the theory of programming, and the theory of computer system performance, all the way to computer hardware and to major numerical applications of computers.