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.
Robotics
Computer Science.
Computer science
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithms.
Computer logic
Artificial Intelligence.
Computers.
Information Storage and Retrieval.
Discrete Mathematics in Computer Science.
Computer multitasking
Machine theory
Computation by Abstract Devices.
Computer Science Logic and Foundations of Programming.