s 2010

Reachability Problems

KUČERA, Antonín a Igor POTAPOV

Základní údaje

Originální název

Reachability Problems

Název česky

Reachability Problems

Autoři

KUČERA, Antonín (203 Česká republika, garant, domácí) a Igor POTAPOV (826 Velká Británie a Severní Irsko)

Vydání

Berlin Heidelberg New York, 197 s. 2010

Nakladatel

Springer

Další údaje

Jazyk

angličtina

Typ výsledku

Editorství tematického sborníku, editorství monotematického čísla odborného časopisu

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Německo

Utajení

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

Kód RIV

RIV/00216224:14330/10:00044595

Organizační jednotka

Fakulta informatiky

ISBN

3-642-15348-8

Klíčová slova česky

informatika

Klíčová slova anglicky

computer science

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 1. 5. 2011 20:36, prof. RNDr. Antonín Kučera, Ph.D.

Anotace

ORIG CZ

V originále

Proceedings of 4th International Workshop on Reachability Problems (RP 2010).

Česky

Proceedings of 4th International Workshop on Reachability Problems (RP 2010).

Návaznosti

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
1M0545, projekt VaV
Název: Institut Teoretické Informatiky
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Institut Teoretické Informatiky