for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
The three volume set LNCS 13554, 13555, 13556 constitutes the proceedings of the 27th European Symposium on Research in Computer Security, ESORICS 2022, which took place in September 2022.
This book constitutes selected papers presented during the First... Læs mere
This book constitutes the refereed proceedings of the 22nd International Conference on Runtime... Læs mere
The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.
This volume LNCS 13591 constitutes the proceedings of the International Conference on Cooperative Information Systems, CoopIS 2022, collocated with the Enterprise Design, Operations and Computing conference, EDOC 2022, in October 2022 in Bozen-Bolzano, Italy.
This book constitutes the refereed proceedings of the 41st International Conference on Conceptual... Læs mere
This book constitutes the proceedings of the 20th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2022, held in L'Aquila, Italy in July 2022. The 37 full papers in this book were reviewed and selected from 67 submissions.
This book constitutes refereed proceedings of the 10th Ecuadorian Conference on Information and Communication Technologies, TICEC 2022, held in Manta, Ecuador, in October 2022. The 20 full papers were carefully reviewed and selected from 150 qualified submissions.
This book constitutes the revised selected papers of the 16th Symposium... Læs mere
This book constitutes the refereed proceedings of the 15th International Conference on... Læs mere