Kari, Jarkko.
概要
| 作品: | 4 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Cellular automata and discrete complex systems21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015 : proceedings /
by:
(1998 :); Kari, Jarkko.; SpringerLink (Online service)
(書目-電子資源)
Unveiling dynamics and complexity13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017 : proceedings /
by:
(1998 :); Kari, Jarkko.; Manea, Florin.; Petre, Ion.; SpringerLink (Online service)
(書目-電子資源)
Reversible computation10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018 : proceedings /
by:
(1998 :); Kari, Jarkko.; SpringerLink (Online service); Ulidowski, Irek.
(書目-電子資源)
Unconventional computation and natural computation20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13-17, 2023 : proceedings /
by:
(1998 :); Genova, Daniela.; Kari, Jarkko.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Logic, Symbolic and mathematical.
Natural computation
Electronic data processing
Cellular automata
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Algorithms
Computers.
Pattern perception.
Computer logic
Logic Design.
Programming Languages, Compilers, Interpreters.
Computable functions
Algorithms.
Computer Science Logic and Foundations of Programming.
Computer science
Computer Science.
Simulation and Modeling.
Computer Communication Networks.
Discrete Mathematics in Computer Science.
Reversible computing
Biology
Computer science.
Information theory
Artificial intelligence.