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 - skříň 4200509394
Dostupné
Měsíční
Fakulta informatiky L72a 4200509395
Dostupné
Prezenční Plus
Fakulta informatiky L72a 4200512137
Dostupné
Měsíční
Fakulta informatiky L72a - skříň 4200512934
Dlouhodobá
do 2027-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