Bordihn, Henning.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Descriptional complexity of formal systems = 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023 : proceedings /
by:
DCFS (Workshop) (2023 :); Bordihn, Henning.; Tran, Nicholas.; SpringerLink (Online service); Vaszil, Gyorgy.
(書目-電子資源)
Languages alive = essays dedicated to Jurgen Dassow on the occasion of his 65th birthday /
by:
Bordihn, Henning.; Kutrib, Martin.; Truthe, Bianca.; SpringerLink (Online service)
(書目-電子資源)
主題
Theory of Computation.
Mathematical Logic and Formal Languages.
Computing Methodologies.
Machine theory
Formal languages.
Computation by Abstract Devices.
Formal methods (Computer science)
Computer Science Logic and Foundations of Programming.
Formal languages
Computer Engineering and Networks.
Artificial Intelligence.
Computer Science.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.