Logical foundations of computer science : International symposium, LFCS 2009 : Deerfield Beach, FL, USA, January 3-6, 2009 : proceedings /

Uloženo v:
Podrobná bibliografie
Korporativní autor: LFCS 2009 Deerfield Beach, Florida) (Autor)
Další autoři: Artemov, S. N. (Editor), Nerode, Anil, 1932- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2009.
Edice:Lecture notes in computer science ; 5407
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 K1141.09 4200514986