Nagy, Benedek.
概要
| 作品: | 5 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Machines, Computations, and Universality = 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings /
by:
SpringerLink (Online service); Nagy, Benedek.; Durand-Lose, Jerome.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Implementation and application of automata = 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Nagy, Benedek.
(書目-語言資料,印刷品)
Machines, computations, and universality = 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Nagy, Benedek.; Durand-Lose, Jerome.
(書目-語言資料,印刷品)
主題
Mathematical logic.
Computer science—Mathematics.
Algorithm Analysis and Problem Complexity.
Computer logic.
Theory of Computation.
Computers.
Robotics
Information Storage and Retrieval.
Discrete Mathematics in Computer Science.
Computer multitasking
Computer Science.
Machine theory
Computer science
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithms.
Computation by Abstract Devices.
Computer Science Logic and Foundations of Programming.
Computer logic
Artificial Intelligence.