Relational methods in computer science : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274, TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers /

Uloženo v:
Podrobná bibliografie
Korporace: International Seminar on Relational Methods in Computer Science Saint Catharines, Ontario) (Autor), European Cooperation in the Field of Scientific and Technical Research (organizace). COST Action 274 TARSKI (projekt), International Workshop on Applications of Kleene Algebra (Autor)
Další autoři: MacCaull, Wendy (Editor), Winter, Michael (Editor), Düntsch, Ivo (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2006.
Edice:Lecture notes in computer science, 3929
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 K585.05 4200512307