Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
A Course in Formal Languages, Automata and Groups (Universitext)
A Course in Formal Languages, Automata and Groups (Universitext)
This book is based on notes for a master’s course given at Queen Mary, University of London, in the 1998/9 session. Such courses in London are quite short, and the course consisted essentially of the material in the first three chapters, together with a two-hour lecture on connections with group theory. Chapter 5 is a...
System-on-Chip Test Architectures (Systems on Silicon)
System-on-Chip Test Architectures (Systems on Silicon)
Modern electronics testing has a legacy of more than 40 years. The introduction of new technologies, especially nanometer technologies with 90nm or smaller geometry, has allowed the semiconductor industry to keep pace with the increased performance-capacity demands from consumers. As a result, semiconductor test costs have been growing steadily...
Computability and Complexity Theory (Texts in Computer Science)
Computability and Complexity Theory (Texts in Computer Science)

The theory of computing provides computer science with concepts, models, and formalisms for reasoning about both the resources needed to carry out computations and the efficiency of the computations that use these resources. It provides tools to measure the difficulty of combinatorial problems both absolutely and in comparison with other...

Small Universal Cellular Automata in Hyperbolic Spaces: A Collection of Jewels
Small Universal Cellular Automata in Hyperbolic Spaces: A Collection of Jewels

Hyperbolic geometry is an essential part of theoretical astrophysics and cosmology. Besides specialists of these domains, many specialists of new domains start to show a growing interest
both to hyperbolic geometry and to cellular automata. This is especially the case in biology and computer science.

This book gives the...

Cellular Automata: 5th International Conference on Cellular Automata for Research and Industry, ACRI 2002
Cellular Automata: 5th International Conference on Cellular Automata for Research and Industry, ACRI 2002
This volume contains the proceedings of the Fifth International Conference on Cellular Automata for Research and Industry (ACRI 2002) that was held in Geneva on October 9–11, 2002. After more modest beginnings in 1994 as a largely Italian conference, over the years ACRI has gradually become firmly established as one of the premier conferences...
Models of Computation: Exploring the Power of Computing
Models of Computation: Exploring the Power of Computing
Your book fills the gap which all of us felt existed too long. Congratulations on this excellent contribution to our field."

--Jan van Leeuwen, Utrecht University

"This is an impressive book. The subject has been thoroughly researched and carefully presented. All the machine models central to the modern theory of...

Introduction to Automata Theory, Languages, and Computation (2nd Edition)
Introduction to Automata Theory, Languages, and Computation (2nd Edition)
It has been more than 20 years since this classic book on formal languages, automata theory, and computational complexity was first published. With this long-awaited revision, the authors continue to present the theory in a concise and straightforward manner, now with an eye out for the practical applications. They have revised this book to make it...
Automata Theory with Modern Applications
Automata Theory with Modern Applications
'Anderson's book gives an excellent, clearly written account of automata theory.' SIAM Review

Recent applications to biomolecular science and DNA computing have created a new audience for automata theory and formal languages. This is the only introductory book to cover such applications. It begins with a clear and readily
...
Games, Puzzles, and Computation
Games, Puzzles, and Computation

The authors show that there are underlying mathematical reasons for why games and puzzles are challenging (and perhaps why they are so much fun). They also show that games and puzzles can serve as powerful models of computation―quite different from the usual models of automata and circuits―offering a new way of thinking about...

Control of Discrete-Event Systems: Automata and Petri Net Perspectives
Control of Discrete-Event Systems: Automata and Petri Net Perspectives

Control of Discrete-event Systems provides a survey of the most important topics in the discrete-event systems theory with particular focus on finite-state automata, Petri nets and max-plus algebra. Coverage ranges from introductory material on the basic notions and definitions of discrete-event systems to more recent results. Special...

Multi-Robot Systems. From Swarms to Intelligent Automata, Volume III: Proceedings from the 2005 International Workshop on Multi-Robot Systems
Multi-Robot Systems. From Swarms to Intelligent Automata, Volume III: Proceedings from the 2005 International Workshop on Multi-Robot Systems
This proceedings volume documents recent cutting-edge developments in multi-robot systems research. This volume is the result of the Third International workshop on Multi-Robot Systems that was held in March 2005 at the Naval Research Laboratory in Washington, D.C. This workshop brought together top researchers working in areas relevant to...
Computing with New Resources: Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday (Lecture Notes in Computer Science)
Computing with New Resources: Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday (Lecture Notes in Computer Science)

Professor Jozef Gruska is a well known computer scientist for his many and broad results. He was the father of theoretical computer science research in Czechoslovakia and among the first Slovak programmers in the early 1960s. Jozef Gruska introduced the descriptional complexity of grammars, automata, and languages, and is one of the pioneers...

unlimited object storage image
Result Page: 10 9 8 7 6 5 4 3 2 1 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy