Languages
Tian, Cong.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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.
(Electronic resources)
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.
(Electronic resources)
Subjects
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.