Electronic Books

Total Books: 41 - 60 /268

Automated Technology for Verification and Analysis

This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...

Automated Technology for Verification and Analysis

This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...

Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...

Automated Technology for Vertification and Analysis

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...

Automatic Program Development : A Tribute to Robert Paige

This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the ...

CONCUR 2006 - Concurrency Theory

This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, ...

CONCUR 2007 – Concurrency Theory

This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...

CONCUR 2007 – Concurrency Theory

This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...

CONCUR 2008 - Concurrency Theory : 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings

This book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held ...

Cellular Automata

This book constitutes the refereed proceedings of the 7th International Conference on Cellular Automata for Research and ...

Cellular Automata : 8th International Conference on Cellular Aotomata for Reseach and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008. Proceedings

This book constitutes the refereed proceedings of the 8th International Conference on Cellular Automata for Research and ...

Cellular Automata and Discrete Complex Systems : 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10–12, 2020, Proceedings

This volume constitutes the refereed post-conference proceedings of the 26th IFIP WG 1.5 International Workshop on Cellular ...

Cellular Automaton Modeling of Biological Pattern Formation

This book focuses on a challenging application field of cellular automata: pattern formation in biological systems, such ...

Chaos and Fractals : New Frontiers of Science / Heinz-Otto Peitgen , Hartmut Jürgens , Dietmar Saupe

Covers the central ideas and concepts of chaos and fractals as well as many related topics including: the Mandelbrot set, ...

Complex and Adaptive Dynamical Systems : A Primer

We are living in an ever more complex world, an epoch where human actions can accordingly acquire far-reaching potentialities. ...

Comprehensive Mathematics for Computer Scientists 1

This two-volume textbook Comprehensive Mathematics for Computer Scientists is a self-contained comprehensive presentation ...

Computation Engineering

This book covers automata in depth, providing good intuitions along the way, and culminating with applications that are used ...

Computation and Logic in the Real World

This volume, Computation and Logic in the Real World, is the proceedings of the third in a series of conferences of CiE Computability ...

Computation and Logic in the Real World

This volume, Computation and Logic in the Real World, is the proceedings of the third in a series of conferences of CiE Computability ...

Computational Intelligence in Reliability Engineering

This volume contains chapters presenting applications of different metaheuristics (ant colony optimization, great deluge ...

Total Books: 41 - 60 /268