Han, Yo-Sub.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Descriptional Complexity of Formal Systems = 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29–31, 2022, Proceedings /
by:
SpringerLink (Online service); Han, Yo-Sub.; Vaszil, György.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Descriptional Complexity of Formal Systems = 23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual Event, September 5, 2021, Proceedings /
by:
Han, Yo-Sub.; SpringerLink (Online service); Ko, Sang-Ki.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Implementation and Application of Automata = 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings /
by:
SpringerLink (Online service); Han, Yo-Sub.; Salomaa, Kai.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Implementation and application of automata = 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016 : proceedings /
by:
Han, Yo-Sub.; SpringerLink (Online service); Salomaa, Kai.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Descriptional complexity of formal systems = 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29-31, 2022 : proceedings /
by:
SpringerLink (Online service); Han, Yo-Sub.; Workshop on the Preservation of Stability under Discretization ((2001 :); Vaszil, György.
(書目-語言資料,印刷品)
Descriptional Complexity of Formal Systems = 23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual Event, September 5, 2021, Proceedings /
by:
SpringerLink (Online service); Han, Yo-Sub.; Ko, Sang-Ki.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Computer science—Mathematics.
Computer engineering.
Formal methods (Computer science)
Algorithm Analysis and Problem Complexity.
Computer logic.
Computer networks .
Artificial intelligence.
Robotics
Data Structures.
Computers.
Discrete Mathematics in Computer Science.
Data structures (Computer science).
Machine theory
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Computation by Abstract Devices.
Computer Science Logic and Foundations of Programming.
Computer Engineering and Networks.
Artificial Intelligence.
Formal languages
Computer science.