Bliudze, Simon.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Coordination Models and Languages = 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings /
by:
Bliudze, Simon.; SpringerLink (Online service); Bocchi, Laura.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Verification and Evaluation of Computer and Communication Systems = 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings /
by:
Bensalem, Saddek.; Atig, Mohamed Faouzi.; Monsuez, Bruno.; SpringerLink (Online service); Bliudze, Simon.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Software Engineering.
Computer organization.
Computer logic.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence.
Artificial intelligence.
Software engineering.
System Performance and Evaluation.
Computer system failures.
Computers.
The Computing Profession.
Programming languages (Electronic computers).
Computer Systems Organization and Communication Networks.
Programming Languages, Compilers, Interpreters.
Algorithms.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Information Systems and Communication Service.