Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be ...
Continue readingDocuments developments in multi-robot systems research. This volume is the result of the Third International workshop on ...
Continue readingThe theory of formal languages is widely recognized as the backbone of theoretical computer science, originating from mathematics ...
Continue readingParallel and distributed computing is one of the foremost technologies for shaping future research and development activities ...
Continue readingThis book offers a radical new approach for the understanding of communication. By using the theoretical framework of complex ...
Continue readingThis monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents ...
Continue readingThis book constitutes the refereed proceedings of the 9th International Conference on Parallel Computing Technologies, PaCT ...
Continue readingWelcome to the proceedings of the ISPA 2005 workshops, held in the city of Nanjing, China. For the first time eight workshops ...
Continue readingThis book is a state-of-the-art introduction to both algorithmic techniques for fixed-parameter tractability and the structural ...
Continue readingIn addition to the traditional parsing techniques, this second edition presents new developments and discoveries: generalized ...
Continue readingThis volume contains the ?nal proceedings of the Sixth International Andrei Ershov Memorial Conference on Perspectives of ...
Continue readingThis festschrift volume is dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday. For over half a century, ...
Continue readingPrinciples of Spin is an introductory book for students and practicing software engineers who wish to learn Promela and Spin. ...
Continue readingThis book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April ...
Continue readingThis book constitutes the refereed proceedings of the Third Australian Conference on Artificial Life, ACAL 2007, held in ...
Continue readingSummarizes fundamental materials in supervisory decision and control before integrating new method to quantitatively measure ...
Continue readingThis volume contains areas, mainly applications, which have not appeared in any collection of this type. The book representing ...
Continue readingThis book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development ...
Continue readingThis book constitutes the refereed proceedings of the Third International Workshop on Applied Reconfigurable Computing, ARC ...
Continue readingThis book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which ...
Continue reading