This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Continue readingThis book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
Continue readingThis book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
Continue readingThe Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...
Continue readingThis work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the ...
Continue readingThis volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, ...
Continue readingThis book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Continue readingThis book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Continue readingThis book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held ...
Continue readingThis book constitutes the refereed proceedings of the 7th International Conference on Cellular Automata for Research and ...
Continue readingThis book constitutes the refereed proceedings of the 8th International Conference on Cellular Automata for Research and ...
Continue readingThis volume constitutes the refereed post-conference proceedings of the 26th IFIP WG 1.5 International Workshop on Cellular ...
Continue readingThis book focuses on a challenging application field of cellular automata: pattern formation in biological systems, such ...
Continue readingWe are living in an ever more complex world, an epoch where human actions can accordingly acquire far-reaching potentialities. ...
Continue readingThis two-volume textbook Comprehensive Mathematics for Computer Scientists is a self-contained comprehensive presentation ...
Continue readingThis book covers automata in depth, providing good intuitions along the way, and culminating with applications that are used ...
Continue readingThis volume, Computation and Logic in the Real World, is the proceedings of the third in a series of conferences of CiE Computability ...
Continue readingThis volume, Computation and Logic in the Real World, is the proceedings of the third in a series of conferences of CiE Computability ...
Continue readingThis volume contains chapters presenting applications of different metaheuristics (ant colony optimization, great deluge ...
Continue readingThe four-volume set LNCS 3991-3994 constitutes the refereed proceedings of the 6th International Conference on Computational ...
Continue reading