Languages
Yoshida, Nobuko.
Overview
| Works: | 7 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Formal techniques for distributed objects, components, and systems39th IFIP WG 6.1 International Conference, FORTE 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 :); Perez, Jorge A.; SpringerLink (Online service); Yoshida, Nobuko.
(Electronic resources)
CONCUR 2004 _ concurrency theory15th international conference, London, UK, August 31 - September 3, 2004 : proceedings /
by:
(1998 :); Gardner, Philippa.; SpringerLink (Online service); Yoshida, Nobuko.
(Electronic resources)
Programming languages and systems30th European Symposium on Programming, ESOP 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings /
by:
(1998 :); SpringerLink (Online service); Yoshida, Nobuko.
(Electronic resources)
Subjects
Computer network protocols
Software Engineering.
Natural Language Processing (NLP)
Electronic data processing
Logics and Meanings of Programs.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer programming
Programming languages (Electronic computers)
The Computing Profession.
Parallel processing (Electronic computers)
System Performance and Evaluation.
Computer Systems Organization and Communication Networks.