Actions speak louder than words : proving bisimilarity for context­free processes : IA006 /

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Hüttel, Hans (Autor), Stirling, Colin P. (Autor)
Typ dokumentu: Kniha
Jazyk:Čeština
Vydáno: [Brno] : [Masarykova univerzita. Středisko pro pomoc studentům se specifickými nároky], [2019]
Témata:
Kódování:Braille Universal Format
On-line přístup:Bližší informace o dostupnosti elektronického zdroje:
Obálka
LEADER 02380cam a22005417i 4500
001 MUB01006437691
003 CZ BrMU
005 20201205095128.0
008 190220s2019 xr |||||o|||||||||||cze d
STA |a POSLANO DO SKCR  |b 2019-06-17 
040 |a BOD033  |b cze  |d BOD114  |e rda 
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 than words :  |b proving bisimilarity for context­free processes : IA006 /  |c Hans Hüttel, Coling Stirling 
264 1 |a [Brno] :  |b [Masarykova univerzita. Středisko pro pomoc studentům se specifickými nároky],  |c [2019] 
300 |a 1 online zdroj 
336 |a text  |b txt  |2 rdacontent 
337 |a počítač  |b c  |2 rdamedia 
338 |a online zdroj  |b cr  |2 rdacarrier 
347 |b Braille Universal Format 
500 |a Název z titulní obrazovky (verze z 19.2.2019) 
506 |a Přístup pouze pro oprávněné uživatele 
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 
856 4 2 |z Bližší informace o dostupnosti elektronického zdroje:  |u https://www.teiresias.muni.cz/katalog/BUF 
CAT |a STODOLA  |b 02  |c 20190220  |l MUB01  |h 1111 
CAT |a STODOLA  |b 02  |c 20190220  |l MUB01  |h 1113 
CAT |a STODOLA  |b 02  |c 20190220  |l MUB01  |h 1248 
CAT |a HANAV  |b 02  |c 20190310  |l MUB01  |h 0106 
CAT |a HANAV  |b 02  |c 20190529  |l MUB01  |h 1619 
CAT |c 20190617  |l MUB01  |h 1027 
CAT |a KOMARKOVA  |b 02  |c 20200122  |l MUB01  |h 1445 
CAT |a HANAV  |b 02  |c 20200122  |l MUB01  |h 2348 
CAT |a HANAV  |b 02  |c 20200204  |l MUB01  |h 0124 
CAT |a PTICHAX  |b 02  |c 20201205  |l MUB01  |h 0951 
CAT |a PTICHAX  |b 02  |c 20201205  |l MUB01  |h 0952 
CAT |c 20210614  |l MUB01  |h 1032 
CAT |c 20210614  |l MUB01  |h 2018 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1309 
LOW |a POSLANO DO SKCR  |b 2019-06-17 
994 - 1 |l MUB01  |l MUB01  |m EBOOK  |1 SPN  |a Středisko Teiresiás  |2 DK  |b Digitální knihovna  |5 4340106991  |8 20190220  |a 2014  |f 83  |f Dálkově přístupná  |r 20190207 
AVA |a MUB50  |b SPN  |c Digitální knihovna  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0  |j DK