|
|
|
|
| LEADER |
02612cam a22006377a 4500 |
| 001 |
MUB01000156197 |
| 003 |
CZ BrMU |
| 005 |
20240315102217.0 |
| 008 |
960823s1990 xxk||||| |||||||||||eng|d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2009-06-22
|
| 020 |
|
|
|a 0-521-37181-3
|
| 040 |
|
|
|a BOD018
|b cze
|d BOD018
|
| 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
|
| 100 |
1 |
|
|a Girard, Jean-Yves,
|d 1947-
|7 mzk2004228265
|4 aut
|
| 245 |
1 |
0 |
|a Proofs and types /
|c Jean-Yves Girard, Paul Taylor, Yves Lafont.
|
| 260 |
|
|
|a Cambridge :
|b Cambridge University Press,
|c 1990.
|
| 300 |
|
|
|a xi, 176 s.
|
| 490 |
1 |
|
|a Cambridge Tracts in Theoretical Computer Science ;
|v 7
|
| 650 |
0 |
7 |
|a výpočetní technika
|7 ph137273
|2 czenas
|
| 650 |
0 |
9 |
|a computer science
|2 eczenas
|
| 655 |
|
7 |
|a monografie
|7 fd132842
|2 czenas
|
| 655 |
|
9 |
|a monographs
|2 eczenas
|
| 700 |
1 |
|
|a Taylor, Paul
|7 jo2007281961
|4 aut
|
| 700 |
1 |
|
|a Lafont, Yves
|4 aut
|
| 830 |
|
0 |
|a Cambridge Tracts in Theoretical Computer Science ;
|v 7
|
| CAT |
|
|
|a CONF-FI
|b 02
|c 20040327
|l MUB01
|h 1747
|
| CAT |
|
|
|a CONV-M04
|b 02
|c 20040919
|l MUB01
|h 1743
|
| CAT |
|
|
|c 20050122
|l MUB01
|h 1222
|
| CAT |
|
|
|a CONV-653
|b 02
|c 20050213
|l MUB01
|h 2123
|
| CAT |
|
|
|c 20070427
|l MUB01
|h 2115
|
| CAT |
|
|
|a BATCH-UPD
|b 02
|c 20080319
|l MUB01
|h 0634
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1804
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1819
|
| CAT |
|
|
|c 20080602
|l MUB01
|h 1117
|
| CAT |
|
|
|c 20080604
|l MUB01
|h 0952
|
| CAT |
|
|
|c 20081212
|l MUB01
|h 0945
|
| CAT |
|
|
|c 20081212
|l MUB01
|h 1056
|
| CAT |
|
|
|c 20090622
|l MUB01
|h 0749
|
| CAT |
|
|
|c 20091202
|l MUB01
|h 2156
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 1432
|
| CAT |
|
|
|a BATCH-UPD
|b 00
|c 20100501
|l MUB01
|h 0726
|
| CAT |
|
|
|c 20101015
|l MUB01
|h 2114
|
| CAT |
|
|
|c 20101016
|l MUB01
|h 0130
|
| CAT |
|
|
|a PUTNOVAX
|b 02
|c 20120302
|l MUB01
|h 1245
|
| CAT |
|
|
|a BATCH
|b 00
|c 20130301
|l MUB01
|h 1710
|
| CAT |
|
|
|a POSPEL
|b 02
|c 20130430
|l MUB01
|h 1535
|
| CAT |
|
|
|c 20150403
|l MUB01
|h 1951
|
| CAT |
|
|
|a BATCH
|b 00
|c 20151224
|l MUB01
|h 0501
|
| CAT |
|
|
|a VESELA
|b 02
|c 20240315
|l MUB01
|h 1022
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2009-06-22
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 R185 - skříň
|5 4200512812
|8 20070112
|f 74
|f Měsíční
|r 20070112
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 R185
|5 4200501582
|8 20040328
|f 74
|f Měsíční
|r 20070112
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 R185
|5 4200518930
|8 20200728
|f 74
|f Měsíční
|r 20200728
|
| AVA |
|
|
|a INF50
|b FI
|c sklad
|d R185
|e available
|t K dispozici
|f 3
|g 0
|h N
|i 28
|j SKLAD
|
