for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.
This book constitutes the revised selected papers of the 5th International Workshop on Active... Læs mere
Traditionally, the consensus protocols are studied either in the synchronous or in the asynchronous communication setting and very often the protocols in the former category serve as the basis for the protocols in the latter category.
The two-volume set ICAISC 2024 15164, 15165 and 15166 constitutes the... Læs mere
The two-volume set ICAISC 2024 15164, 15165 and 15166 constitutes the... Læs mere