4 Ebooks bởi Volker Stolz
Zoltan Adam Mann & Volker Stolz: Advances in Service-Oriented and Cloud Computing
This volume contains the technical papers presented in the workshops, which took place at the 6th European Conference on Service-Oriented and Cloud Computing, ESOCC 2017, held in Oslo, Norway, Septem …
EPUB
Anh
DRM
€57.99
Gustavo Carvalho & Volker Stolz: Formal Methods: Foundations and Applications
This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020. Instead the symp …
EPUB
Anh
DRM
€70.77
Violet Ka I Pun & Adenilso Simao: Theoretical Aspects of Computing – ICTAC 2020
This book constitutes the proceedings of the 17th International Colloquium on Theoretical Aspects of Computing, ICTAC 2020, which took place during November 30-December 4, 2020. The conference was or …
EPUB
Anh
DRM
€57.99
Thao Dang & Volker Stolz: Runtime Verification
This book constitutes the refereed proceedings of the 22nd International Conference on Runtime Verification, RV 2022, held in Tbilisi, Georgia, during September 28-30, 2022. The 12 regular papers and …
EPUB
Anh
DRM
€77.38
