Katalog Moravskoslezské vědecké knihovny v Ostravě

Úplné zobrazení záznamu

Toto je statický export z katalogu ze dne 22.08.2020. Zobrazit aktuální podobu v katalogu.

Formát Kniha Hlavní záhlaví Velebil, Jiří, 1964- Název Semantics of infinite behaviour = Sémantika nekonečného chování / Jiří Velebil Nakl. údaje V Praze : České vysoké učení technické, 2007 Popis (rozsah) 18 s. ; 21 cm EXEMPLÁŘE Všechny jednotky ISBN 978-80-01-03732-4 (brož.) Edice Habilitační přednášky ; [vol.] 18 (2007) Další korporace České vysoké učení technické v Praze. Elektrotechnická fakulta Poznámka Anglické a české resumé Vydavatel: České vysoké učení technické v Praze, Fakulta elektrotechnická Habilitační práce--České vysoké učení technické v Praze Bibliografie na s. 14-15 Číslo nár. bibl. cnb001721439 Předmět. heslo Rekuruze - přednášky habilitační Sémantika algebraická - přednášky habilitační Heslo MSVK algebraická jazykověda algebraická sémantika numerická matematika rekurze sémantika Forma, žánr * habilitační přednášky Skupina Konspektu 512 - Algebra MDT 004.4 512 517.5 81’37 Systém. číslo 000293340

© 2005-2020 Ex Libris, Moravskoslezská vědecká knihovna v Ostravě