Types for proofs and programs : International Workshop TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers /

Uloženo v:
Podrobná bibliografie
Korporativní autor: TYPES ’99 Lökeberg, Švédsko) (Autor)
Další autoři: Coquand, Thierry (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2000
Edice:Lecture notes in computer science ; 1956
Témata:
druhy písma
sémantika
typografie
písmena
typografické písmo
typography
semantics
letters
typefaces
types of scripts
monografie
sborníky konferencí
monographs
proceedings of conferences
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 03142cam a22008417a 4500
001 MUB01000157676
003 CZ BrMU
005 20250704123355.0
008 010111s2000 gw ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2009-06-22 
020 |a 3-540-41517-3 
040 |a BOD018  |b cze  |d BOD114 
072 7 |a 003  |x Systémy psaní a písma. Sémiotika (obecně)  |2 Konspekt  |9 11 
080 |a 003.081  |2 MRF 
080 |a 655.244  |2 MRF 
080 |a 003.01/.08  |2 MRF 
080 |a 003  |2 MRF 
080 |a (062.534)  |2 MRF 
080 |a 81'37  |2 MRF 
080 |a 655.2  |2 MRF 
111 2 |a TYPES ’99  |d (1999 :  |c Lökeberg, Švédsko)  |4 aut 
245 1 0 |a Types for proofs and programs :  |b International Workshop TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers /  |c edited by Thierry Coquand 
260 |a Berlin :  |b Springer,  |c c2000 
300 |a 193 s. 
490 1 |a Lecture notes in computer science ;  |v 1956 
650 0 7 |a druhy písma  |7 ph576383  |2 czenas 
650 0 7 |a sémantika  |7 ph117272  |2 czenas 
650 0 7 |a typografie  |7 ph116511  |2 czenas 
650 0 7 |a písmena  |7 ph276422  |2 czenas 
650 0 7 |a typografické písmo  |7 ph116510  |2 czenas 
650 0 9 |a typography  |2 eczenas 
650 0 9 |a semantics  |2 eczenas 
650 0 9 |a letters  |2 eczenas 
650 0 9 |a typefaces  |2 eczenas 
650 0 9 |a types of scripts  |2 eczenas 
655 7 |a monografie  |7 fd132842  |2 czenas 
655 7 |a sborníky konferencí  |7 fd133333  |2 czenas 
655 9 |a monographs  |2 eczenas 
655 9 |a proceedings of conferences  |2 eczenas 
700 1 |a Coquand, Thierry  |4 edt 
830 0 |a Lecture notes in computer science ;  |v 1956 
CAT |a CONF-FI  |b 02  |c 20040327  |l MUB01  |h 1748 
CAT |a CONV-M04  |b 02  |c 20040919  |l MUB01  |h 1743 
CAT |c 20050122  |l MUB01  |h 1223 
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 0635 
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 |a HANAV  |b 02  |c 20090621  |l MUB01  |h 2157 
CAT |a HANAV  |b 02  |c 20090621  |l MUB01  |h 2158 
CAT |c 20090622  |l MUB01  |h 0750 
CAT |c 20091202  |l MUB01  |h 2156 
CAT |c 20091203  |l MUB01  |h 1433 
CAT |c 20101015  |l MUB01  |h 2115 
CAT |c 20101016  |l MUB01  |h 0131 
CAT |a BATCH  |b 00  |c 20130301  |l MUB01  |h 1713 
CAT |c 20150403  |l MUB01  |h 1952 
CAT |a BATCH  |b 00  |c 20151224  |l MUB01  |h 0503 
CAT |c 20160401  |l MUB01  |h 1230 
CAT |a VARTECKAX  |b 02  |c 20160413  |l MUB01  |h 1148 
CAT |a VARTECKAX  |b 02  |c 20160527  |l MUB01  |h 0910 
CAT |a VARTECKAX  |b 02  |c 20160620  |l MUB01  |h 0617 
CAT |a VARTECKAX  |b 02  |c 20160812  |l MUB01  |h 0722 
CAT |a VESELAX  |b 02  |c 20250704  |l MUB01  |h 1232 
CAT |a VESELAX  |b 02  |c 20250704  |l MUB01  |h 1233 
CAT |a VESELAX  |b 02  |c 20250704  |l MUB01  |h 1233 
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 K276.99  |5 4200506423  |8 20040328  |f 74  |f Měsíční  |r 00000001 
AVA |a INF50  |b FI  |c sklad  |d K276.99  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0  |j SKLAD 

Podobné jednotky