J 2009

Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2008) - selected papers

ČEŠKA, Milan, Zdeněk KOTÁSEK, Mojmír KŘETÍNSKÝ, Luděk MATYSKA, Tomáš VOJNAR et. al.

Základní údaje

Originální název

Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2008) - selected papers

Název česky

Sborník 4. doktorského workshopu o matematických a inženýrských metodách v počítačových vědách (MEMICS 2008) - vybrané příspěvky

Autoři

ČEŠKA, Milan, Zdeněk KOTÁSEK, Mojmír KŘETÍNSKÝ, Luděk MATYSKA a Tomáš VOJNAR

Vydání

Electronic Notes in Theoretical Computer Science, Amsterdam, The Netherlands, Elsevier B.V. 2009, 1571-0661

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

20206 Computer hardware and architecture

Stát vydavatele

Česká republika

Utajení

není předmětem státního či obchodního tajemství

Odkazy

Organizační jednotka

Fakulta informatiky

Klíčová slova česky

informatika

Klíčová slova anglicky

computer science

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 24. 1. 2011 13:48, prof. RNDr. Mojmír Křetínský, CSc.

Anotace

ORIG CZ

V originále

Proceedings of the Workshop on Mathematical and Engineering Methods in Computer Science - selected papers.

Česky

Doktorský workshop o matematických a inženýrských metodách v počítačových vědách - vybrané příspěvky.

Návaznosti

GD102/05/H050, projekt VaV
Název: Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů
Investor: Grantová agentura ČR, Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů
MSM0021622419, záměr
Název: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy
MUNI/A/0914/2009, interní kód MU
Název: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace (Akronym: SV-FI MAV)
Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty