|
|
|
|
| LEADER |
03440nam a22008537a 4500 |
| 001 |
MUB01000343331 |
| 003 |
CZ BrMU |
| 005 |
20230519083919.0 |
| 008 |
990105s1997 xxk||||| |||||||||||eng d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2010-01-21
|
| 020 |
|
|
|a 0-521-46518-4
|q (hardback)
|z 9780521465182
|q (hardback)
|
| 020 |
|
|
|a 0-521-05422-2
|z 9780521054225
|q (paperback)
|
| 040 |
|
|
|a BOD004
|b cze
|
| 072 |
|
7 |
|a 004.4/.6
|x Programování. Software
|2 Konspekt
|9 23
|
| 080 |
|
|
|a 004.422.6
|2 MRF
|
| 080 |
|
|
|a 510.6
|2 MRF
|
| 080 |
|
|
|a 004.421
|2 MRF
|
| 080 |
|
|
|a (048.8)
|2 MRF
|
| 100 |
1 |
|
|a Hindley, J. Roger,
|d 1939-
|7 stk2008461564
|4 aut
|
| 245 |
1 |
0 |
|a Basic simple type theory /
|c J. Roger Hindley
|
| 250 |
|
|
|a 1st pub.
|
| 260 |
|
|
|a Cambridge ;
|a New York [N.Y.] :
|b Cambridge University Press,
|c 1997
|
| 300 |
|
|
|a xi, 185 s.
|
| 490 |
1 |
|
|a Cambridge tracts in theoretical computer science ;
|v 42
|
| 504 |
|
|
|a Obsahuje bibliografii (s. 169-176) a rejstřík
|
| 650 |
0 |
7 |
|a algoritmy (programování)
|7 ph131788
|2 czenas
|
| 650 |
0 |
7 |
|a datové typy
|7 ph317222
|2 czenas
|
| 650 |
0 |
7 |
|a matematická logika
|7 ph122671
|2 czenas
|
| 650 |
0 |
9 |
|a computer algorithms
|2 eczenas
|
| 650 |
0 |
9 |
|a data types
|2 eczenas
|
| 650 |
0 |
9 |
|a mathematical logic
|2 eczenas
|
| 655 |
|
7 |
|a monografie
|7 fd132842
|2 czenas
|
| 655 |
|
9 |
|a monographs
|2 eczenas
|
| 830 |
|
0 |
|a Cambridge tracts in theoretical computer science ;
|v 42
|
| CAT |
|
|
|a CONV-PRIF
|b 02
|c 20041229
|l MUB01
|h 1334
|
| CAT |
|
|
|c 20050122
|l MUB01
|h 1253
|
| CAT |
|
|
|a CONV-653
|b 02
|c 20050213
|l MUB01
|h 2150
|
| CAT |
|
|
|a JANA
|b 02
|c 20060324
|l MUB01
|h 1112
|
| CAT |
|
|
|a JANA
|b 02
|c 20060403
|l MUB01
|h 1346
|
| CAT |
|
|
|c 20070427
|l MUB01
|h 2140
|
| CAT |
|
|
|a BATCH-UPD
|b 02
|c 20080319
|l MUB01
|h 0711
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1809
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1824
|
| CAT |
|
|
|c 20080602
|l MUB01
|h 1121
|
| CAT |
|
|
|c 20080604
|l MUB01
|h 0957
|
| CAT |
|
|
|a BATCH-UPD
|b 02
|c 20091102
|l MUB01
|h 0433
|
| CAT |
|
|
|a BATCH-UPD
|b 02
|c 20091102
|l MUB01
|h 2350
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 0024
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 1659
|
| CAT |
|
|
|a HANAV
|b 02
|c 20091216
|l MUB01
|h 2357
|
| CAT |
|
|
|a BATCH-UPD
|b 02
|c 20091219
|l MUB01
|h 0636
|
| CAT |
|
|
|c 20100121
|l MUB01
|h 1041
|
| CAT |
|
|
|a BATCH-UPD
|b 00
|c 20100501
|l MUB01
|h 0946
|
| CAT |
|
|
|c 20101015
|l MUB01
|h 2223
|
| CAT |
|
|
|c 20101016
|l MUB01
|h 0228
|
| CAT |
|
|
|a ANTLOVA
|b 02
|c 20120117
|l MUB01
|h 1227
|
| CAT |
|
|
|a MENSIKOVA
|b 02
|c 20120127
|l MUB01
|h 0948
|
| CAT |
|
|
|a batch
|b 00
|c 20120324
|l MUB01
|h 0011
|
| CAT |
|
|
|c 20120610
|l MUB01
|h 1712
|
| CAT |
|
|
|a BATCH
|b 00
|c 20130303
|l MUB01
|h 0243
|
| CAT |
|
|
|c 20140127
|l MUB01
|h 1745
|
| CAT |
|
|
|c 20150403
|l MUB01
|h 2230
|
| CAT |
|
|
|c 20150702
|l MUB01
|h 1047
|
| CAT |
|
|
|a BATCH
|b 00
|c 20151224
|l MUB01
|h 0901
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 0855
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 1846
|
| CAT |
|
|
|a REPISOVA
|b 02
|c 20211111
|l MUB01
|h 1525
|
| CAT |
|
|
|c 20220114
|l MUB01
|h 1646
|
| CAT |
|
|
|a KOURILOVAX
|b 02
|c 20230519
|l MUB01
|h 0839
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2010-01-21
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 PRIF
|a Přírodovědecká fakulta
|2 PRFST
|b ÚK volný výběr
|3 519.7-HIND
|5 3145306640
|8 20041229
|f 70
|f Prezenční
|q 20180727
|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 519.7-HIND
|5 3145353644
|4 grant UMS
|7 pbk.
|8 20120117
|f 74
|f Měsíční
|q 20180727
|r 20120117
|s kup
|
| AVA |
|
|
|a SCI50
|b PRIF
|c ÚK volný výběr
|d 519.7-HIND
|e available
|t K dispozici
|f 2
|g 0
|h N
|i 0
|j PRFST
|
