Informatik (15 757 Artikel)

Tutorials on Theory and Problems

This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods across a diverse range of areas of comp...

Algorithms, Exercises, and Implementations

Concurrent Programming: Algorithms, Principles, and Foundations

This book constitutes the refereed proceedings of the 14th International Workshop on Constructive Side-Channel Analysis and Secure Design, COSADE 2023, held in Munich, Germany, during April 3-4, 20...

15th International Workshop, COSADE 2024, Gardanne, France, April 9-10, 2024, Proceedings

This book constitutes the thoroughly refereed post-conference proceedings of the International Workshop on Coordination, Organizations, Institutions, and Norms for Governance of Multi-Agent Systems...

Core Data Analysis: Summarization, Correlation, and Visualization

19th IMA International Conference, IMACC 2023, London, UK, December 12-14, 2023, Proceedings

This book constitutes the refereed First International Conference on  Cryptography, Codes and Cyber Security, I4CS 2022, held in Casablanca, Morocco, during October 27-28, 2022.The 4 full papers an...

The 17 full and 4 short papers presented include cyber security; secure software development methodologies, formal methods semantics and verification of secure systems; fault tolerance, reliability...

The LNCS 13172  constitute the proceedings of the 13th International Symposium on Cyberspace Safety and Security, CSS 2021, held online, in November 2021.

ESORICS 2019 International Workshops, DPM 2019 and CBT 2019, Luxembourg, September 26-27, 2019, Proceedings

The book provides a comprehensive overview of core concepts and technological foundations, as well as various systems and applications, and is of particular interest to students, lecturers and rese...

34th International Conference, DEXA 2023, Penang, Malaysia, August 28-30, 2023, Proceedings