for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This book constitutes the proceedings of the 15th IFIP Working Conference on... Læs mere
This book constitutes the refereed proceedings of the 18th International... Læs mere
This book constitutes the refereed proceedings of the 27th Australasian Conference on Information Security and Privacy, ACISP 2022, held in Wollongong, NSW, Australia, in November 2022.The 25 full papers presented were carefully revised and selected from 62 submissions.
This book constitutes the refereed proceedings of the 29th International Symposium on Static Analysis, SAS 2022, held in Auckland, New Zealand, in December 2022. The 18 full papers included in this book were carefully reviewed and selected from 43 submissions.
Henzinger on the occasion of his 60th birthday in 2022. This Festschrift volume celebrates his... 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.