Learn IT - Books tags automata

Discrete-Time and Discrete-Space Dynamical Systems (Communications and Control Engineering)

Springer, 2019

Discrete-Time and Discrete-Space Dynamical Systems provides a systematic characterization of the similarities and differences of several types of discrete-time and discrete-space dynamical systems, including:

Boolean control networks;

nondeterministic finite-transition...

The SPIN Model Checker: Primer and Reference Manual

Addison Wesley, 2003

SPIN is the world's most popular, and arguably one of the world's most powerful, tools for detecting software defects
in concurrent system designs. Literally thousands of people have used SPIN since it was first introduced almost fifteen
years ago. The tool has been applied to everything from the verification of complex call processing...

Handbook of Bioinspired Algorithms and Applications (Chapman & Hall/CRC Computer & Information Science)

CRC Press, 2005

The mystique of biologically inspired (or bioinspired) paradigms is their ability to describe and solve complex relationships from intrinsically very simple initial conditions and with little or no knowledge of the search space. Edited by two prominent, well-respected researchers, the Handbook of Bioinspired Algorithms and Applications...

Agent-Based Modeling and Simulation with Swarm

CRC Press, 2013

Swarm-based multi-agent simulation leads to better modeling of tasks in biology, engineering, economics, art, and many other areas. It also facilitates an understanding of complicated phenomena that cannot be solved analytically. Agent-Based Modeling and Simulation with Swarm provides the methodology for a multi-agent-based...

Computation Engineering: Applied Automata Theory and Logic

Springer, 2006

The computer hardware and software industry is committed to using formal methods. As a result, it is crucial that students who take automata theory and logic courses retain what they have learned and understand how to use their knowledge. Yet many textbooks typically emphasize automata theory only, not logic, thus losing a valuable opportunity...

Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings

Springer, 2008

This volume consists of the proceedings of the Sixth International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2008). The main goal of this series of conferences is to bring together diverse communities of researchers that deal with the timing aspects of computing systems. Both fundamental and practical aspects of timed...

C++ for Mathematicians: An Introduction for Students and Professionals

CRC Press, 2006

The first book available on C++ programming that is written specifically for a mathematical audience, C++ for Mathematicians omits the language's more obscure features in favor of the aspects of greatest utility for mathematical work. Emphasizing the essential role of practice as part of the learning process, the book is ideally designed...

Brains, Machines, and Mathematics

Springer, 1987

This is a book whose time has come-again. The first edition (published by McGraw-Hill in 1964) was written in 1962, and it celebrated a number of approaches to developing an automata theory that could provide insights into the processing of information in brainlike machines, making it accessible to readers with no more than a college...

Data Streams: Algorithms and Applications (Foundations and Trends in Theoretical Computer Science)

Now Publishers, 2005

Data stream algorithms as an active research agenda emerged only over the past few years, even though the concept of making few passes over the data for performing computations has been around since the early days of Automata Theory. The data stream agenda now pervades many branches of Computer Science including databases, networking, knowledge...

Nature Inspired Cooperative Strategies for Optimization (NICSO 2013): Learning, Optimization and Interdisciplinary Applications

Springer, 2013

Biological and other natural processes have always been a source of inspiration for computer science and information technology. Many emerging problem solving techniques integrate advanced evolution and cooperation strategies, encompassing a range of spatio-temporal scales for visionary conceptualization of evolutionary computation.

...

A Course in Formal Languages, Automata and Groups (Universitext)

Springer, 2009

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)

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

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