|
|
|
|
LEADER |
02383nam a22005777a 4500 |
001 |
MUB01000525157 |
003 |
CZ BrMU |
005 |
20160627062234.0 |
008 |
070905s2007 gw ||||| |||||||||||eng d |
STA |
|
|
|a POSLANO DO SKCR
|b 2014-12-05
|
020 |
|
|
|a 978-3-540-74127-5
|z 3540741275
|
040 |
|
|
|a BOD018
|b cze
|
080 |
|
|
|a 004.8
|2 MRF
|
080 |
|
|
|a (062.534)
|2 MRF
|
111 |
2 |
|
|a Workshop on Model Checking and Artificial Intelligence
|n (4. :
|d 2006 :
|c Riva del Garda, Itálie)
|4 aut
|
245 |
1 |
0 |
|a Model checking and artificial intelligence :
|b 4th Workshop, MoChArt IV : Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers /
|c edited by Stefan Edelkamp, Alessio Lomuscio
|
246 |
3 |
0 |
|a MoChArt IV
|
260 |
|
|
|a Berlin :
|b Springer,
|c c2007
|
300 |
|
|
|a vi, 184 s.
|
490 |
1 |
|
|a Lecture notes in computer science. Lecture notes in artificial intelligence ;
|v 4428
|
650 |
0 |
7 |
|a umělá inteligence
|7 ph116536
|2 czenas
|
650 |
0 |
9 |
|a artificial intelligence
|2 eczenas
|
655 |
|
7 |
|a sborníky konferencí
|7 fd133333
|2 czenas
|
700 |
1 |
|
|a Edelkamp, Stefan,
|d 1969-
|7 stk2007415476
|4 edt
|
700 |
1 |
|
|a Lomuscio, Alessio
|7 stk2007405726
|4 edt
|
830 |
|
0 |
|a Lecture notes in computer science.
|p Lecture notes in artificial intelligence ;
|v 4428
|
CAT |
|
|
|a KREKOVA
|b 02
|c 20070905
|l MUB01
|h 1145
|
CAT |
|
|
|c 20080429
|l MUB01
|h 1814
|
CAT |
|
|
|c 20080429
|l MUB01
|h 1828
|
CAT |
|
|
|c 20091203
|l MUB01
|h 0155
|
CAT |
|
|
|c 20091203
|l MUB01
|h 1839
|
CAT |
|
|
|c 20101015
|l MUB01
|h 2310
|
CAT |
|
|
|c 20101016
|l MUB01
|h 0333
|
CAT |
|
|
|a SIMCIKOVAX
|b 02
|c 20101027
|l MUB01
|h 1906
|
CAT |
|
|
|a batch
|b 00
|c 20120324
|l MUB01
|h 0105
|
CAT |
|
|
|a BATCH
|b 00
|c 20130303
|l MUB01
|h 0919
|
CAT |
|
|
|a PUTNOVAX
|b 02
|c 20140702
|l MUB01
|h 0846
|
CAT |
|
|
|c 20141112
|l MUB01
|h 0945
|
CAT |
|
|
|c 20141203
|l MUB01
|h 1632
|
CAT |
|
|
|c 20141205
|l MUB01
|h 1142
|
CAT |
|
|
|c 20150404
|l MUB01
|h 0240
|
CAT |
|
|
|a BATCH
|b 00
|c 20151225
|l MUB01
|h 2257
|
CAT |
|
|
|c 20160401
|l MUB01
|h 1235
|
CAT |
|
|
|a VARTECKAX
|b 02
|c 20160627
|l MUB01
|h 0622
|
CAT |
|
|
|c 20210614
|l MUB01
|h 0927
|
CAT |
|
|
|c 20210614
|l MUB01
|h 1916
|
CAT |
|
|
|a BATCH
|b 00
|c 20210724
|l MUB01
|h 1129
|
LOW |
|
|
|a POSLANO DO SKCR
|b 2014-12-05
|
994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|3 K213.06w
|5 4200513384
|8 20070905
|f 74
|f Měsíční
|r 20070905
|
AVA |
|
|
|a INF50
|b FI
|d K213.06w
|e available
|t K dispozici
|f 1
|g 0
|h N
|i 0
|