Lectures on proof verification and approximation algorithms /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Mayr, Ernst W., 1950- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c1998.
Edice:Lecture notes in computer science ; 1367
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 R318 4200504753