|
|
|
|
| LEADER |
02190cam a22005417a 4500 |
| 001 |
MUB01000445005 |
| 003 |
CZ BrMU |
| 005 |
20160607130209.0 |
| 008 |
030114s2006 gw ||||| |||||||||||eng d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2012-02-24
|
| 020 |
|
|
|a 3-540-31139-4
|
| 040 |
|
|
|a BOD018
|b cze
|d BOD018
|
| 080 |
|
|
|a 004
|2 MRF
|
| 080 |
|
|
|a (063)
|2 MRF
|
| 111 |
2 |
|
|a VMCAI (konference)
|n (7. :
|d 2006 :
|c Charleston, Jižní Karolína)
|7 xx0042096
|4 aut
|
| 245 |
1 |
0 |
|a Verification, model checking, and abstract interpretation :
|b 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006 : proceedings /
|c edited by E. Allen Emerson, Kedar S. Namjoshi.
|
| 260 |
|
|
|a Berlin :
|b Springer,
|c c2006.
|
| 300 |
|
|
|a xi, 442 s.
|
| 490 |
1 |
|
|a Lecture notes in computer science ;
|v 3855
|
| 700 |
1 |
|
|a Emerson, E. Allen,
|d 1954-2024
|7 xx0042097
|4 edt
|
| 700 |
1 |
|
|a Namjoshi, Kedar S.
|7 xx0042098
|4 edt
|
| 830 |
|
0 |
|a Lecture notes in computer science ;
|v 3855
|
| CAT |
|
|
|a BISKUPOVA
|b 02
|c 20060103
|l MUB01
|h 1048
|
| CAT |
|
|
|c 20070427
|l MUB01
|h 2153
|
| CAT |
|
|
|a BATCH-UPD
|b 02
|c 20080319
|l MUB01
|h 0636
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1811
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1826
|
| CAT |
|
|
|c 20080602
|l MUB01
|h 1124
|
| CAT |
|
|
|c 20080604
|l MUB01
|h 0959
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 0116
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 1755
|
| CAT |
|
|
|c 20101015
|l MUB01
|h 2246
|
| CAT |
|
|
|c 20101016
|l MUB01
|h 0307
|
| CAT |
|
|
|a HONIGOVA
|b 02
|c 20110321
|l MUB01
|h 0906
|
| CAT |
|
|
|a SIMCIKOVAX
|b 02
|c 20110930
|l MUB01
|h 0950
|
| CAT |
|
|
|c 20120224
|l MUB01
|h 1438
|
| CAT |
|
|
|a BATCH
|b 00
|c 20130303
|l MUB01
|h 0711
|
| CAT |
|
|
|a FUKSOVAX
|b 02
|c 20130709
|l MUB01
|h 1450
|
| CAT |
|
|
|c 20150404
|l MUB01
|h 0004
|
| CAT |
|
|
|a BATCH
|b 00
|c 20151224
|l MUB01
|h 1052
|
| CAT |
|
|
|c 20160401
|l MUB01
|h 1233
|
| CAT |
|
|
|a VASICEKX
|b 02
|c 20160607
|l MUB01
|h 1302
|
| CAT |
|
|
|a BATCH-UPD
|b 02
|c 20241021
|l MUB01
|h 2352
|
| CAT |
|
|
|a BATCH-UPD
|b 02
|c 20250212
|l MUB01
|h 2352
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2012-02-24
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 K864.06
|5 4200511546
|8 20060103
|f 74
|f Měsíční
|r 20060103
|
| AVA |
|
|
|a INF50
|b FI
|c sklad
|d K864.06
|e available
|t K dispozici
|f 1
|g 0
|h N
|i 0
|j SKLAD
|
