Electronic Books

Total Books: 41 - 60 /248

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

The four-volume set LNCS 3991-3994 constitutes the refereed proceedings of the 6th International Conference on Computational ...

The four-volume set LNCS 3991-3994 constitutes the refereed proceedings of the 6th International Conference on Computational ...

The concept of CAST, computer aided systems Theory, was introduced by F. Pichler of Linz in the late 1980s to include those ...

This book presented formal approaches, Computation and Simulation in Modelling Biological Systems, Intelligent Information ...

Total Books: 41 - 60 /248