|
|
|
|
| LEADER |
02566cam a22006737a 4500 |
| 001 |
MUB01000197246 |
| 003 |
CZ BrMU |
| 005 |
20150506121117.0 |
| 008 |
961009s2004 gw ||||| |||||||||||eng d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2009-10-31
|
| 020 |
|
|
|a 3-540-21202-7
|
| 040 |
|
|
|a BOD018
|b cze
|d BOD018
|
| 072 |
|
7 |
|a 51
|x Matematika
|2 Konspekt
|9 13
|
| 080 |
|
|
|a 51
|2 MRF
|
| 080 |
|
|
|a 519.86/.87
|2 MRF
|
| 100 |
1 |
|
|a Libkin, Leonid,
|d 1965-
|7 xx0032599
|4 aut
|
| 245 |
1 |
0 |
|a Elements of finite model theory /
|c Leonid Libkin.
|
| 260 |
|
|
|a Berlin :
|b Springer,
|c c2004.
|
| 300 |
|
|
|a xiv, 315 s.
|
| 490 |
1 |
|
|a Texts in theoretical computer science
|
| 650 |
0 |
7 |
|a matematika
|7 ph117231
|2 czenas
|
| 650 |
0 |
7 |
|a modelování a simulace
|7 ph125543
|2 czenas
|
| 650 |
0 |
9 |
|a mathematics
|2 eczenas
|
| 650 |
0 |
9 |
|a modeling and simulation
|2 eczenas
|
| 650 |
0 |
9 |
|a modeling a simulation
|2 eczenas
|
| 830 |
|
0 |
|a Texts in theoretical computer science
|
| CAT |
|
|
|a BISKUPOVA
|b 02
|c 20040726
|l MUB01
|h 1034
|
| CAT |
|
|
|a CONV-M04
|b 02
|c 20040919
|l MUB01
|h 1745
|
| CAT |
|
|
|c 20050122
|l MUB01
|h 1228
|
| CAT |
|
|
|a CONV-653
|b 02
|c 20050213
|l MUB01
|h 2128
|
| CAT |
|
|
|c 20070427
|l MUB01
|h 2120
|
| CAT |
|
|
|a BATCH-UPD
|b 02
|c 20080319
|l MUB01
|h 0635
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1805
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1820
|
| CAT |
|
|
|c 20080602
|l MUB01
|h 1118
|
| CAT |
|
|
|c 20080604
|l MUB01
|h 0953
|
| CAT |
|
|
|c 20091031
|l MUB01
|h 1120
|
| CAT |
|
|
|c 20091202
|l MUB01
|h 2228
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 1505
|
| CAT |
|
|
|a BATCH-UPD
|b 00
|c 20100501
|l MUB01
|h 0751
|
| CAT |
|
|
|c 20101015
|l MUB01
|h 2129
|
| CAT |
|
|
|c 20101016
|l MUB01
|h 0139
|
| CAT |
|
|
|a VASICEK
|b 02
|c 20110404
|l MUB01
|h 1709
|
| CAT |
|
|
|a BATCH
|b 00
|c 20130301
|l MUB01
|h 1814
|
| CAT |
|
|
|a VESELA
|b 02
|c 20130626
|l MUB01
|h 1505
|
| CAT |
|
|
|a VESELA
|b 02
|c 20130626
|l MUB01
|h 1506
|
| CAT |
|
|
|c 20140127
|l MUB01
|h 1621
|
| CAT |
|
|
|c 20150403
|l MUB01
|h 2026
|
| CAT |
|
|
|a REPISOVA
|b 02
|c 20150506
|l MUB01
|h 1211
|
| CAT |
|
|
|c 20150701
|l MUB01
|h 1442
|
| CAT |
|
|
|a BATCH
|b 00
|c 20151224
|l MUB01
|h 0552
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 0823
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 1816
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2009-10-31
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|3 M232
|5 4200509767
|8 20040726
|f 77
|f Dlouhodobá
|r 00000001
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|3 M232
|5 4200512136
|8 20060623
|f 77
|f Dlouhodobá
|g 2006-87
|r 20060724
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|3 M232
|5 4200517289
|8 20130626
|f 77
|f Dlouhodobá
|g 2013-111
|r 20130626
|
| AVA |
|
|
|a INF50
|b FI
|d M232
|e available
|t K dispozici
|f 3
|g 2
|h N
|i 2
|
