for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
The 7-volume set of LNCS 13841-13847 constitutes the proceedings of the 16th Asian... Læs mere
This book constitutes the Third Diabetic Foot Ulcers Grand Challenge, DFUC 2022, which was held on September 2022, in conjunction with the 25th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2022 in Singapore.
This book constitutes revised selected papers from the refereed... Læs mere
This book constitutes the refereed proceedings of the 8th International... Læs mere
This book constitutes the proceedings of the 17th International... Læs mere
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions.
This book constitutes the refereed proceedings of the 9th International... Læs mere
This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, Germany, in March 2023. The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions.