Electronic Books

Total Books: 1 - 17 /17

The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic ...

The goal of RuleM is to develop an open, general, XML-based family of rule languages as intermediaries between various ‘specialized’ ...

The goal of RuleM is to develop an open, general, XML-based family of rule languages as intermediaries between various ‘specialized’ ...

A general architecture for service delivery and coordination in intelligent agent-based peer-to-peer (IP2P) environments, ...

This collection of papers offers real-life application experiences, research results and methodological proposals of direct ...

This book introduces readers to many new techniques for enhancing and optimizing reliability in embedded systems, which have ...

Do-All Computing in Distributed Systems: Cooperation in the Presence of Adversity is the first book that presents an in depth ...

This book explores the magical and medical history of executions from the eighteenth to the early twentieth century by looking ...

This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, ...

"In this Abstract, you will learn: 1) Why businesses must become innovative; 2) How to develop creative business models; ...

Global modelling and validation is required to master the design of systems made of heterogeneous components. These systems ...

This open access book is the culmination of many years of research on what happened to the bodies of executed criminals in ...

Holonic manufacturing has been an active area of research for the past decade. However, this work has been predominately ...

This book introduces readers to the background and principles of mobile service computing. It discusses various aspects of ...

Information systems for manufacturing often follow a three-layer architecture based on an enterprise resource planning (ERP) ...

This book is organized in topical sections on rule engineering, rule-based methodologies and applications in policies, electronic ...

This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...

Total Books: 1 - 17 /17