|
|
|
|
LEADER |
02264cam a22005777a 4500 |
001 |
MUB01000409564 |
003 |
CZ BrMU |
005 |
20180515125059.0 |
008 |
001205s2006 gw ||||| |||||||||||eng d |
STA |
|
|
|a POSLANO DO SKCR
|b 2011-03-31
|
020 |
|
|
|a 3-540-37215-6
|
040 |
|
|
|a BOD018
|b cze
|d BOD031
|d BOD114
|
080 |
|
|
|a 004.42
|2 MRF
|
111 |
2 |
|
|a International Symposium of Formal Methods Europe
|n (14. :
|d 2006 :
|c Hamilton, Ontario)
|7 xx0055301
|4 aut
|
245 |
1 |
0 |
|a FM 2006 : formal methods :
|b 14 International Symposium on Formal Methods : Hamilton, Canada, August 21-27, 2006 : proceedings /
|c edited by Jayadev Misra ... [et al.]
|
260 |
|
|
|a Berlin :
|b Springer,
|c c2006
|
300 |
|
|
|a xv, 616 s.
|
490 |
1 |
|
|a Lecture notes in computer science ;
|v 4085
|
650 |
0 |
7 |
|a programování
|7 ph115891
|2 czenas
|
650 |
0 |
9 |
|a programming
|2 eczenas
|
700 |
1 |
|
|a Misra, Jayadev
|7 xx0055286
|4 edt
|
830 |
|
0 |
|a Lecture notes in computer science ;
|v 4085
|
CAT |
|
|
|a BISKUPOVA
|b 02
|c 20050720
|l MUB01
|h 1101
|
CAT |
|
|
|a BISKUPOVA
|b 02
|c 20061019
|l MUB01
|h 1534
|
CAT |
|
|
|a BISKUPOVA
|b 02
|c 20061020
|l MUB01
|h 0921
|
CAT |
|
|
|c 20070427
|l MUB01
|h 2149
|
CAT |
|
|
|a BATCH-UPD
|b 02
|c 20080319
|l MUB01
|h 0635
|
CAT |
|
|
|c 20080429
|l MUB01
|h 1811
|
CAT |
|
|
|c 20080429
|l MUB01
|h 1825
|
CAT |
|
|
|c 20080602
|l MUB01
|h 1123
|
CAT |
|
|
|c 20080604
|l MUB01
|h 0958
|
CAT |
|
|
|c 20091203
|l MUB01
|h 0102
|
CAT |
|
|
|c 20091203
|l MUB01
|h 1741
|
CAT |
|
|
|c 20101015
|l MUB01
|h 2240
|
CAT |
|
|
|c 20101016
|l MUB01
|h 0257
|
CAT |
|
|
|a SIMCIKOVA
|b 02
|c 20110228
|l MUB01
|h 1434
|
CAT |
|
|
|c 20110331
|l MUB01
|h 1038
|
CAT |
|
|
|a batch
|b 00
|c 20120324
|l MUB01
|h 0034
|
CAT |
|
|
|a BATCH
|b 00
|c 20130303
|l MUB01
|h 0624
|
CAT |
|
|
|c 20150403
|l MUB01
|h 2323
|
CAT |
|
|
|a BATCH
|b 00
|c 20151224
|l MUB01
|h 1018
|
CAT |
|
|
|c 20160401
|l MUB01
|h 1233
|
CAT |
|
|
|a VASICEKX
|b 02
|c 20160614
|l MUB01
|h 1006
|
CAT |
|
|
|a HANAV
|b 02
|c 20170626
|l MUB01
|h 1553
|
CAT |
|
|
|a PUTNOVAX
|b 02
|c 20180515
|l MUB01
|h 1251
|
CAT |
|
|
|c 20210614
|l MUB01
|h 0906
|
CAT |
|
|
|c 20210614
|l MUB01
|h 1856
|
LOW |
|
|
|a POSLANO DO SKCR
|b 2011-03-31
|
994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|3 K268.06
|5 4200512281
|8 20050720
|f 74
|f Měsíční
|r 20050720
|
AVA |
|
|
|a INF50
|b FI
|d K268.06
|e available
|t K dispozici
|f 1
|g 0
|h N
|i 0
|