Logical foundations of computer science : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings /

Uloženo v:
Podrobná bibliografie
Korporativní autor: LFCS 2007 (New York, New York) (Autor)
Další autoři: Artemov, S. N. (Editor), Nerode, Anil, 1932- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2007
Edice:Lecture notes in computer science ; 4514
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.07 4200513209