Søgning på underkategorier- og emner:
This six-volume set, LNAI 15387-15392, constitutes the refereed... Læs mere
This book constitutes the proceedings of the 8th International Conference on Mathematical Software, ICMS 2024, held in Durham, UK, during July 22–25, 2024. The 37 full papers presented were carefully reviewed and selected from 46 submissions.
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.