 |
|
|
|
 Real-Time Systems: Formal Specification and Automatic VerificationReal-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This text introduces three of these techniques, based on logic and automata:... |  |  A Half-Century of Automata Theory: Celebration and InspirationSuggests Automata Theory may be poised for another period of significant advance, similar to that in the 1960s and 1970s. -- Mathematical Reviews, 2002
This volume gathers lectures by 8 distinguished pioneers of automata theory, including two Turing Award winners. In each contribution, the early developments of... |  |  Chaos and Fractals: An Elementary Introduction
This book provides the reader with an elementary introduction to chaos and fractals, suitable for students with a background in elementary algebra, without assuming prior coursework in calculus or physics. It introduces the key phenomena of chaos - aperiodicity, sensitive dependence on initial conditions, bifurcations - via simple iterated... |
|
|
|
|
|
Result Page: 10 9 8 7 6 5 4 3 2 1 |