Learn IT - Books tags automata

System-on-Chip Test Architectures (Systems on Silicon)

Morgan Kaufmann, 2007

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)

Springer, 2001

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

Springer, 2013

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

Springer, 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

Addison Wesley, 1998

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)

Addison Wesley, 2000

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

Cambridge University Press, 2006

'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

CRC Press, 2009

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

Springer, 2012

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

Springer, 2005

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)

Springer, 2014

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...

Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings

Springer, 2004

This book constitutes the refereed proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP 2004, held in Turku, Finland, in July 2004.

The 97 revised full papers presented together with abstracts of 6 invited talks were carefully reviewed and selected from 379 submissions. The papers address all current...

Result Page: 10 9 8 7 6 5 4 3 2 1