| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, ... Notes in Computer Science , Band 2885) | 978-3-540-20461-9 | 2008 | Jim Woodcock |
| Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, ... Notes in Computer Science , Band 6447) | 978-3-642-16900-7 | 2010 | Huibiao Zhu |
| Multi-Objective Optimization using Artificial Intelligence Techniques | 978-3-030-24834-5 | 2019 | Seyedali Mirjalili |
| Semantic Technology: 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers | 978-3-319-50111-6 | 2016 | Yuan-Fang Li · Wei Hu · Grigoris Antoniou · Zhe Wang · Jun Sun · Yang Liu |
J.D. · J. S. · J. Song · Jin Dong · JIN S. · S D · Song Dong