Volker Stolz - Böcker
Visar alla böcker från författaren Volker Stolz. Handla med fri frakt och snabb leverans.
4 produkter
4 produkter
Del 12475 - Lecture Notes in Computer Science
Formal Methods: Foundations and Applications
23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings
Häftad, Engelska, 2020
715 kr
Skickas inom 10-15 vardagar
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.
Del 12545 - Lecture Notes in Computer Science
Theoretical Aspects of Computing – ICTAC 2020
17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings
Häftad, Engelska, 2020
552 kr
Skickas inom 10-15 vardagar
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 book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.
Runtime Verification
22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings
Häftad, Engelska, 2022
726 kr
Skickas inom 10-15 vardagar
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
Häftad, Engelska, 2018
552 kr
Skickas inom 10-15 vardagar
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; Third International Workshop on Cloud Adoption and Migration, CloudWays 2017. The 9 full papers were carefully reviewed and selected from 12 submissions. In addition, the volume also contains 8 EU Projects papers, describing projects presented at the European Projects Forum, which took place at ESOCC 2017. The papers focus on specific topics in service-oriented and cloud computing domains such as limits and/or advantages of existing cloud solutions, future internet technologies, efficient and adaptive deployment and management of service-based applications across multiple clouds, novel cloud service migration practices and solutions, digitization of enterprises in the cloud computing era, federated cloud networking services.