BRIM, Luboš, Jozef GRUSKA a Jiří ZLATUŠKA. Mathematical Foundations of Computer Science 1998. Heidelberg: Springer Verlag, 1998. 846 s. Lecture Notes in Computer Science, Vol. 1450. ISBN 3-540-64827-5.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Mathematical Foundations of Computer Science 1998
Autoři BRIM, Luboš, Jozef GRUSKA a Jiří ZLATUŠKA.
Vydání Heidelberg, 846 s. Lecture Notes in Computer Science, Vol. 1450, 1998.
Nakladatel Springer Verlag
Další údaje
Originální jazyk angličtina
Typ výsledku Odborná kniha
Obor 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ěnil Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 17. 3. 2000 07:43.
Návaznosti
GA201/97/0456, projekt VaVNázev: Meze algoritmické verifikovatelnosti nekonečně stavových systémů
Investor: Grantová agentura ČR, Standardní projekty
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, Výzkumné záměry
VytisknoutZobrazeno: 20. 5. 2019 16:46