語系
Reis, Rogerio.
概要
| 作品: | 0 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Descriptional complexity of formal systems = 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012 : proceedings /
by:
Reis, Rogerio.; Congress on Progress and Controversies in Oncological Urology (2000:); Kutrib, Martin.; Moreira, Nelma.; SpringerLink (Online service)
(書目-電子資源)
Implementation and application of automata = 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012 : proceedings /
by:
Reis, Rogerio.; Congress on Progress and Controversies in Oncological Urology (2000:); Moreira, Nelma.; SpringerLink (Online service)
(書目-電子資源)
主題
Formal methods (Computer science)
Algorithm Analysis and Problem Complexity.
Formal languages
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Robotics
Data Structures.
Information Storage and Retrieval.
Computational complexity
Machine theory
Computer Science.
Computational Biology/Bioinformatics.