विद्यार्जन संसाधन केंद्र, भारतीय प्रौद्योगिकी संस्थान इन्दौर
Learning Resource Center, Indian Institute of Technology Indore

ऑनलाइन सार्वजनिक अभिगम प्रसूची
Online Public Access Catalogue (OPAC)

Amazon cover image

Image from Amazon.com

Image from Coce

Normal view MARC view ISBD view

Specification and verification of multi-agent systems

By:

Dastani, Mehdi

Contributor(s):

Material type: Text

Text

TextPublication details: New York Springer 2010Description: xvii, 405p. ; 24 cmISBN:

9781441969835

DDC classification:

006.33 DAS

Item type:

Book

Holdings ( 1 )

Holdings
Item type	Home library	Collection	Call number	Status	Barcode
Reference Books	LRC, IIT Indore 3rd Floor - Reference Collection	Reference	006.33 DAS (Browse shelf(Opens below))	Not For Loan	16921

Total holds: 0

Browsing LRC, IIT Indore shelves, Shelving location: 3rd Floor - Reference Collection, Collection: Reference Close shelf browser (Hides shelf browser)

Previous								Next
Previous	006.33 BOR Programming Multi-Agent Systems in AgentSpeak using Jason	006.33 CLO Knowledge-based neurocomputing	006.33 COT Knowledge-Driven Computing: Knowledge Engineering and Intelligent Computations	006.33 DAS Specification and verification of multi-agent systems	006.33 VIR Intelligent interactive systems in knowledge-based environments	006.332 SCH Knowledge engineering and management	006.333 GOH Multi-objective memetic algorithms	Next

Print
Cite
Send to device
Save record
BIBTEX RIS
More searches

Search for this title in:

Copyright © 2024, 2021, 2017 Indian Institute of Technology Indore. All Rights Reserved.

Managed & maintained by Learning Resource Center, IIT Indore