Volker Stolz – författare
Visar alla böcker från författaren Volker Stolz. Handla med fri frakt och snabb leverans.
8 produkter
Formal Methods: Foundations and Applications
23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings
Av Gustavo Carvalho, Volker Stolz
Häftad, 2020
736 kr
Lägg i varukorg
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 symposium took place virtually due to the COVID-19 pandemic.The 10 regular papers presented together …
Formal Methods: Foundations and Applications
23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings
Av Volker Stolz, Gustavo Carvalho
E-bok, 2020
923 kr
Lägg i varukorg
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 symposium took place virtually due to the COVID-19 pandemic. The 10 regular papers presented together …
Theoretical Aspects of Computing – ICTAC 2020
17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings
Av Violet Ka I Pun, Volker Stolz m. fl.
Häftad, 2020
569 kr
Lägg i varukorg
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 originally planned to take place in Macau, China, but changed to a virtual only format due to the …
Theoretical Aspects of Computing - ICTAC 2020
17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings
Av Adenilso Simao, Volker Stolz m. fl.
E-bok, 2020
755 kr
Lägg i varukorg
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 originally planned to take place in Macau, China, but changed to a virtual only format due to the …
Runtime Verification
22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings
Häftad, 2022
747 kr
Lägg i varukorg
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 10 short papers presented in this book were carefully reviewed and selected from 40 submissions. The …
Runtime Verification
22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings
E-bok, 2022
1007 kr
Lägg i varukorg
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 10 short papers presented in this book were carefully reviewed and selected from 40 submissions. …
Advances in Service-Oriented and Cloud Computing
Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers
Av Zoltán Ádám Mann, Volker Stolz
Häftad, 2018
569 kr
Lägg i varukorg
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, September 2017: First International Workshop on Business Process Management in the Cloud, BPM@Cloud 2017; …
Advances in Service-Oriented and Cloud Computing
Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers
Av Volker Stolz, Zoltan Adam Mann
E-bok, 2018
755 kr
Lägg i varukorg
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, September 2017: First International Workshop on Business Process Management in the Cloud, BPM@Cloud 2017; …
