Electronic Books

Total Books: 261 - 280 /989
Data Management Technologies and Applications : 8th International Conference, DATA 2019, Prague, Czech Republic, July 26–28, 2019, Revised Selected Papers

This book constitutes the thoroughly refereed proceedings of the 8th International Conference on Data Management Technologies ...

Lee mas
Data Management in Grid and Peer-to-Peer Systems : First International Conference, Globe 2008, Turin, Italy, September 3, 2008. Proceedings

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

Lee mas
Data Science : 6th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2020, Taiyuan, China, September 18-21, 2020, Proceedings, Part II

This two volume set (CCIS 1257 and 1258) constitutes the refereed proceedings of the 6th International Conference of Pioneering ...

Lee mas
Data Science and Analytics : 5th International Conference on Recent Developments in Science, Engineering and Technology, REDSET 2019, Gurugram, India, November 15–16, 2019, Revised Selected Papers, Part I

This two-volume set (CCIS 1229 and CCIS 1230) constitutes the refereed proceedings of the 5th International Conference on ...

Lee mas
Database and Expert Systems Applications

This volume constitutes the refereed proceedings of the three workshops held at the 31st International Conference on Database ...

Lee mas
Database and Expert Systems Applications

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

Lee mas
Databases and Information Systems : 14th International Baltic Conference, DB&IS 2020, Tallinn, Estonia, June 16–19, 2020, Proceedings

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

Lee mas
Decision Procedures : An Algorithmic Point of View

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

Lee mas
Declarative Agent Languages and Technologies II

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

Lee mas
Declarative Agent Languages and Technologies IV

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

Lee mas
Declarative Agent Languages and Technologies V : 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative ...

Lee mas
Deep Statistical Comparison for Meta-heuristic Stochastic Optimization Algorithms / Tome Eftimov, Peter Korošec

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

Lee mas
Demystifying Internet of Things Security Successful IoT Device/Edge and Platform Security Deployment

The IoT presents unique challenges in implementing security and Intel has both CPU and Isolated Security Engine capabilities ...

Lee mas
Dependability Metrics : Advanced Lectures

This tutorial book gives an overview of the current state of the art in measuring the different aspects of dependability ...

Lee mas
Dependable Embedded Systems

This book introduces readers to many new techniques for enhancing and optimizing reliability in embedded systems, which have ...

Lee mas
Dependable Software Engineering. Theories, Tools, and Applications

This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, ...

Lee mas
Dependable Systems: Software, Computing, Networks

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

Lee mas
Design Patterns in Modern C++20 : Reusable Approaches for Object-Oriented Software Design / Dmitri Nesteruk

As well as covering traditional design patterns, this book fleshes out new design patterns and approaches that will be useful ...

Lee mas
Design of Adaptive Finite Element Software

During the last years, scientific computing has become an important research branch located between applied mathematics and ...

Lee mas
NoIMG
Design of Systems on a Chip

Design of Systems on a Chip: Design&Test is the second of two volumes addressing the design challenges associated with new ...

Lee mas
Total Books: 261 - 280 /989