Computer Science Logic : 21st International Workshop, CSL 2007 : 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings /

Uloženo v:
Podrobná bibliografie
Korporace: Workshop on Computer Science Logic Lausanne, Švýcarsko) (Autor), European Association for Computer Science Logic. Conference
Další autoři: Duparc, Jacques, 1962- (Editor), Henzinger, T. A., 1962- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2007.
Edice:Lecture notes in computer science ; 4646
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 sklad K60.07 4200513463