Electronic Books

Total Books: 1 - 18 /18

Abstract Computing Machines

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

Advances in Rule Interchange and Applications

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

Advances in Rule Interchange and Applications

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

Basics Masonry Construction - Basics / Nils Kummer

Masonry construction is usually the top priority in the constructive exercises during the course. The basic principles of ...

CASCOM: Intelligent Service Coordination in the Semantic Web

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

Certification and Security in Inter-Organizational E-Services

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

Dependable Embedded Systems

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

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

Executing Magic in the Modern Era

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

Formal Methods in Systems Biology : First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings

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

From Strategy to Execution

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

Global Specification and Validation of Embedded Systems

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

Harnessing the Power of the Criminal Corpse

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

Holonic Execution: A BDI Approach

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

Mobile Service Computing

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

RFID in Manufacturing

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

Rule Representation, Interchange and Reasoning on the Web : International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings

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

Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

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

Total Books: 1 - 18 /18