語系
Yoshida, Nobuko.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
, [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)
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
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.