Søgning på underkategorier- og emner:
This book contains a selection of the best papers of the 45th Annual... Læs mere
This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23–24, 2023. The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions.
T?his book constitutes the proceedings of the 37th International Conference on... Læs mere
This book constitutes the refereed post-proceedings of the 11th... Læs mere
This book constitutes the refereed proceedings of the 10th EAI International Conference on INISCOM 2024, held in Da Nang, Vietnam, during February 20–21, 2024. The 18 full papers included in this book were carefully reviewed and selected from 41 submissions.
This book constitutes the refereed proceedings of the 12th Annual Privacy Forum on Privacy Technologies and Policy, APF 2024, held in Karlstad, Sweden, during September 4–5, 2024. The 12 full papers were carefully reviewed and selected from 60 submissions.
This multi-volume LNCS set, LNCS 15148-15151, constitutes the refereed... Læs mere
This multi-volume LNCS set, LNCS 15148-15151, constitutes the refereed... Læs mere
This multi-volume LNCS set, LNCS 15148-15151, constitutes the refereed... Læs mere
This multi-volume LNCS set, LNCS 15148-15151, constitutes the refereed... Læs mere
This book constitutes the refereed proceedings of the 28th International... Læs mere
This four-volume set LNCS 14982-14985 constitutes the refereed... Læs mere