Results for Mehdi Dastani

ISBN.nu

search for books and compare prices

Mehdi Dastani has written 10 work(s)

Search for other authors with the same name

displaying 1 to 10 | at end

show results in order: alphabetically | oldest to newest | newest to oldest

Engineering Multi-agent Systems: Third International Workshop, Emas 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers

Product Description: This book constitutes the refereed proceedings of the Third International Workshop on Engineering Multi-Agent Systems, EMAS 2015, held in Istanbul, Turkey, in May 2015.Â The 10 full papers, presented with two invited talks, were carefully reviewed and selected from 19 submissions...read more

By Mehdi Dastani (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783319261836 | Springer-Verlag New York Inc, November 15, 2015, cover price $72.00 | About this edition: This book constitutes the refereed proceedings of the Third International Workshop on Engineering Multi-Agent Systems, EMAS 2015, held in Istanbul, Turkey, in May 2015.

Languages, Methodologies, and Development Tools for Multi-Agent Systems: Second International Workshop, Lads 2009 Torino, Italy, September 7-9, 2009, Revised Selected Papers

By Mehdi Dastani (editor), Joao Leite (editor), Amal El Fallah Seghrouchni (editor) and Paolo Torroni (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783642133374 | Springer-Verlag New York Inc, July 16, 2010, cover price $99.00

Specification and Verification of Multi-agent Systems

Product Description: Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems with a special focus on verification of multi-agent programs. This edited volume includes contributions from international leading researchers in the area, addressing logical formalisms and techniques, such as model checking, theorem proving, and axiomatisations for (semi) automatic verification of agent-based systems...read more

By Mehdi Dastani (editor), Koen V. Hindriks (editor) and John-jules Charles Meyer (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9781441969835 | Springer-Verlag New York Inc, July 1, 2010, cover price $179.00 | About this edition: Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems with a special focus on verification of multi-agent programs.

Multi-Agent Programming: Languages,Tools and Applications

By Rafael H. Bordini (editor), Mehdi Dastani (editor), Jurgen Dix (editor) and Amal El Fallah Seghrouchni (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9780387892986 | Springer-Verlag New York Inc, June 1, 2009, cover price $179.00

Programming Multi-Agent Systems: 5th International Workshop, Promas 2007 Honolulu, HI, USA, May 14-18, 2007 Revised and Invited Papers

By Mehdi Dastani (editor), Alessandro Ricci (editor), Amal El Fallah Seghrouchni (editor) and Michael Winikoff (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540790426 | Springer-Verlag New York Inc, May 1, 2008, cover price $99.00

Programming Multi-Agent Systems: 4th International Workshop, Promas 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

By Rafael H. Bordini (editor), Mehdi Dastani (editor), Jnrgen Dix (editor) and Amal EL Fallah-Seghrouchni (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540719557 | Springer-Verlag New York Inc, June 1, 2007, cover price $99.00

Programming Multi-agent Systems: Third International Workshop, Promas 2005, Utrecht, the Netherlands, July 26, 2005, Revised And Invited Papers

By Rafael H. Bordini (editor), Mehdi Dastani (editor), Jurgen Dix (editor) and Amal El Fallah Seghrouchni (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540326168 | Springer-Verlag New York Inc, March 15, 2006, cover price $99.00

Multi-agent Programming: Languages, Platforms and Applications

By Rafael H. Bordini (editor), Mehdi Dastani (editor), Jurgen Dix (editor) and Amal El Fallah Seghrouchni (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9780387245683 | Springer-Verlag New York Inc, July 1, 2005, cover price $189.00

Programming Multi-Agent Systems: Second International Workshop Promas 2004, New York, Ny, July 20, 2004, Selected Revised And Invited Papers

By Rafael H. Bordini (editor), Mehdi Dastani (editor), Jnrgen Dix (editor) and Amal El Fallah Seghrouchni (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540245599 | Springer Verlag, April 1, 2005, cover price $99.00

Programming Multi-Agent Systems: First International Workshop, Promas 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers

Product Description: Autonomous agents and multi-agent systems have grown into a promising technology offering a credible alternative for the design of intelligent and cooperative systems. Recently efforts have been made to provide novel tools, methods, and frameworks to establish the necessary standards for wider use of MAS as a technology of its own and not only as an attractive paradigm...read more

By Mehdi Dastani, Jurgen Dix (editor), Amal EL Fallah-Seghrouchni (editor) and Vic Promas 2003 Melbourne (other contributor)

See complete details on each edition (1 edition listed)

Paperback:

9783540221807 | Springer-Verlag New York Inc, August 15, 2004, cover price $89.99 | About this edition: Autonomous agents and multi-agent systems have grown into a promising technology offering a credible alternative for the design of intelligent and cooperative systems.

displaying 1 to 10 | at end