語系
Campeanu, Cezar.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Implementation and application of automata23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018 : proceedings /
by:
(1998 :); Campeanu, Cezar.; SpringerLink (Online service)
(書目-電子資源)
Descriptional complexity of formal systems19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017 : proceedings /
by:
(1998 :); Campeanu, Cezar.; Pighizzini, Giovanni.; SpringerLink (Online service)
(書目-電子資源)
Descriptional complexity of formal systems18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016 : proceedings /
by:
(1998 :); Campeanu, Cezar.; Manea, Florin.; Shallit, Jeffrey.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Machine theory
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Data Structures.
Formal methods (Computer science)
Information Storage and Retrieval.
Formal languages
Computer Science.
Discrete Mathematics in Computer Science.
Robotics