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

LEADER 01825nam a2200457 a 4500
001 57284
003 CZ ZlUTB
005 20240911205905.0
006 m d
007 cr cn
008 100913s2010 xxua fs 000 0 eng d
999 |c 57284  |d 57284 
020 |a 9781441969842  |q (online) 
024 7 |a 10.1007/978-1-4419-6984-2  |2 doi 
040 |a ZLD002  |b cze 
072 7 |a 004.8  |x Umělá inteligence  |2 Konspekt  |9 23 
080 |a 004.89  |2 MRF 
080 |a (0.034.2:08)  |2 MRF 
080 |a (048.8:082)  |2 MRF 
245 0 0 |a Specification and verification of multi-agent systems  |h [elektronický zdroj] /  |c Mehdi Dastani, Koen V. Hindriks , John-Jules Charles Meyer, editors ; foreword by Wiebe van der Hoek 
260 |a New York ;  |a Dordrecht :  |b Springer,  |c 2010 
300 |a xvii, 405 s. :  |b il. 
500 |a Název z titulní obrazovky 
504 |a Obsahuje bibliografické odkazy 
506 |a Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty univerzity 
533 |a Elektronická reprodukce 
538 |a Způsob přístupu: World Wide Web 
650 0 7 |a multiagentní systémy  |7 ph312564  |2 czenas 
650 0 9 |a multi-agent systems  |2 eczenas 
655 7 |a elektronické knihy  |7 fd186907  |2 czenas 
655 7 |a kolektivní monografie  |7 fd501537  |2 czenas 
655 9 |a electronic books  |2 eczenas 
655 9 |a collective monographs  |2 eczenas 
700 1 |a Dastani, Mohammad Mehdi  |7 xx0052674  |4 edt 
700 1 |a Hindriks, Koen,  |d 1971-  |7 utb2010594747  |4 edt 
700 1 |a Meyer, J.-J. Ch.,  |d 1954-  |7 xx0053302  |4 edt 
856 4 0 |u https://proxy.k.utb.cz/login?url=https://doi.org/10.1007/978-1-4419-6984-2  |y Plný text 
910 |a ZLD002 
942 |2 udc 
992 |a BK  |b SK  |c SPRINGER 
993 |x NEPOSILAT  |y EIZ 

Similar Items