Deciding regular properties in simple process algebras

Uloženo v:
Podrobná bibliografie
Hlavní autor: Kučera, Antonín, 1971- (Autor práce)
Typ dokumentu: VŠ práce nebo rukopis
Jazyk:Angličtina
Vydáno: Brno, 1999
Témata:
Obálka
LEADER 01691ntm a22004217a 4500
001 MUB01000651322
003 CZ BrMU
005 20190529100707.0
008 100819s1999 xr ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2019-09-10 
040 |a BOD018  |b cze 
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 
100 1 |a Kučera, Antonín,  |d 1971-  |7 mub2012683133  |% UČO 2508  |4 dis 
245 1 0 |a Deciding regular properties in simple process algebras  |h [rukopis] /  |c Antonín Kučera 
260 |a Brno,  |c 1999 
300 |a x, 136 s. 
502 |a Habilitační práce--Masarykova univerzita v Brně, Fakulta informatiky. 
650 0 7 |a výpočetní technika  |7 ph137273  |2 czenas 
650 0 9 |a computer science  |2 eczenas 
655 7 |a habilitační práce  |7 fd185153  |2 czenas 
655 9 |a habilitation thesis  |2 eczenas 
CAT |a KOZOVA  |b 02  |c 20100819  |l MUB01  |h 1045 
CAT |a POSPEL  |b 02  |c 20120207  |l MUB01  |h 1232 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0141 
CAT |a BATCH  |b 00  |c 20130304  |l MUB01  |h 1123 
CAT |a POSPEL  |b 02  |c 20130822  |l MUB01  |h 1144 
CAT |a BATCH  |b 00  |c 20151226  |l MUB01  |h 0122 
CAT |a HANAV  |b 02  |c 20180503  |l MUB01  |h 1853 
CAT |a VESELA  |b 02  |c 20190529  |l MUB01  |h 1007 
CAT |c 20190910  |l MUB01  |h 1233 
CAT |c 20210614  |l MUB01  |h 0948 
CAT |c 20210614  |l MUB01  |h 1937 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1159 
LOW |a POSLANO DO SKCR  |b 2019-09-10 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 Habil. práce  |5 42005D2590  |8 20100819  |f 72  |f Týdenní  |r 20100819 
AVA |a INF50  |b FI  |d Habil. práce  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0