BRIM, Luboš, Petr JANČAR, Mojmír KŘETÍNSKÝ a Antonín KUČERA. CONCUR 2002 - Concurrency Theory. 13th International Conference. Proceedings.. Online. Berlin, Heidelberg, New York: Springer, 2002. 609 s. Lecture Notes in Computer Science, vol. 2421. ISBN 3-540-44043-7. [citováno 2024-04-23]
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název CONCUR 2002 - Concurrency Theory. 13th International Conference. Proceedings.
Autoři BRIM, Luboš (203 Česká republika), Petr JANČAR (203 Česká republika), Mojmír KŘETÍNSKÝ (203 Česká republika, garant) a Antonín KUČERA (203 Česká republika)
Vydání Berlin, Heidelberg, New York, 609 s. Lecture Notes in Computer Science, vol. 2421, 2002.
Nakladatel Springer
Další údaje
Originální jazyk angličtina
Typ výsledku Odborná kniha
Obor 20206 Computer hardware and architecture
Stát vydavatele Německo
Utajení není předmětem státního či obchodního tajemství
Kód RIV RIV/00216224:14330/02:00006388
Organizační jednotka Fakulta informatiky
ISBN 3-540-44043-7
Klíčová slova anglicky concurrency
Štítky concurrency
Příznaky Mezinárodní význam
Změnil Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 22. 11. 2006 17:26.
Anotace
Proceedings of 13th International Conference on Concurrency Theory (CONCUR 2002) held in Brno, Czech Republic, August 20-23 2002.
Návaznosti
GA201/00/0400, projekt VaVNázev: Nekonečně stavové souběžné systémy - modely a verifikace
Investor: Grantová agentura ČR, Nekonečně stavové souběžné systémy - modely a verifikace
GA201/00/1023, projekt VaVNázev: Algoritmy a nástroje pro praktickou verifikaci souběžných systémů
Investor: Grantová agentura ČR, Algoritmy a nástroje pro praktickou verifikaci souběžných systémů
MSM 143300001, záměrNázev: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů
VytisknoutZobrazeno: 23. 4. 2024 17:59