語系
Dastani, Mehdi.
概要
作品: | 1 作品在 5 項出版品 1 種語言 |
---|
書目資訊
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)
(書目-電子資源)
Languages, methodologies, and development tools for multi-agent systems = third international workshop, LADS 2010, Lyon, France, August 30 - September 1, 2010 : revised selected papers /
by:
Dastani, Mehdi.; SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
Languages, methodologies, and development tools for multi-agent systems = second international workshop, LADS 2009, Torino, Italy, September 7-9, 2009 : revised selected papers /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); Dastani, Mehdi.; SpringerLink (Online service)
(書目-電子資源)
Specification and verification of multi-agent systems
by:
Meyer, John-Jules Charles.; Hindriks, Koen V.; Dastani, Mehdi.; SpringerLink (Online service)
(書目-電子資源)
Languages, Methodologies and Development Tools for Multi-Agent Systems = First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Dastani, Mehdi.
(書目-電子資源)
主題
Software Engineering.
Software Engineering/Programming and Operating Systems.
Intelligent agents (Computer software)
Multiagent systems.
Computer Communication Networks.
Simulation and Modeling.
Computing Methodologies.
Computer Science.
Programming Techniques.
Computer programming.
Computer software- Verification.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Information Systems Applications (incl.Internet)
Models and Principles.
Logics and Meanings of Programs.
Antibodies.
Artificial Intelligence (incl. Robotics)
Multiagent systems