語系
Nagy, Benedek.
概要
| 作品: | 0 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Machines, computations, and universality = 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015 : proceedings /
by:
Durand-Lose, Jerome.; Nagy, Benedek.; SpringerLink (Online service)
(書目-電子資源)
Implementation and application of automata = 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023 : proceedings /
by:
Nagy, Benedek.; SpringerLink (Online service); CIAA (Conference) (2023 :)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Theory of Computation.
Logics and Meanings of Programs.
Machine theory
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Computer science- Mathematics
Computer logic
Computer Science Logic and Foundations of Programming.
Information Storage and Retrieval.
Algorithms.
Computer multitasking
Computer science
Artificial Intelligence.
Computer Science.
Discrete Mathematics in Computer Science.
Robotics