Dastani, Mehdi.

概要

作品:	1 作品在 5 項出版品 1 種語言

書目資訊

Engineering multi-agent systems = 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023 : revised selected papers / by: Dastani, Mehdi.; SpringerLink (Online service); Luo, Jieting.; EMAS (Workshop) (2023 :); Ciortea, Andrei. (書目-電子資源)

Fundamentals of software engineering = 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017 : revised selected papers / by: Dastani, Mehdi.; SpringerLink (Online service); Sirjani, Marjan.; IPM International Conference on Fundamentals of Software Engineering (2017 :) (書目-電子資源)

Programming multi-agent systems = first international workshop, ProMAS 2003, Melbourne, Australia, July 15, 2003 : selected revised and invited papers / by: Dastani, Mehdi.; Dix, J. (1961-); El Fallah Seghrouchni, Amal.; NetLibrary, Inc.; ProMAS (Conference) (2003 :) (書目-語言資料,印刷品)

Engineering multi-agent systems = third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers / by: Baresi, Luciano.; Dastani, Mehdi.; SpringerLink (Online service); Baldoni, Matteo. (書目-電子資源)

Specification and verification of multi-agent systems by: Dastani, Mehdi.; Hindriks, Koen V.; Meyer, John-Jules Charles.; SpringerLink (Online service) (書目-語言資料,印刷品)

Programming multi-agent systems = first international workshop, ProMAS 2003, Melbourne, Australia, July 15, 2003 : selected revised and invited papers / by: Dastani, Mehdi.; Dix, J. (1961-); El Fallah Seghrouchni, Amal.; SpringerLink (Online service); ProMAS (Conference) (2003 :) (書目-語言資料,印刷品)

Languages, methodologies, and development tools for multi-agent systems = second international workshop, LADS 2009, Torino, Italy, September 7-9, 2009 : revised selected papers / by: Dastani, Mehdi.; SpringerLink (Online service); LADS 2009 ((2009 :) (書目-語言資料,印刷品)

Logic and argumentation = third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020 : proceedings / by: Dastani, Mehdi.; SpringerLink (Online service); International Conference on Logic and Argumentation (2020 :); Dong, Huimin.; Torre, Leon van der. (書目-電子資源)

Languages, Methodologies and Development Tools for Multi-Agent Systems = First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers / by: Dastani, Mehdi.; SpringerLink (Online service); LADS 2007 (2007 :) (書目-語言資料,印刷品)

Programming multi-agent systems = 5th international workshop, PROMAS 2007 Honolulu, HI, USA, May 14-18, 2007 revised and invited papers / by: Dastani, Mehdi.; SpringerLink (Online service) (書目-語言資料,印刷品)

主題