Languages
Tian, Cong.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Structured Object-Oriented Formal Language and Method = 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers /
by:
SpringerLink (Online service); Liu, Shaoying.; Duan, Zhenhua.; Miao, Huaikou.; Tian, Cong.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Structured Object-Oriented Formal Language and Method = 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers /
by:
Nagoya, Fumiko.; Tian, Cong.; SpringerLink (Online service); Liu, Shaoying.; Duan, Zhenhua.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Structured Object-Oriented Formal Language and Method = 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers /
by:
Liu, Shaoying.; Duan, Zhenhua.; SpringerLink (Online service); Tian, Cong.; Nagoya, Fumiko.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Computing and Combinatorics = 25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings /
by:
SpringerLink (Online service); Duan, Zhenhua.; Du, Ding-Zhu.; Tian, Cong.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Computing and combinatorics = 25th International Conference, COCOON 2019, Xi'an, China, July 29-31, 2019 : proceedings /
by:
Duan, Zhenhua.; SpringerLink (Online service); Tian, Cong.; Workshop on the Preservation of Stability under Discretization ((2001 :); Du, Ding-Zhu.
(Language materials, printed)
Structured object-oriented formal language and method = 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017 : revised selected papers /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Tian, Cong.
(Language materials, printed)
Subjects
Formal methods (Computer science)
Combinatorial analysis
Computer science—Mathematics.
Computer organization.
Artificial intelligence.
Numerical analysis.
Software engineering.
Theory of Computation.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Computer science
Algorithms.
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.
Computer graphics.
Computers.
Object-oriented methods (Computer science)
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Computer logic.
System Performance and Evaluation.
Data Structures.
Data structures (Computer science).
Computer Science.
Computer simulation.
Information Systems and Communication Service.
Simulation and Modeling.
Computing Milieux.
Computer Graphics.
Computer system failures.
Discrete Mathematics in Computer Science.
Numeric Computing.