語系
Manea, Florin.
概要
作品: | 2 作品在 5 項出版品 1 種語言 |
---|
書目資訊
Combinatorics on words10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015 : proceedings /
by:
(1998 :); Manea, Florin.; Nowotka, Dirk.; 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)
(書目-電子資源)
Unveiling dynamics and complexity13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017 : proceedings /
by:
(1998 :); Kari, Jarkko.; Manea, Florin.; Petre, Ion.; SpringerLink (Online service)
(書目-電子資源)
Sailing routes in the world of computation14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018 : proceedings /
by:
(1998 :); Manea, Florin.; Miller, Russell G.; Nowotka, Dirk.; SpringerLink (Online service)
(書目-電子資源)
Computing with foresight and industry15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019 : proceedings /
by:
(1998 :); Manea, Florin.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Theory of Computation.
Software Engineering.
Logics and Meanings of Programs.
Logic, Symbolic and mathematical.
Artificial Intelligence (incl. Robotics)
Management of Computing and Information Systems.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Algorithms
Computers.
Pattern perception.
Data Structures.
Computable functions
Formal methods (Computer science)
Algorithms.
Numeric Computing.
Formal languages
Combinatorial analysis
Word problems (Mathematics)
Computer science
Computer Science.
Discrete Mathematics in Computer Science.
Math Applications in Computer Science.
Biology
Computer science.
Information theory
Artificial intelligence.