Modelling, State Observation and Diagnosis of Quantised Systems
The book concerns quantised systems which emerge from continuous-variable systems by quantising the values of all signals. ...
اقرأ المزيد
Modern Formal Methods and Applications
Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be ...
اقرأ المزيد
Multi-Robot Systems. From Swarms to Intelligent Automata, Volume III
Documents developments in multi-robot systems research. This volume is the result of the Third International workshop on ...
اقرأ المزيد
New Developments in Formal Languages and Applications
The theory of formal languages is widely recognized as the backbone of theoretical computer science, originating from mathematics ...
اقرأ المزيد
New Horizons of Parallel and Distributed Computing
Parallel and distributed computing is one of the foremost technologies for shaping future research and development activities ...
اقرأ المزيد
On Communication. An Interdisciplinary and Mathematical Approach
This book offers a radical new approach for the understanding of communication. By using the theoretical framework of complex ...
اقرأ المزيد
Operational Semantics for Timed Systems
This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents ...
اقرأ المزيد
Parallel Computing Technologies
This book constitutes the refereed proceedings of the 9th International Conference on Parallel Computing Technologies, PaCT ...
اقرأ المزيد
Parallel and Distributed Processing and Applications - ISPA 2005 Workshops
Welcome to the proceedings of the ISPA 2005 workshops, held in the city of Nanjing, China. For the first time eight workshops ...
اقرأ المزيد
Parameterized Complexity Theory
This book is a state-of-the-art introduction to both algorithmic techniques for fixed-parameter tractability and the structural ...
اقرأ المزيد
Parsing Techniques : A Practical Guide
In addition to the traditional parsing techniques, this second edition presents new developments and discoveries: generalized ...
اقرأ المزيد
Perspectives of Systems Informatics
This volume contains the ?nal proceedings of the Sixth International Andrei Ershov Memorial Conference on Perspectives of ...
اقرأ المزيد
Pillars of Computer Science : Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday
This festschrift volume is dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday. For over half a century, ...
اقرأ المزيد
Principles of the Spin Model Checker
Principles of Spin is an introductory book for students and practicing software engineers who wish to learn Promela and Spin. ...
اقرأ المزيدProgramming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
This book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April ...
اقرأ المزيد
Progress in Artificial Life
This book constitutes the refereed proceedings of the Third Australian Conference on Artificial Life, ACAL 2007, held in ...
اقرأ المزيد
Quantitative Measure for Discrete Event Supervisory Control
Summarizes fundamental materials in supervisory decision and control before integrating new method to quantitatively measure ...
اقرأ المزيد
Recent Advances in Formal Languages and Applications
This volume contains areas, mainly applications, which have not appeared in any collection of this type. The book representing ...
اقرأ المزيد
Recent Trends in Algebraic Development Techniques
This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development ...
اقرأ المزيد
Reconfigurable Computing: Architectures, Tools and Applications
This book constitutes the refereed proceedings of the Third International Workshop on Applied Reconfigurable Computing, ARC ...
اقرأ المزيد
