Electronic Books

Total Books: 441 - 460 /597

This book is organized in topical sections on provenance: models and querying; provenance: visualization, failures, identity; ...

This book constitutes the refereed proceedings of the 13th International Conference on the Quality of Information and Communications ...

. T- ditionally very focused on the area of networking, it has grown to include mobile applications, wireless environments, ...

This book constitutes the thoroughly refereed postproceedings of the Second International Workshop on Rapid Integration of ...

This book contains a collection of thoroughly revised tutorial papers based on lectures given by leading researchers at the ...

This volume contains the tutorial papers of the Summer School “Reasoning Web,”July25–29,2005(http://reasoningweb. org). ...

This book presents thoroughly arranged tutorial papers corresponding to lectures given by leading researchers at the Second ...

This book is presented provide competent coverage of methods and major application areas such as social networks, semantic ...

This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development ...

This monograph addresses advances in representation learning, a cutting-edge research area of machine learning. Representation ...

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

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

This State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing ...

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

This Festschrift volume published to honor Jean-Pierre Jouannaud on his 60th Birthday on May 12, 2007, includes 13 refereed ...

While most of the current works in Artificial Intelligence (AI) focus on individual aspects of intelligence and cognition, ...

This book is simultaneously a theoretical study in morphosyntax and an in-depth empirical study of Hebrew. Based on Hebrew ...

RuleML 2005 also accommodated the ?rst Workshop on OWL: Experiences and Directions. Rules are widely recognized to be a major ...

Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...

This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ...

Total Books: 441 - 460 /597