Bliudze, Simon.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
, [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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.