語系
Sun, Jing.
概要
| 作品: | 3 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal methods and software engineering = 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018 : proceedings /
by:
Sun, Meng.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Sun, Jing.
(書目-語言資料,印刷品)
Formal Methods and Software Engineering = 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings /
by:
Sun, Meng.; SpringerLink (Online service); Sun, Jing.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Japan and China as charm rivals = soft powerin regional diplomacy /
by:
Project Muse.; East Asia; Sun, Jing.; China; Japan
(書目-語言資料,印刷品)
Formal methods and software engineering = 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013 : proceedings /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Sun, Jing.; Groves, Lindsay.
(書目-語言資料,印刷品)
主題
China
Software Engineering.
Mathematical logic.
Formal methods (Computer science)
Algorithm Analysis and Problem Complexity.
Computer logic.
Computer Communication Networks.
System Performance and Evaluation.
Software engineering.
Japan
The Computing Profession.
Computer Science.
Programming Techniques.
Strategic rivalries (World politics)
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Special purpose computers.
Special Purpose and Application-Based Systems.
Computer system failures.
Computers.
East Asia
Software engineering
Programming Languages, Compilers, Interpreters.
Computer software