Jirásková, Galina.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Descriptional Complexity of Formal Systems = 22nd International Conference, DCFS 2020, Vienna, Austria, August 24–26, 2020, Proceedings /
by:
Jirásková, Galina.; Pighizzini, Giovanni.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Descriptional Complexity of Formal Systems = 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings /
by:
Jirásková, Galina.; SpringerLink (Online service); Konstantinidis, Stavros.; Hospodár, Michal.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Implementation and Application of Automata = 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings /
by:
SpringerLink (Online service); Jirásková, Galina.; Hospodár, Michal.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Computer organization.
Software Engineering/Programming and Operating Systems.
Computer logic.
Artificial intelligence.
Software engineering.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Special purpose computers.
Artificial Intelligence.
Database management.
Special Purpose and Application-Based Systems.
Database Management.