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.
(書目-電子資源)
Languages, methodologies, and development tools for multi-agent systemssecond international workshop, LADS 2009, Torino, Italy, September 7-9, 2009 : revised selected papers /
by:
(1998 :); Dastani, Mehdi.; SpringerLink (Online service)
(書目-電子資源)
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)
(書目-電子資源)
Languages, methodologies, and development tools for multi-agent systemsthird international workshop, LADS 2010, Lyon, France, August 30 - September 1, 2010 : revised selected papers /
by:
(1998 :); Dastani, Mehdi.; SpringerLink (Online service)
(書目-電子資源)
更多
較少的
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Computing Methodologies.
Software engineering
Artificial intelligence
Theory of Computation.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Computer and Information Systems Applications.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Antibodies.
Computer software
Engineering systems
Algorithm Analysis and Problem Complexity.
Uncertainty (Information theory)
Programming Languages, Compilers, Interpreters.
Computer programming
Software engineering.
Models and Principles.
Computer Engineering and Networks.
Information Systems Applications (incl.Internet)
Artificial Intelligence.
Computer Science.
Computer Communication Networks.
Simulation and Modeling.
Computer science.
Computer Systems Organization and Communication Networks.
Logic, Symbolic and mathematical
Reasoning
Intelligent agents (Computer software)
Computer programming.
Multiagent systems
Multiagent systems.
Artificial intelligence.