Emilio Tuosto – författare

Visar alla böcker från författaren Emilio Tuosto. Handla med fri frakt och snabb leverans.

6 produkter

Kategorier

6 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
AvHanne Riis Nielson,Emilio Tuosto
Häftad, Engelska, 2019
573 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.
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
AvEmilio Tuosto,Hanne Riis Nielson
E-bok
Engelska, 2019
739 kr
Läs direkt efter köp
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
AvEmilio Tuosto,Chun Ouyang
Häftad, Engelska, 2014
460 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. The 8 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as control-flow relations using Petri nets, consistency of cloud stores, model checking, model-drives design, analysis of context-aware systems.
Web Services and Formal Methods
10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
AvChun Ouyang,Emilio Tuosto
E-bok
PDF, Engelska, 2014
569 kr
Läs direkt efter köp
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. The 8 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as control-flow relations using Petri nets, consistency of cloud stores, model checking, model-drives design, analysis of context-aware systems.
Trustworthy Global Computing
9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers
AvMatteo Maffei,Emilio Tuosto
Häftad, Engelska, 2015
460 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.
Trustworthy Global Computing
9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers
AvEmilio Tuosto,Matteo Maffei
E-bok
PDF, Engelska, 2014
575 kr
Läs direkt efter köp
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.

Emilio Tuosto – författare

Visar alla böcker från författaren Emilio Tuosto. Handla med fri frakt och snabb leverans.

6 produkter

Kategorier

6 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
AvHanne Riis Nielson,Emilio Tuosto
Häftad, Engelska, 2019
573 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.
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
AvEmilio Tuosto,Hanne Riis Nielson
E-bok
Engelska, 2019
739 kr
Läs direkt efter köp
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
AvEmilio Tuosto,Chun Ouyang
Häftad, Engelska, 2014
460 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. The 8 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as control-flow relations using Petri nets, consistency of cloud stores, model checking, model-drives design, analysis of context-aware systems.
Web Services and Formal Methods
10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
AvChun Ouyang,Emilio Tuosto
E-bok
PDF, Engelska, 2014
569 kr
Läs direkt efter köp
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. The 8 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as control-flow relations using Petri nets, consistency of cloud stores, model checking, model-drives design, analysis of context-aware systems.
Trustworthy Global Computing
9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers
AvMatteo Maffei,Emilio Tuosto
Häftad, Engelska, 2015
460 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.
Trustworthy Global Computing
9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers
AvEmilio Tuosto,Matteo Maffei
E-bok
PDF, Engelska, 2014
575 kr
Läs direkt efter köp
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.

Emilio Tuosto – författare

Coordination Models and Languages

Coordination Models and Languages

Web Services and Formal Methods

Web Services and Formal Methods

Trustworthy Global Computing

Trustworthy Global Computing

Emilio Tuosto – författare

Coordination Models and Languages

Coordination Models and Languages

Web Services and Formal Methods

Web Services and Formal Methods

Trustworthy Global Computing

Trustworthy Global Computing