語系
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.; Sirjani, Marjan.; SpringerLink (Online service); 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:
Baldoni, Matteo.; Dastani, Mehdi.; SpringerLink (Online service); Baresi, Luciano.
(書目-電子資源)
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)
(書目-語言資料,印刷品)
Fundamentals of software engineering = 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers /
by:
Dastani, Mehdi.; Sirjani, Marjan.; SpringerLink (Online service)
(書目-電子資源)
更多
較少的
主題
Software Engineering.
Computing Methodologies.
Mathematical Logic and Formal Languages.
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.
Engineering systems
Algorithm Analysis and Problem Complexity.
Uncertainty (Information theory)
Computer programming
Programming Languages, Compilers, Interpreters.
Computer software- Verification.
Software engineering.
Models and Principles.
Computer Engineering and Networks.
Intelligent agents (Computer software)- Congresses.
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
Computer programming.
Intelligent agents (Computer software)
Multiagent systems
Multiagent systems.
Artificial intelligence.