Informatik (15.757 Artikel)

Constraint Solving and Planning with Picat

This books reviews recent theoretical and practical advances on suffix sorting and introduces algorithmic solutions to problems of wide interest for the construction of fundamental data structures ...

First International Workshop, CSSL 2021, Virtual Event, August 19-20, 2021, Revised Selected Papers

This book constitutes revised selected papers from the thoroughly refereed proceedings of the International Workshop on Coordination, Organizations, Institutions, Norms, and Ethics for Governance o...

This book constitutes the refereed proceedings of the 17th International Conference on Critical Information Infrastructures Security, CRITIS 2022, which took place in Munich, Germany, during Septem...

In 2016, Germany's government presented its third cybersecurity strategy, which aims to strengthen the national cyber defence architecture, cooperation between the state and industry, and individua...

These cybercrimes are hampering Nigeria's digital economy, and also help to explain why many Nigerians remain skeptical about Internet marketing and online transactions. If sensitive conversations ...

A Practical Introduction

An Introduction to Statistics and Machine Learning

This textbook examines database systems from the viewpoint of a software developer. This perspective makes it possible to investigate why database systems are the way they are. It is of course impo...

A practical description of the software design patterns as they are mentioned in the 1994 book "Design Patterns - Elements of Reusable ObjectOriented Software" by the author group Gamma, Helm, John...

13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings

This book constitutes the revised selected papers of the 5th International Workshop on Dynamic Logic. New Trends and Applications, DaLí 2023, held in Tbilisi, Georgia, during September 15-16, 2023....

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Third Tsinghua Interdisciplinary Workshop on Logic, Lan...