語系
Holzer, Markus.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Descriptional complexity of formal systems13th international workshop, DCFS 2011, Giessen/Limburg, Germany, July 25-27, 2011 : proceedings /
by:
(1998 :); Holzer, Markus.; Kutrib, Martin.; Pighizzini, Giovanni.; SpringerLink (Online service)
(書目-電子資源)
Implementation and application of automata19th International Conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 : proceedings /
by:
(1998 :); Holzer, Markus.; Kutrib, Martin.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Machine theory
Logics and Meanings of Programs.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Data Structures.
Formal methods (Computer science)
Information Storage and Retrieval.
Formal languages
Computer Science.
Robotics
Computational Biology/Bioinformatics.