語系
Dong, Jin Song.
概要
| 作品: | 5 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal methods and software engineering12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, proceedings /
by:
(1998 :); Dong, Jin Song.; SpringerLink (Online service); Zhu, Huibiao.
(書目-電子資源)
Multi-objective optimization using artificial intelligence techniques
by:
Dong, Jin Song.; Mirjalili, Seyedali.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Operations Research/Decision Theory.
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computational Intelligence.
Machine Learning.
Computer Science.
Computer Communication Networks.
Mathematical optimization.
Artificial intelligence.