語系
Dardha, Ornela.
概要
| 作品: | 0 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Type systems for distributed programs = components and sessions /
by:
Dardha, Ornela.; SpringerLink (Online service)
(書目-電子資源)
Coordination models and languages = 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings /
by:
COORDINATION (Conference) (2021 :); Damiani, Ferruccio.; Dardha, Ornela.; SpringerLink (Online service)
(書目-電子資源)
主題
Electronic data processing- Distributed processing.
Mathematical Logic and Formal Languages.
Natural Language Processing (NLP)
Software architecture
Software Engineering/Programming and Operating Systems.
Database Management.
Programming languages (Electronic computers)
Electronic data processing- Distributed processing
Artificial Intelligence.
Computer software- Verification
Computer Science.
Computer Communication Networks.
Computer Applications.