語系
Tian, Cong.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Computing and combinatorics25th International Conference, COCOON 2019, Xi'an, China, July 29-31, 2019 : proceedings /
by:
(1998 :); Du, Ding-Zhu.; Duan, Zhenhua.; SpringerLink (Online service); Tian, Cong.
(書目-電子資源)
Structured object-oriented formal language and method7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017 : revised selected papers /
by:
(1998 :); SpringerLink (Online service); Tian, Cong.
(書目-電子資源)
主題
Software Engineering/Programming and Operating Systems.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Data Structures.
Computer Graphics.
Formal methods (Computer science)
Object-oriented methods (Computer science)
Numeric Computing.
Combinatorial analysis
Computer science
Artificial Intelligence.
Computer Science.
Discrete Mathematics in Computer Science.