|
|
|
|
| LEADER |
02208cam a22005537a 4500 |
| 001 |
MUB01000594092 |
| 003 |
CZ BrMU |
| 005 |
20181130112626.0 |
| 008 |
090814s1998 gw ||||| |||||||||||eng d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2018-12-10
|
| 020 |
|
|
|a 3-540-65137-3
|z 978-3-540-65137-6
|
| 040 |
|
|
|a BOD018
|b cze
|d BOD114
|
| 080 |
|
|
|a 004.42
|2 MRF
|
| 080 |
|
|
|a (062.534)
|2 MRF
|
| 111 |
2 |
|
|a TYPES'96
|d (1996 :
|c Aussois, Francie)
|4 aut
|
| 245 |
1 |
0 |
|a Types for Proofs and Programs :
|b International Workshop Types'96, Aussois, France, December 15-19, 1996 : selected papers /
|c Eduardo Giménez, Christine Paulin-Mohring, eds.
|
| 260 |
|
|
|a Berlin :
|b Springer,
|c c1998
|
| 300 |
|
|
|a viii, 372 s.
|
| 490 |
1 |
|
|a Lecture notes in computer science ;
|v 1512
|
| 650 |
0 |
7 |
|a počítačové programy
|7 ph124516
|2 czenas
|
| 650 |
0 |
7 |
|a programování
|7 ph115891
|2 czenas
|
| 650 |
0 |
9 |
|a computer programs
|2 eczenas
|
| 650 |
0 |
9 |
|a programming
|2 eczenas
|
| 700 |
1 |
|
|a Giménez, Eduardo,
|d 1967-
|4 edt
|
| 700 |
1 |
|
|a Paulin-Mohring, Christine,
|d 1962-
|7 xx0043117
|4 edt
|
| 830 |
|
0 |
|a Lecture notes in computer science ;
|v 1512
|
| CAT |
|
|
|a KOVAROVA
|b 02
|c 20090814
|l MUB01
|h 1259
|
| CAT |
|
|
|a KOZOVA
|b 02
|c 20090921
|l MUB01
|h 1021
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 0235
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 1917
|
| CAT |
|
|
|c 20101015
|l MUB01
|h 2332
|
| CAT |
|
|
|c 20101016
|l MUB01
|h 0401
|
| CAT |
|
|
|a KOZOVAX
|b 02
|c 20111027
|l MUB01
|h 1124
|
| CAT |
|
|
|a batch
|b 00
|c 20120324
|l MUB01
|h 0128
|
| CAT |
|
|
|a BATCH
|b 00
|c 20130303
|l MUB01
|h 1118
|
| CAT |
|
|
|a VESELA
|b 02
|c 20140414
|l MUB01
|h 1523
|
| CAT |
|
|
|c 20150404
|l MUB01
|h 0415
|
| CAT |
|
|
|a BATCH
|b 00
|c 20151226
|l MUB01
|h 0029
|
| CAT |
|
|
|c 20160401
|l MUB01
|h 1236
|
| CAT |
|
|
|a VARTECKAX
|b 02
|c 20161122
|l MUB01
|h 0725
|
| CAT |
|
|
|a HANAV
|b 02
|c 20181017
|l MUB01
|h 2301
|
| CAT |
|
|
|a HANAV
|b 02
|c 20181130
|l MUB01
|h 1126
|
| CAT |
|
|
|c 20181210
|l MUB01
|h 1133
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 0940
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 1929
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2018-12-10
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 K276.96
|5 4200515415
|8 20090814
|f 74
|f Měsíční
|g 2009-161
|r 20090921
|
| AVA |
|
|
|a INF50
|b FI
|c sklad
|d K276.96
|e available
|t K dispozici
|f 1
|g 0
|h N
|i 1
|j SKLAD
|
