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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Computational Science - ICCS 2006 (vol. # 3991)
The four-volume set LNCS 3991-3994 constitutes the refereed proceedings of the 6th International Conference on Computational ...
اقرأ المزيد
Computational Science - ICCS 2006 (vol. # 3993)
The four-volume set LNCS 3991-3994 constitutes the refereed proceedings of the 6th International Conference on Computational ...
اقرأ المزيد
Computer Aided Systems Theory – EUROCAST 2005
The concept of CAST, computer aided systems Theory, was introduced by F. Pichler of Linz in the late 1980s to include those ...
اقرأ المزيد
Computer Aided Systems Theory – EUROCAST 2007
This book presented formal approaches, Computation and Simulation in Modelling Biological Systems, Intelligent Information ...
اقرأ المزيد
Computer Aided Systems Theory – EUROCAST 2007
This book presented formal approaches, Computation and Simulation in Modelling Biological Systems, Intelligent Information ...
اقرأ المزيد
