Languages
Yoshida, Nobuko.
Overview
| Works: | 1 works in 1 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:
Yoshida, Nobuko.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Perez, Jorge A.
(Language materials, printed)
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:
SpringerLink (Online service); Yoshida, Nobuko.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
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:
Yoshida, Nobuko.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
CONCUR 2004 _ concurrency theory = 15th international conference, London, UK, August 31 - September 3, 2004 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Gardner, Philippa.; SpringerLink (Online service); Yoshida, Nobuko.
(Language materials, printed)
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:
Pérez, Jorge A.; SpringerLink (Online service); Yoshida, Nobuko.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Formal methods (Computer science)
Computer organization.
Computer engineering.
Computer logic.
Computer networks .
Computer network protocols
System Performance and Evaluation.
Software engineering.
Natural language processing (Computer science).
The Computing Profession.
Computer Systems Organization and Communication Networks.
Compilers and Interpreters.
Logics and Meanings of Programs.
Computer Engineering and Networks.
Electronic data processing
Natural Language Processing (NLP).
Computer science.
Computer system failures.
Computers.
Parallel processing (Electronic computers)
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Compilers (Computer programs).
Computer Science Logic and Foundations of Programming.