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