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, ...
اقرأ المزيد
Databases in Networked Information Systems
This book Is focusing on data semantics and infrastructure for information management and interchange, the papers are organized ...
اقرأ المزيد
Databases in Networked Information Systems
This book Is focusing on data semantics and infrastructure for information management and interchange, the papers are organized ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Declarative Agent Languages and Technologies IV
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Declarative Agent Languages ...
اقرأ المزيد
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 ...
اقرأ المزيد
Deep Learning for Computational Problems in Hardware Security : Modeling Attacks on Strong Physically Unclonable Function Circuits / Pranesh Santikellur, Rajat Subhra Chakraborty
Discusses a broad overview of traditional machine learning methods and state-of-the-art deep learning practices for hardware ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Dependability Metrics : Advanced Lectures
This tutorial book gives an overview of the current state of the art in measuring the different aspects of dependability ...
اقرأ المزيد
Dependable Computing - EDCC 2005
It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established ...
اقرأ المزيد
Dependable Embedded Systems
This book introduces readers to many new techniques for enhancing and optimizing reliability in embedded systems, which have ...
اقرأ المزيد
Dependable Software Engineering. Theories, Tools, and Applications
This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, ...
اقرأ المزيد
Dependable Systems: Software, Computing, Networks
The present volume documents the results of a research program on Dependable Information and Communication Systems (DICS). ...
اقرأ المزيد
Dependable and Adaptable Networks and Services
Innovative Internet Applications.’ Much has changed since then: wireless network technologies have become a constantly ...
اقرأ المزيد
Dependable and Adaptable Networks and Services
Innovative Internet Applications.’ Much has changed since then: wireless network technologies have become a constantly ...
اقرأ المزيد
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 ...
اقرأ المزيد
Design by Evolution : Advances in Evolutionary Design
This book showcases the state of the art in evolutionary algorithms for design. The chapters are organized by experts in ...
اقرأ المزيد
Design of Adaptive Finite Element Software
During the last years, scientific computing has become an important research branch located between applied mathematics and ...
اقرأ المزيد
