for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This book constitutes the proceedings of the 20th International Conference on... Læs mere
The 31 full papers presented together with 15 short papers and 1 demo... Læs mere
This book constitutes the proceedings of the 8th International Symposium... Læs mere
This book constitutes the proceedings of the 14th International Symposium on... Læs mere
This book constitutes selected papers presented at the First... Læs mere
This book constitutes the proceedings of the 15th IFIP Working Conference on... Læs mere
This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions.
This book constitutes the refereed proceedings of the 8th Russian Supercomputing... Læs mere
This book constitutes the proceedings of the 6th International Conference on Edge Computing, EDGE 2022, held as part of the Services Conference Federation, SCF 2022, held in Honolulu, HI, USA, in December 2022.
This book constitutes the proceedings of the 5th International Conference on Blockchain, ICBC 2022, held as part of the Services Conference Federation, SCF 2022, held in Honolulu, HI, USA, in December 2022.