Learn IT - Books tags automata

Introduction to Nonlinear Physics

Springer, 2003

This textbook provides an introduction to the new science of nonlinear physics for advanced undergraduates, beginning graduate students, and researchers entering the field. The chapters, by pioneers and experts in the field, share a unified perspective. Nonlinear science developed out of the increasing ability to investigate and analyze systems for...

Distributed Control of Robotic Networks: A Mathematical Approach to Motion Coordination Algorithms (Princeton Series in Applied Mathematics)

Princeton Press, 2009

This book covers its subject very thoroughly. The framework the authors have established is very elegant and, if it catches on, this book could be the primary reference for this approach. I don't know of any other book that covers this set of topics.
(Richard M. Murray, California Institute of Technology )

This...

Collaborative Geographic Information Systems

Idea Group Publishing, 2006

Many advances in the integration of group spatial modeling, geographic information systems (GIS), and the Internet have occurred in recent years; however, there is a lack of materials to highlight the transdisciplinary characteristics and impacts of this convergence while providing a uniform and consistent treatment of this expanding field of...

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

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

Systematic Design for Emergence in Cellular Nonlinear Networks: With Applications in Natural Computing and Signal Processing-

Springer, 2008

The main problem addressed in this book came out during a Fulbright research fellowship stage at U.C. Berkeley (California, USA, 1996–1998). Then, I had the opportunity to work in the research group of Leon Chua on a subject called CNN (cellular neural/nonlinear network). The CNN, developed in the end of the 1980s was an important step ahead...

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

Programming Language Pragmatics, Second Edition

Morgan Kaufmann, 2005

"Michael Scott's book could have been entitled: Why Programming Languages Work. It takes a fresh look at programming languages by bringing together ideas and techniques usually covered in disparate language design, compiler, computer architecture, and operating system courses. Its comprehensive and integrated presentation of language...

Formal Techniques for Networked and Distributed Systems (IFIP International Federation for Information Processing)

Springer, 2001

This book presents the latest worldwide results in theory and practice of formal techniques for networked and distributed systems. The theme of the book is addressed by specialized papers in the following areas:

Formal Methods in Software Development,

Process Algebra,

Timed Automata,

...

Principles of Model Checking

MIT Press, 2008

Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a...

Mathematical Foundations of Computer Science 2008: 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings

Springer, 2008

This book constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2008, held in Torun, Poland, in August 2008.

The 45 revised full papers presented together with 5 invited lectures were carefully reviewed and selected from 119 submissions. All current aspects in theoretical...

Linknot: Knot Theory by Computer (Series on Knots and Everything)

World Scientific Publishing, 2007

LinKnot Knot Theory by Computer provides a unique view of selected topics in knot theory suitable for students, research mathematicians, and readers with backgrounds in other exact sciences, including chemistry, molecular biology and physics. The book covers basic notions in knot theory, as well as new methods for handling open problems such as...

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