Electronic Books

Total Books: 201 - 220 /268

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 proceedings of the 16th International Conference on Parallel Computing Technologies, PaCT 2021, ...

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 ...

Physical (A)Causality

This book addresses the physical phenomenon of events that seem to occur spontaneously and without any known cause. These ...

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 ...

Reversible Computation

This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which ...

Rewriting Techniques and Applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

The book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational ...

Total Books: 201 - 220 /268