Actions speak louder then words proving bisimilarity for context - free processes /

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Hüttel, Hans (Autor), Stirling, Colin P. (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Brno : Masarykova univerzita. Středisko pro pomoc studentům se specifickými nároky, 2011
Témata:
Obálka
LEADER 02134nam a22005057a 4500
001 MUB01000700845
003 CZ BrMU
005 20250731160425.0
008 111213s2011 xr |||||f|||||||||||eng d
STA |a POSLANO DO SKCR  |b 2020-04-01 
040 |a BOD033  |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.713  |2 MRF 
080 |a (075.8)  |2 MRF 
080 |a 519  |2 MRF 
100 1 |a Hüttel, Hans  |7 vut2011651856  |4 aut 
245 1 0 |a Actions speak louder then words  |h [hmatové písmo] :  |b proving bisimilarity for context - free processes /  |c Hans Hüttel, Colin Stirling 
260 |a Brno :  |b Masarykova univerzita. Středisko pro pomoc studentům se specifickými nároky,  |c 2011 
300 |a 107 s. v Braillově písmu 
500 |a Učební materiál k předmětu IA006 Automaty 
650 0 7 |a teorie automatů  |7 ph126547  |2 czenas 
650 0 9 |a automata theory  |2 eczenas 
655 7 |a vysokoškolská skripta  |7 fd190824  |2 czenas 
700 1 |a Stirling, Colin P.  |7 xx0219176  |4 aut 
CAT |a STODOLA  |b 02  |c 20111213  |l MUB01  |h 1450 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0154 
CAT |c 20120610  |l MUB01  |h 2036 
CAT |a BATCH  |b 00  |c 20130304  |l MUB01  |h 1339 
CAT |c 20140127  |l MUB01  |h 1916 
CAT |a VACOVAX  |b 02  |c 20140623  |l MUB01  |h 1547 
CAT |a VACOVAX  |b 02  |c 20150803  |l MUB01  |h 1533 
CAT |a BATCH  |b 00  |c 20151226  |l MUB01  |h 0223 
CAT |c 20161008  |l MUB01  |h 2239 
CAT |a STODOLA  |b 02  |c 20190220  |l MUB01  |h 1113 
CAT |a HANAV  |b 02  |c 20190529  |l MUB01  |h 1619 
CAT |c 20200401  |l MUB01  |h 1253 
CAT |a PTICHAX  |b 02  |c 20201205  |l MUB01  |h 0952 
CAT |c 20210614  |l MUB01  |h 0957 
CAT |c 20210614  |l MUB01  |h 1945 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1210 
CAT |a HANAV  |b 02  |c 20250731  |l MUB01  |h 1604 
LOW |a POSLANO DO SKCR  |b 2020-04-01 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 SPN  |a Středisko Teiresiás  |2 KNIH  |b Knihovna  |3 2-HUT-1  |5 4340104950  |8 20111213  |f 76  |f Semestrální  |r 20111213 
AVA |a MUB50  |b SPN  |c Knihovna  |d 2-HUT-1  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 2  |j KNIH