Languages
Tuosto, Emilio.
Overview
| Works: | 0 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Trustworthy global computing9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014 : revised selected papers /
by:
(1998 :); Maffei, Matteo.; SpringerLink (Online service); Tuosto, Emilio.
(Electronic resources)
Coordination models and languages21st 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 /
by:
(1998 :); Nielson, Hanne Riis.; SpringerLink (Online service); Tuosto, Emilio.
(Electronic resources)
Web services and formal methods10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : revised selected papers /
by:
(1998 :); Ouyang, Chun.; SpringerLink (Online service); Tuosto, Emilio.
(Electronic resources)
Subjects
Web services
Software Engineering.
Mathematical Logic and Formal Languages.
Operating systems (Computers)
Logics and Meanings of Programs.
Software architecture
Electronic data processing
Information Systems Applications (incl. Internet)
Management of Computing and Information Systems.
Computer software
Operating Systems.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
User Interfaces and Human Computer Interaction.
Software engineering.
Special Purpose and Application-Based Systems.
Computer security
Computer Science.
Computer networks
Systems and Data Security.
Computer Systems Organization and Communication Networks.
Computer science.
Computer Communication Networks.
Computer System Implementation.
Computer network architectures.