Electronic Books

Total Books: 201 - 220 /687

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, ...

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 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 ...

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

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

Dependable Computing

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

Dependable Software Engineering. Theories, Tools, and Applications

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

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, User Experience, and Usability. Interaction Design : 9th International Conference, DUXU 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I

This book constitutes the refereed proceedings of the 9th International Conference on Design, User Experience, and Usability, ...

Designing Ubiquitous Information Environments: Socio-Technical Issues and Challenges

The book brings in diverse perspectives on ubiquitous information environments, from computer-supported collaborative work, ...

DevOps Tools for Java Developers: Best Practices from Source Code to Production Containers / Stephen Chin, Melissa McKay, Ixchel Ruiz, Baruch Sadogursky

Explore software lifecycle best practices Use DevSecOps methodologies to facilitate software development and delivery Understand ...

DevOps for Digital Leaders : Reignite Business with a Modern DevOps-Enabled Software Factory

In DevOps for Digital Leaders, deep collective experience on both sides of the dev–ops divide informs the global thought ...

Developing Ambient Intelligence : Proceedings of the International Conference on Ambient Intelligence Developments (AmI.d’07)

The research papers included in the AmI.d proceedings are devoted to both theoretical and applied research, cover the most ...

Developing Services for the Wireless Internet

This book is for developers of wireless Internet services. It addresses the technical issues that can get in the way of the ...

Developments in Risk-based Approaches to Safety

The papers included in this volume address the most critical topics in the field of safety-critical systems. The focus this ...

Diagrammatic Representation and Inference

This book constitutes the refereed proceedings of the 11th International Conference on the Theory and Application of Diagrams, ...

Diagrammatic Representation and Inference : 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings

This book constitutes the refereed proceedings of the 5th International Conference on Theory and Application of Diagrams, ...

Total Books: 201 - 220 /687