The double volumes LNCS 12391-12392 constitutes the papers of the 31st International Conference on Database and Expert Systems ...
Lire la suite
This book constitutes the refereed proceedings of the 19th International Conference on Database and Expert Systems Applications, ...
Lire la suite
This book discuss the use of and synergy between databases and XML. It provided theory and practice of XML data management ...
Lire la suite
This book discuss the use of and synergy between databases and XML. It provided theory and practice of XML data management ...
Lire la suite
This book constitutes the refereed proceedings of the 14th International Baltic Conference on Databases and Information Systems, ...
Lire la suite
This book constitutes the refereed proceedings of the 4th International Workshop on Databases in Networked Information Systems, ...
Lire la suite
The P2P paradigm lends itself to constructing large-scale, complex, adaptive, autonomous and heterogeneous database and information ...
Lire la suite
The P2P paradigm lends itself to constructing large-scale, complex, adaptive, autonomous and heterogeneous database and information ...
Lire la suite
This book presents translations of all the relevant German texts, and analyses the background and context of Hansemann's ...
Lire la suite
This book explores commentaries on an influential text of pre-Copernican astronomy in Europe. It features essays that take ...
Lire la suite
This text is devoted to examining new research at the interface of operations research, behavioral and cognitive sciences, ...
Lire la suite
The book concentrates on decision procedures for first-order theories that are commonly used in automated verification and ...
Lire la suite
The second edition of the workshop on Declarative Agent Languages and Te- nologies (DALT 2004) was held July 2004 in New ...
Lire la suite
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Declarative Agent Languages ...
Lire la suite
This volume presents a selection of papers presented at the 16th Inter- tional Conference on Applications of Declarative ...
Lire la suite
This textbook for students and practitioners presents a practical approach to decomposition techniques in optimization. It ...
Lire la suite
What is a proof for? What is the characteristic use of a proof as a computation, as opposed to its use as an experiment? ...
Lire la suite
Discusses a broad overview of traditional machine learning methods and state-of-the-art deep learning practices for hardware ...
Lire la suite
Provides an overview of different deep learning-based methods for face recognition and related problems. Specifically, the ...
Lire la suite
Presents a comprehensive comparison of the performance of stochastic optimization algorithms Includes an introduction to ...
Lire la suite