Nagy, Benedek.
概要
作品: | 1 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Machines, computations, and universality7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015 : proceedings /
by:
(1998 :); Durand-Lose, Jerome.; Nagy, Benedek.; SpringerLink (Online service)
(書目-電子資源)
Implementation and application of automata27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023 : proceedings /
by:
(1998 :); Nagy, Benedek.; SpringerLink (Online service)
(書目-電子資源)
主題
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 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