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.
Object-oriented methods (Computer science)
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Computer logic.
Artificial intelligence.
Numerical analysis.
Software engineering.
System Performance and Evaluation.
Theory of Computation.
Data Structures.
Data structures (Computer science).
Computer Science.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Computer science
Algorithms.
Computer simulation.
Artificial Intelligence (incl. Robotics)
Information Systems and Communication Service.
Artificial Intelligence.
Computer graphics.
Simulation and Modeling.
Computing Milieux.
Computer Graphics.
Computer system failures.
Computers.
Discrete Mathematics in Computer Science.
Numeric Computing.