Peters, Kirstin.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Formal Techniques for Distributed Objects, Components, and Systems = 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings /
by:
Peters, Kirstin.; SpringerLink (Online service); Willemse, Tim A. C.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Techniques for Distributed Objects, Components, and Systems = 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings /
by:
Willemse, Tim A. C.; SpringerLink (Online service); Peters, Kirstin.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Computer communication systems.
Mathematical logic.
Software Engineering.
Computer science—Mathematics.
Software Engineering/Programming and Operating Systems.
Artificial Intelligence.
Computer networks .
Artificial intelligence.
Special Purpose and Application-Based Systems.
Computer Communication Networks.
Software engineering.
Computers, Special purpose.
General Logic.
Mathematics of Computing.
Mathematical Logic and Foundations.
Special purpose computers.