Export byl úspěšný — 

Conditional and typed rewriting systems : 2nd International CTRS Workshop Montreal, Canada, June 1990 : proceedings /

Uloženo v:
Podrobná bibliografie
Korporativní autor: International CTRS Workshop Montréal, Québec) (Autor)
Další autoři: Kaplan, Samuel, 1916-2010 (Editor), Okada, M. 1954- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer-Verlag, 1991
Edice:Lecture notes in computer science ; 516
Témata:
LEADER 02761cam a22006737a 4500
001 MUB01000346909
003 CZ BrMU
005 20161026070038.0
008 940419s1991 gw ||||| |||||||||||eng|d
STA |a POSLANO DO SKCR  |b 2010-01-21 
020 |a 3-540-54317-1 
040 |a BOD004  |b cze  |d BOD004 
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 
080 |a (062.534)  |2 MRF 
111 2 |a International CTRS Workshop  |n (2. :  |d 1990 :  |c Montréal, Québec)  |4 aut 
245 1 0 |a Conditional and typed rewriting systems :  |b 2nd International CTRS Workshop Montreal, Canada, June 1990 : proceedings /  |c ed. S. Kaplan, M. Okada 
260 |a Berlin :  |b Springer-Verlag,  |c 1991 
300 |a x, 461 s. 
490 1 |a Lecture notes in computer science ;  |v 516 
650 0 7 |a počítačová věda  |7 ph124511  |2 czenas 
650 0 9 |a computer science  |2 eczenas 
655 7 |a sborníky konferencí  |7 fd133333  |2 czenas 
655 9 |a proceedings of conferences  |2 eczenas 
700 1 |a Kaplan, Samuel,  |d 1916-2010  |7 skuk0003336  |4 edt 
700 1 |a Okada, M.  |q (Mitsuhiro),  |d 1954-  |7 xx0010833  |4 edt 
830 0 |a Lecture notes in computer science ;  |v 516 
CAT |a CONV-PRIF  |b 02  |c 20041229  |l MUB01  |h 1334 
CAT |c 20050122  |l MUB01  |h 1254 
CAT |a CONV-653  |b 02  |c 20050213  |l MUB01  |h 2150 
CAT |c 20070427  |l MUB01  |h 2140 
CAT |a BATCH-UPD  |b 02  |c 20080319  |l MUB01  |h 0712 
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 |c 20081212  |l MUB01  |h 0947 
CAT |c 20081212  |l MUB01  |h 1057 
CAT |c 20091203  |l MUB01  |h 0026 
CAT |c 20091203  |l MUB01  |h 1701 
CAT |c 20100121  |l MUB01  |h 1044 
CAT |c 20101015  |l MUB01  |h 2223 
CAT |c 20101016  |l MUB01  |h 0230 
CAT |a JANA  |b 02  |c 20110512  |l MUB01  |h 1734 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0012 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 0252 
CAT |c 20150403  |l MUB01  |h 2234 
CAT |a BATCH  |b 00  |c 20151224  |l MUB01  |h 0906 
CAT |c 20160401  |l MUB01  |h 1231 
CAT |a VASICEKX  |b 02  |c 20160614  |l MUB01  |h 0924 
CAT |a VARTECKAX  |b 02  |c 20161026  |l MUB01  |h 0700 
CAT |c 20210614  |l MUB01  |h 0856 
CAT |c 20210614  |l MUB01  |h 1847 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1042 
CAT |a BATCH-UPD  |b 00  |c 20250410  |l MUB01  |h 2351 
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-INTE  |6 610/93  |5 3145000306  |4 DPČ: 074/93 -- sig. 503.72  |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-INTE  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 1  |j PRFST