Malcher, Andreas.
概要
| 作品: | 11 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Descriptional complexity of formal systems = 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025 : proceedings /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Prigioniero, Luca.; Malcher, Andreas.
(書目-語言資料,印刷品)
Cellular automata and discrete complex systems = 19th International Workshop, AUTOMATA 2013, Giessen, Germany, September 17-19, 2013 : proceedings /
by:
Kutrib, Martin.; SpringerLink (Online service); Malcher, Andreas.; Kari, Jarkko.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Formal methods (Computer science)
Cellular automata
Algorithm Analysis and Problem Complexity.
Formal languages
Artificial Intelligence.
Data Structures, Cryptology and Information Theory.
Computer Communication Networks.
Simulation and Modeling.
Computer Science.
Computer Science, general.
Machine theory
Computer science
Computation by Abstract Devices.
Computer Science Logic and Foundations of Programming.
Computer Engineering and Networks.