Electronic Books

Total Books: 421 - 440 /1569

This book presents the main scientific results from the H2020 GUARD project. The GUARD project aims at filling the current ...

Apache Spark's speed, ease of use, sophisticated analytics, and multilanguage support makes practical knowledge of this ...

This book constitutes the refereed proceedings of the First International Conference on Data Management in Grid and Peer-to-Peer ...

This volume provides a snapshot of the current state of the art in data mining, presenting it both in terms of technical ...

This book teaches data-parallel programming using C++ and the SYCL standard from the Khronos Group and walks through everything ...

Intended to flow from the basic concepts of C++ to technicalities of the programming language, its approach and debugging. ...

An advanced algorithms book that bridges the gap between traditional CS2 and Algorithms Analysis courses. As the speed and ...

This volume contains works at the intersection of database and programming language research.It also cover algorithms, XML ...

Constitutes the refereed post-proceedings of the 10th International Workshop on Database Programming Languages, DBPL 2005. ...

The papers here are organized in topical sections on semistructured data OL AP and data mining systems, schema integration, ...

This volume contains works at the intersection of database and programming language research.It also cover algorithms, XML ...

The double volumes LNCS 12391-12392 constitutes the papers of the 31st International Conference on Database and Expert Systems ...

Constitutes the proceedings of the Third International XML Database Symposium, XSym 2005, held in Trondheim, Norway in August ...

This book constitutes the refereed proceedings of the 14th International Baltic Conference on Databases and Information Systems, ...

A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated ...

A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated ...

The book concentrates on decision procedures for first-order theories that are commonly used in automated verification and ...

The second edition of the workshop on Declarative Agent Languages and Te- nologies (DALT 2004) was held July 2004 in New ...

The workshop on Declarative Agent Languages and Technologies is a we- established venue for researchers interested in sharing ...

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Declarative Agent Languages ...

Total Books: 421 - 440 /1569