馆藏书目查询系统 - 上海图书馆

1

Cover is for reference only

Languages, methodologies, and development tools for multi-agent systems：second international workshop, LADS 2009, Torino, Italy, September 7-9, 2009 ; revised selected papers

Corporate Authors: LADS 2009 (2009 Turin, Italy); SpringerLink (Online service)
Group Author: Dastani Mehdi.
Published: Springer,
Publication Dates: c2010.

Book

2

Cover is for reference only

Languages, methodologies, and development tools for multi-agent systems：Third International Workshop, LADS 2010, Lyon, France, August 30 - September 1, 2010 : revised selected papers

Corporate Authors: SpringerLink (Online service)
Group Author: Dastani Mehdi.
Published: Springer,
Publication Dates: 2011.

Book

3

Cover is for reference only

Programming multi-agent systems：5th international workshop, ProMAS 2007 Honolulu, Hi, USA, May 15, 2007 ; revised and invited papers

Corporate Authors: ProMAS (Conference) (5th 2007 Honolulu, Hawaii); SpringerLink (Online service)
Group Author: Dastani Mehdi.
Published: Springer,
Publication Dates: 2008.

Book

4

Cover is for reference only

Languages, methodologies and development tools for multi-agent systems：First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007 : revised selected and invited papers

Corporate Authors: LADS 2007 (2007 Durham, England); SpringerLink (Online service)
Group Author: Dastani Mehdi.
Published: Springer,
Publication Dates: c2008.

Book

5

Cover is for reference only

Fundamentals of software engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, revised selected papers /

Corporate Authors: IPM International Conference on Fundamentals of Software Engineering Tehran, Iran)
Group Author: Dastani, Mehdi (Editor); Sirjani, Marjan (Editor)
Published: Springer,
Publication Dates: [2017]
Call Number: TP311.5-532/I594-2/2017

Book

6

Cover is for reference only

Fundamentals of Software Engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26 28, 2017, Revised Selected Papers /

Corporate Authors: SpringerLink (Online service)
Group Author: Dastani, Mehdi (Editor); Sirjani, Marjan (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

7

Cover is for reference only

Programming multi-agent systems : 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised selected papers /

Corporate Authors: ProMAS (Conference) Valencia, Spain); SpringerLink (Online service)
Group Author: Dastani, Mehdi; Hübner, Jomi Fred; Logan, Brian (Computer scientist)
Published: Springer,
Publication Dates: [2013]

eBook

8

Cover is for reference only

Specification and verification of multi-agent systems

Corporate Authors: SpringerLink (Online service)
Group Author: Dastani Mehdi.; Hindriks Koen V.; Meyer John-Jules Ch.
Published: Springer,
Publication Dates: c2010.

Book

9

Cover is for reference only

Intelligent Technologies for Interactive Entertainment : 8th International Conference, INTETAIN 2016, Utrecht, The Netherlands, June 28 30, 2016, Revised Selected Papers /

Corporate Authors: SpringerLink (Online service)
Group Author: Poppe, Ronald (Editor); Meyer, John-Jules (Editor); Veltkamp, Remco (Editor); Dastani, Mehdi (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

10

Cover is for reference only

Coordination, organizations, institutions, and norms in agent systems VIII : 14th International Workshop, COIN 2012, held co-located with AAMAS 2012, Valencia, Spain, June 5, 2012 : revised selected papers /

Corporate Authors: COIN (Workshop) Valencia, Spain); SpringerLink (Online service); International Joint Conference on Autonomous Agents and Multiagent Systems Valencia, Spain)
Group Author: Aldewereld, Huib; Sichman, Jaime S.
Published: Springer,
Publication Dates: 2013.

eBook

11

Cover is for reference only

Computational logic in multi-agent systems : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, proceedings /

Corporate Authors: CLIMA (Workshop) La Coruña, Spain); SpringerLink (Online service)
Group Author: Leite, João Alexandre
Published: Springer,
Publication Dates: 2013

eBook

Narrow Search