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