|
|
|
|
| LEADER |
02337cam a22005777a 4500 |
| 001 |
MUB01000487518 |
| 003 |
CZ BrMU |
| 005 |
20160607130236.0 |
| 008 |
070119s2007 gw ||||| |||||||||||eng d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2014-01-17
|
| 020 |
|
|
|a 978-3-540-69735-0
|z 3540697357
|
| 040 |
|
|
|a BOD018
|b cze
|d BOD114
|
| 080 |
|
|
|a 004
|2 MRF
|
| 111 |
2 |
|
|a VMCAI (konference)
|n (8. :
|d 2007 :
|c Nice, Francie)
|7 stk2007407016
|4 aut
|
| 245 |
1 |
0 |
|a Verification, model checking, and abstract interpretation :
|b 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings /
|c edited by Byron Cook, Andreas Podelski.
|
| 260 |
|
|
|a Berlin :
|b Springer,
|c c2007.
|
| 300 |
|
|
|a xi, 394 s.
|
| 490 |
1 |
|
|a Lecture notes in computer science ;
|v 4349
|
| 650 |
0 |
7 |
|a počítačová věda
|7 ph124511
|2 czenas
|
| 650 |
0 |
9 |
|a computer science
|2 eczenas
|
| 700 |
1 |
|
|a Cook, Byron,
|d 1971-
|7 stk2007405868
|4 edt
|
| 700 |
1 |
|
|a Podelski, Andreas
|7 xx0021293
|4 edt
|
| 830 |
|
0 |
|a Lecture notes in computer science ;
|v 4349
|
| CAT |
|
|
|a BISKUPOVA
|b 02
|c 20070119
|l MUB01
|h 1258
|
| CAT |
|
|
|a BISKUPOVA
|b 02
|c 20070119
|l MUB01
|h 1258
|
| CAT |
|
|
|c 20070427
|l MUB01
|h 2201
|
| CAT |
|
|
|a BATCH-UPD
|b 02
|c 20080319
|l MUB01
|h 0636
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1813
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1827
|
| CAT |
|
|
|a HANKA
|b 02
|c 20080605
|l MUB01
|h 1438
|
| CAT |
|
|
|a HANAV
|b 02
|c 20080606
|l MUB01
|h 2122
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 0139
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 1822
|
| CAT |
|
|
|c 20101015
|l MUB01
|h 2258
|
| CAT |
|
|
|c 20101016
|l MUB01
|h 0324
|
| CAT |
|
|
|a HONIGOVA
|b 02
|c 20110207
|l MUB01
|h 0856
|
| CAT |
|
|
|a batch
|b 00
|c 20120324
|l MUB01
|h 0055
|
| CAT |
|
|
|a BATCH
|b 00
|c 20130303
|l MUB01
|h 0826
|
| CAT |
|
|
|c 20140117
|l MUB01
|h 1116
|
| CAT |
|
|
|c 20150404
|l MUB01
|h 0208
|
| CAT |
|
|
|a VASICEKX
|b 02
|c 20150723
|l MUB01
|h 1127
|
| CAT |
|
|
|a BATCH
|b 00
|c 20151225
|l MUB01
|h 2219
|
| CAT |
|
|
|c 20160401
|l MUB01
|h 1234
|
| CAT |
|
|
|a VASICEKX
|b 02
|c 20160607
|l MUB01
|h 1302
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 0921
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 1910
|
| CAT |
|
|
|a BATCH-UPD
|b 00
|c 20250212
|l MUB01
|h 2352
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2014-01-17
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 K864.07
|5 4200512818
|8 20070119
|f 74
|f Měsíční
|r 20070119
|
| AVA |
|
|
|a INF50
|b FI
|c sklad
|d K864.07
|e available
|t K dispozici
|f 1
|g 0
|h N
|i 0
|j SKLAD
|
