|
|
|
|
| LEADER |
02782cam a22006497a 4500 |
| 001 |
MUB01000357087 |
| 003 |
CZ BrMU |
| 005 |
20250120110814.0 |
| 008 |
970121s1995 xxk||||| |||||||||||eng d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2010-02-09
|
| 020 |
|
|
|a 0-19-853780-8
|
| 040 |
|
|
|a BOD004
|b cze
|d BOD004
|
| 072 |
|
7 |
|a 004
|x Počítačová věda. Výpočetní technika. Informační technologie
|2 Konspekt
|9 23
|
| 080 |
|
|
|a 004
|2 MRF
|
| 080 |
|
|
|a (035)
|2 MRF
|
| 080 |
|
|
|a 161.15:81'37
|2 MRF
|
| 245 |
0 |
0 |
|a Handbook of logic in computer science.
|n Vol. 4,
|p Semantic modelling /
|c edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum
|
| 260 |
|
|
|a Oxford :
|b The Clarendon Press,
|c 1995
|
| 300 |
|
|
|a xiii, 651 s.
|
| 650 |
0 |
7 |
|a logická sémantika
|7 ph172905
|2 czenas
|
| 650 |
0 |
7 |
|a počítačová věda
|7 ph124511
|2 czenas
|
| 650 |
0 |
9 |
|a logical semantics
|2 eczenas
|
| 650 |
0 |
9 |
|a computer science
|2 eczenas
|
| 655 |
|
7 |
|a příručky
|7 fd133209
|2 czenas
|
| 655 |
|
9 |
|a handbooks and manuals
|2 eczenas
|
| 700 |
1 |
|
|a Abramsky, Samson,
|d 1953-
|7 ola2003209046
|4 edt
|
| 700 |
1 |
|
|a Gabbay, Dov M.,
|d 1945-
|7 kup19980000029813
|4 edt
|
| 700 |
1 |
|
|a Maibaum, Thomas S. E.,
|d 1947-
|7 xx0017665
|4 edt
|
| CAT |
|
|
|a CONV-PRIF
|b 02
|c 20041229
|l MUB01
|h 1329
|
| CAT |
|
|
|c 20050122
|l MUB01
|h 1256
|
| CAT |
|
|
|a CONV-653
|b 02
|c 20050213
|l MUB01
|h 2152
|
| CAT |
|
|
|c 20070427
|l MUB01
|h 2142
|
| CAT |
|
|
|a BATCH-UPD
|b 02
|c 20080319
|l MUB01
|h 0716
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1809
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1824
|
| CAT |
|
|
|c 20080602
|l MUB01
|h 1122
|
| CAT |
|
|
|c 20080604
|l MUB01
|h 0957
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 0032
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 1709
|
| CAT |
|
|
|c 20100209
|l MUB01
|h 0944
|
| CAT |
|
|
|a POSPEL
|b 02
|c 20100819
|l MUB01
|h 1326
|
| CAT |
|
|
|a DRIMLOVAX
|b 02
|c 20110620
|l MUB01
|h 0928
|
| CAT |
|
|
|a ANTLOVAX
|b 02
|c 20121101
|l MUB01
|h 1040
|
| CAT |
|
|
|a ANTLOVAX
|b 02
|c 20121101
|l MUB01
|h 1040
|
| CAT |
|
|
|a BATCH
|b 00
|c 20130303
|l MUB01
|h 0315
|
| CAT |
|
|
|c 20150403
|l MUB01
|h 2243
|
| CAT |
|
|
|a BATCH
|b 00
|c 20151224
|l MUB01
|h 0917
|
| CAT |
|
|
|a KOURILOVAX
|b 02
|c 20220812
|l MUB01
|h 0603
|
| CAT |
|
|
|a DRIMLOVAX
|b 02
|c 20250120
|l MUB01
|h 1108
|
| CAT |
|
|
|c 20250324
|l MUB01
|h 1603
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2010-02-09
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|3 R237 - skříň
|5 4200505533
|8 20040328
|f 74
|f Měsíční
|r 00000001
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|3 R237
|5 4200508188
|8 20040328
|f 74
|f Měsíční
|r 00000001
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 PRIF
|a Přírodovědecká fakulta
|2 PRFST
|b ÚK volný výběr
|3 506.120
|5 3145304133
|8 20041229
|f 77
|f Dlouhodobá
|q 20190812
|r 00000001
|
| AVA |
|
|
|a SCI50
|b PRIF
|c ÚK volný výběr
|d 506.120
|e unavailable
|t Není k dispozici
|f 1
|g 1
|h N
|i 0
|j PRFST
|
| AVA |
|
|
|a INF50
|b FI
|d R237
|e available
|t K dispozici
|f 2
|g 0
|h N
|i 0
|
