Electronic Books

Total Books: 641 - 660 /1828

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

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

This book constitutes the refereed proceedings of the 11th International Conference on Database Systems for Advanced Applications, ...

This book constitutes the refereed proceedings of the 13th International Conference on Database Systems for Advanced Applications, ...

This volume collects the papers presented at the 10th International Conference on Database Theory, ICDT 2005, held during ...

The papers are organized in topical sections on information integration and peer to peer, axiomatizations for XML, expressive ...

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 4th International Workshop on Databases in Networked Information Systems, ...

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

This textbook for students and practitioners presents a practical approach to decomposition techniques in optimization. It ...

Discusses a broad overview of traditional machine learning methods and state-of-the-art deep learning practices for hardware ...

Presents a comprehensive comparison of the performance of stochastic optimization algorithms Includes an introduction to ...

Deep learning has been successfully applied to solve various complex problems ranging from big data analytics to computer ...

Deformable Models: Biomedical and Clinical Applications is the first entry in the two-volume set which provides a wide cross-section ...

This volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deontic Logic in Computer Science, ...

This book presented fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, ...

Contains the proceedings of the 'Second Latin-American Symposium' on Dependable Computing, LADC 2005. This book comprises ...

This book presented fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, ...

The present volume documents the results of a research program on Dependable Information and Communication Systems (DICS). ...

This is the third volume of the new conference series Design Computing and Cognition (DCC) that takes over from and subsumes ...

Total Books: 641 - 660 /1828