catalog k.utb
Toggle navigation
čeština
Log Out
Login
TBU Catalog
e-resources
E-THESES
All Fields
Title
Author
Subject
ISBN/ISSN
Tag
Find
Advanced Search
Skip to content
Skip to footer
Back to Homepage
Specification and verification...
Specification and verification of multi-agent systems
Saved in:
Bibliographic Details
Other Authors:
Dastani, Mohammad Mehdi
(Editor)
,
Hindriks, Koen, 1971-
(Editor)
,
Meyer, J.-J. Ch., 1954-
(Editor)
Format:
eBook
Language:
English
Published:
New York ; Dordrecht :
Springer,
2010
Subjects:
multiagentní systémy
multi-agent systems
elektronické knihy
kolektivní monografie
electronic books
collective monographs
ISBN:
9781441969842
Physical Description:
xvii, 405 s. : il.
Cover
Table of contents
Holdings
More Information
Staff View
Save to List
Cite this
Export Record
Export to CitacePRO
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Export to BibTeX
Email this
Similar Items
//=preg_replace('/[^a-z0-9]/', '', strtolower($formats[0]))?>//=$formats[0] ?>
Webové a agentové technologie
by: Burian, Pavel
Published: (2012)
//=preg_replace('/[^a-z0-9]/', '', strtolower($formats[0]))?>//=$formats[0] ?>
Agent-based modeling and simulation with Swarm
by: Iba, Hitoshi, 1962-
Published: (2013)
//=preg_replace('/[^a-z0-9]/', '', strtolower($formats[0]))?>//=$formats[0] ?>
Business process management : the next wave : harnessing complexity with intelligent agents
by: Sinur, Jim, et al.
Published: (2013)
//=preg_replace('/[^a-z0-9]/', '', strtolower($formats[0]))?>//=$formats[0] ?>
Formation control of multi-agent systems : a graph rigidity approach
by: Queiroz, Marcio S. de,, et al.
Published: (2019)
//=preg_replace('/[^a-z0-9]/', '', strtolower($formats[0]))?>//=$formats[0] ?>
The big book of simulation modeling : multimethod modeling with AnyLogic 6
by: Borščev, A. V.
Published: (2013)
×
Loading...