Lambda-kalkul /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Zlatuška, Jiří, 1957- (Autor)
Typ dokumentu: Kniha
Jazyk:Čeština
Vydáno: Brno : Masarykova univerzita, 1993
Vydání:Vyd. 1.
Témata:
lambda kalkul
matematická kybernetika
počítačová věda
lambda calculus
computer science
mathematical cybernetics
monografie
monographs
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 06854cam a22011537a 4500
001 MUB01000362771
003 CZ BrMU
005 20250414154451.0
008 940408s1993 xr ||||| |||||||||||cze d
STA |a POSLANO DO SKCR  |b 2010-02-12 
015 |a cnb000084994 
020 |a 80-210-0826-1 
040 |a BOD004  |b cze 
072 7 |a 519.1/.8  |x Kombinatorika. Teorie grafů. Matematická statistika. Operační výzkum. Matematické modelování  |2 Konspekt  |9 13 
080 |a 519.7  |2 MRF 
080 |a 004  |2 MRF 
080 |a 519  |2 MRF 
080 |a (048.8)  |2 MRF 
100 1 |a Zlatuška, Jiří,  |d 1957-  |7 jn20000402753  |% UČO 1777  |4 aut 
245 1 0 |a Lambda-kalkul /  |c Jiří Zlatuška 
250 |a Vyd. 1. 
260 |a Brno :  |b Masarykova univerzita,  |c 1993 
300 |a 264 s. 
504 |a Obsahuje bibliografii a rejstřík 
650 0 7 |a lambda kalkul  |2 CZ-BrMU 
650 0 7 |a matematická kybernetika  |7 ph122669  |2 czenas 
650 0 7 |a počítačová věda  |7 ph124511  |2 czenas 
650 0 9 |a lambda calculus  |2 eCZ-BrMU 
650 0 9 |a computer science  |2 eczenas 
650 0 9 |a mathematical cybernetics  |2 eczenas 
655 7 |a monografie  |7 fd132842  |2 czenas 
655 9 |a monographs  |2 eczenas 
CAT |a CONV-PRIF  |b 02  |c 20041229  |l MUB01  |h 1330 
CAT |c 20050122  |l MUB01  |h 1257 
CAT |a CONV-653  |b 02  |c 20050213  |l MUB01  |h 2153 
CAT |a JANA  |b 02  |c 20060324  |l MUB01  |h 1128 
CAT |a JANA  |b 02  |c 20060403  |l MUB01  |h 1318 
CAT |c 20070427  |l MUB01  |h 2142 
CAT |a BATCH-UPD  |b 02  |c 20080319  |l MUB01  |h 0718 
CAT |c 20080429  |l MUB01  |h 1810 
CAT |c 20080429  |l MUB01  |h 1824 
CAT |c 20080602  |l MUB01  |h 1122 
CAT |c 20080604  |l MUB01  |h 0957 
CAT |a JANA  |b 02  |c 20080901  |l MUB01  |h 1256 
CAT |a ZITTERBART  |b 02  |c 20090730  |l MUB01  |h 1051 
CAT |a BATCH-UPD  |b 02  |c 20091102  |l MUB01  |h 0447 
CAT |a BATCH-UPD  |b 02  |c 20091103  |l MUB01  |h 0010 
CAT |c 20091203  |l MUB01  |h 0035 
CAT |c 20091203  |l MUB01  |h 1713 
CAT |a BATCH-UPD  |b 00  |c 20091219  |l MUB01  |h 0646 
CAT |c 20100212  |l MUB01  |h 0852 
CAT |a BATCH-UPD  |b 00  |c 20100501  |l MUB01  |h 0959 
CAT |a HANAV  |b 02  |c 20100804  |l MUB01  |h 2148 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0018 
CAT |c 20120610  |l MUB01  |h 1724 
CAT |a HANAV  |b 02  |c 20130121  |l MUB01  |h 2328 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 0325 
CAT |c 20150403  |l MUB01  |h 2247 
CAT |a BATCH  |b 00  |c 20151224  |l MUB01  |h 0923 
CAT |c 20161008  |l MUB01  |h 2233 
CAT |c 20200226  |l MUB01  |h 2257 
CAT |c 20210614  |l MUB01  |h 0858 
CAT |c 20210614  |l MUB01  |h 1849 
CAT |a POSPEL  |b 02  |c 20221010  |l MUB01  |h 1540 
CAT |a DRIMLOVAX  |b 02  |c 20250117  |l MUB01  |h 0948 
CAT |a HANAV  |b 02  |c 20250122  |l MUB01  |h 1119 
CAT |c 20250324  |l MUB01  |h 1603 
CAT |a DOLEZALOVX  |b 02  |c 20250408  |l MUB01  |h 1324 
CAT |a REPISOVA  |b 02  |c 20250414  |l MUB01  |h 1544 
LOW |a POSLANO DO SKCR  |b 2010-02-12 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 R203 - skříň  |5 4200501750  |8 20040328  |f 74  |f Měsíční  |r 00000001 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 R203 - skříň  |5 4200501754  |8 20040328  |f 74  |f Měsíční  |r 00000001 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 R203 - skříň  |5 4200501757  |8 20040328  |f 74  |f Měsíční  |r 00000001 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 R203 - skříň  |5 4200501758  |8 20040328  |f 74  |f Měsíční  |r 00000001 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 R203 - skříň  |5 4200501764  |8 20040328  |f 74  |f Měsíční  |r 00000001 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 R203 - skříň  |5 4200501766  |8 20040328  |f 74  |f Měsíční  |r 00000001 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 R203 - skříň  |5 4200501767  |8 20040328  |f 74  |f Měsíční  |r 00000001 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 R203  |5 4200501751  |8 20040328  |f 74  |f Měsíční  |r 00000001 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 R203  |5 4200501752  |8 20040328  |f 74  |f Měsíční  |r 00000001 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 R203  |5 4200501753  |8 20040328  |f 74  |f Měsíční  |r 00000001 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 R203  |5 4200501755  |8 20040328  |f 74  |f Měsíční  |r 00000001 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 R203  |5 4200501756  |8 20040328  |f 74  |f Měsíční  |r 00000001 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 R203  |5 4200501759  |8 20040328  |f 74  |f Měsíční  |r 00000001 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 R203  |5 4200501760  |8 20040328  |f 74  |f Měsíční  |r 00000001 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 R203  |5 4200501761  |8 20040328  |f 74  |f Měsíční  |r 00000001 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 R203  |5 4200501762  |8 20040328  |f 74  |f Měsíční  |r 00000001 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 R203  |5 4200501763  |8 20040328  |f 74  |f Měsíční  |r 00000001 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 R203  |5 4200501765  |8 20040328  |f 74  |f Měsíční  |r 00000001 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 R203  |5 4200501768  |8 20040328  |f 74  |f Měsíční  |r 00000001 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 R203  |5 4200501769  |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 519.7-ZLAT  |5 3145300117  |4 DPČ: 41-94, matematika  |8 20041229  |f 74  |f Měsíč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-ZLAT  |5 3145300118  |4 DPČ: 42-94, matematika  |8 20041229  |f 74  |f Měsíční  |q 20180528  |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-ZLAT  |5 3145300119  |4 DPČ: 43-94, matematika  |8 20041229  |f 74  |f Měsíč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-ZLAT  |5 3145300120  |4 DPČ: 44/94  |8 20041229  |f 74  |f Měsíční  |q 20180524  |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-ZLAT  |5 3145307973  |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-ZLAT  |5 3145307974  |8 20041229  |f 74  |f Měsíční  |q 20180727  |r 00000001 
AVA |a SCI50  |b PRIF  |c ÚK volný výběr  |d 519.7-ZLAT  |e available  |t K dispozici  |f 6  |g 0  |h N  |i 14  |j PRFST 
AVA |a INF50  |b FI  |c sklad  |d R203  |e check_holdings  |t Neznámá dostupnost  |h N  |j SKLAD 

Podobné jednotky