Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021.
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 27th International Conference... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book constitutes contributions of the ISoLA 2021 associated events.... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 5th International Workshop... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 50th Annual... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021.
Bemærk: Kan ikke leveres før jul.
This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 22nd International... Læs mere
Bemærk: Kan ikke leveres før jul.
The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 16th Conference on Artificial Intelligence in Medicine, AIME 2017, held in Vienna, Austria, in June 2017. The 21 revised full and 23 short papers presented were carefully reviewed and selected from 113 submissions.