語系
Tian, Cong.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
主題
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.