Yoshida, Nobuko.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Formal techniques for distributed objects, components, and systems = 39th 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:
FORTE Conference (2019 :); Perez, Jorge A.; Yoshida, Nobuko.; SpringerLink (Online service); International Federated Conferences on Distributed Computing Techniques (2019 :)
(Electronic resources)
CONCUR 2004--concurrency theory = 15th international conference, London, UK, August 31-September 3, 2004 : proceedings /
by:
International Conference on Concurrency Theory (2004 :); Gardner, Philippa.; Yoshida, Nobuko.; NetLibrary, Inc.
(Electronic resources)
Programming languages and systems = 30th 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:
European Symposium on Programming (2021 :); Yoshida, Nobuko.; SpringerLink (Online service); ETAPS (Conference) (2021 :)
(Electronic resources)
CONCUR 2004 _ concurrency theory = 15th international conference, London, UK, August 31 - September 3, 2004 : proceedings /
by:
International Conference on Concurrency Theory (2004 :); Gardner, Philippa.; Yoshida, Nobuko.; SpringerLink (Online service)
(Electronic resources)
Subjects
Computer network protocols
Software Engineering.
Natural Language Processing (NLP)
Fonctionnement multit粺che
Logics and Meanings of Programs.
Multitasking (Computer science)
Parallel processing (Electronic computers)- Congresses.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer programming
Programming languages (Electronic computers)
Parall歋lisme (Informatique)
Electronic data processing- Distributed processing
The Computing Profession.
System Performance and Evaluation.
Computer Systems Organization and Communication Networks.