Languages
Dong, Jin Song.
Overview
| Works: | 5 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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.
(Electronic resources)
Multi-objective optimization using artificial intelligence techniques
by:
Dong, Jin Song.; Mirjalili, Seyedali.; SpringerLink (Online service)
(Electronic resources)
Subjects
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.