Emilio Tuosto - Böcker
Visar alla böcker från författaren Emilio Tuosto. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
Del 11533 - Lecture Notes in Computer Science
Coordination Models and Languages
21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Häftad, Engelska, 2019
552 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 21th International Conference on Coordination Models and Languages, COORDINATION 2019, held in Kongens Lyngby, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019.The 15 full papers included in this volume were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections named: computational models; tools; exploring new frontiers; and coordination patterns.
Del 8379 - Lecture Notes in Computer Science
Web Services and Formal Methods
10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
Häftad, Engelska, 2014
443 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013.
Trustworthy Global Computing
9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers
Häftad, Engelska, 2015
443 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Symposium on Trustworthy Global Computing, TGC 2014, held in Rome, Italy, in September 2014. The 15 revised full papers presented were carefully reviewed and selected from 20 submissions. The Symposium on Trustworthy Global Computing focuses on frameworks, tools, algorithms, and protocols for open-ended, large-scale systems and applications, and on rigorous reasoning about their behavior and properties.