B 1998

Mathematical Foundations of Computer Science 1998

BRIM, Luboš, Jozef GRUSKA a Jiří ZLATUŠKA

Základní údaje

Originální název

Mathematical Foundations of Computer Science 1998

Autoři

Vydání

Heidelberg, 846 s. Lecture Notes in Computer Science, Vol. 1450, 1998

Nakladatel

Springer Verlag

Další údaje

Jazyk

angličtina

Typ výsledku

Odborná kniha

Obor

10101 Pure mathematics

Stát vydavatele

Německo

Utajení

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

Kód RIV

RIV/00216224:14330/98:00000777

Organizační jednotka

Fakulta informatiky

ISBN

3-540-64827-5
Změněno: 17. 3. 2000 07:43, prof. RNDr. Luboš Brim, CSc.

Návaznosti

GA201/97/0456, projekt VaV
Název: Meze algoritmické verifikovatelnosti nekonečně stavových systémů
Investor: Grantová agentura ČR, Meze algoritmické verifikovatelnosti nekonečně stavových systémů
MSM 143300001, záměr
Ná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ů