Dastani, Mehdi.

概要

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

書目資訊

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

Programming multi-agent systems5th international workshop, PROMAS 2007 Honolulu, HI, USA, May 14-18, 2007 revised and invited papers / by: Dastani, Mehdi.; SpringerLink (Online service) (書目-電子資源)

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

Fundamentals of software engineering7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017 : revised selected papers / by: (1998 :); Dastani, Mehdi.; Sirjani, Marjan.; SpringerLink (Online service) (書目-電子資源)

Languages, Methodologies and Development Tools for Multi-Agent SystemsFirst International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers / by: (1998 :); Dastani, Mehdi.; SpringerLink (Online service) (書目-電子資源)

Specification and verification of multi-agent systems by: Dastani, Mehdi.; Hindriks, Koen V.; Meyer, John-Jules Charles.; SpringerLink (Online service) (書目-電子資源)

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

Programming multi-agent systemsfirst international workshop, ProMAS 2003, Melbourne, Australia, July 15, 2003 : selected revised and invited papers / by: (1998 :); Dastani, Mehdi.; Dix, J. (1961-); El Fallah Seghrouchni, Amal.; SpringerLink (Online service) (書目-電子資源)

Fundamentals of software engineering6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers / by: (1998 :); Dastani, Mehdi.; Sirjani, Marjan.; SpringerLink (Online service) (書目-電子資源)

主題