BRIM, Luboš, Jozef GRUSKA a Jiří ZLATUŠKA. Mathematical Foundations of Computer Science 1998. Online. Heidelberg: Springer Verlag, 1998. 846 s. Lecture Notes in Computer Science, Vol. 1450. ISBN 3-540-64827-5. [citováno 2024-04-23]
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 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ě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, Meze algoritmické verifikovatelnosti nekonečně stavový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 19:09