Logic for applications /

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Nerode, Anil, 1932- (Autor), Shore, Richard A., 1946- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: New York : Springer-Verlag, c1997.
Vydání:2nd ed.
Edice:Graduate texts in computer science
Témata:
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.
Popis Stav Knihovna Sbírka Signatura Poznámky Čárový kód
Dostupné
Měsíční
Fakulta informatiky L72a 4200509394
Dostupné
Měsíční
Fakulta informatiky L72a 4200509395
Dostupné
Prezenční Plus
Fakulta informatiky L72a 4200512137
Měsíční
do 2023-09-20
Fakulta informatiky L72a 4200512934
Dlouhodobá
do 2022-06-30
Fakulta informatiky L72a 4200514556
Měsíční
do 2023-09-20
Fakulta informatiky L72a 4200514666
Dostupné
Měsíční
Fakulta informatiky L72a 4200514607
Dostupné
Měsíční
Fakulta informatiky L72a 4200514897
Dostupné
Měsíční
Fakulta informatiky L72a 4200514898
Dostupné
Měsíční
Fakulta informatiky L72a 4200514899