語系
Kutrib, Martin.
概要
| 作品: | 1 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Reversible computation = 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023 : proceedings /
by:
Kutrib, Martin.; SpringerLink (Online service); Meyer, Uwe.; RC (Workshop : Reversible computation) (2023 :)
(書目-電子資源)
Descriptional complexity of formal systems = 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012 : proceedings /
by:
Kutrib, Martin.; Moreira, Nelma.; Reis, Rogerio.; SpringerLink (Online service)
(書目-電子資源)
Languages alive = essays dedicated to Jurgen Dassow on the occasion of his 65th birthday /
by:
Bordihn, Henning.; Kutrib, Martin.; Truthe, Bianca.; SpringerLink (Online service)
(書目-電子資源)
Implementation and application of automata = 19th International Conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 : proceedings /
by:
Holzer, Markus.; Kutrib, Martin.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Theory of Computation.
Computing Methodologies.
Machine theory
Logics and Meanings of Programs.
Computation by Abstract Devices.
Formal languages.
Algorithm Analysis and Problem Complexity.
Data Structures.
Formal methods (Computer science)
Computational complexity
Information Storage and Retrieval.
Computer science- Mathematics
Computer logic
Logic Design.
Formal languages
Computer Science.
Discrete Mathematics in Computer Science.
Reversible computing
Symbolic and Algebraic Manipulation.
Robotics
Computational Biology/Bioinformatics.