UB FFM: Suchergebnisse - Lectures on Proof Verification and Approximation Algorithms

zum Haupt-Inhalt

zur Seitenleiste (falls vorhanden)

zum Footer mit externen Links

1

Lectures on Proof Verification and Approximation Algorithms

Mayr, Ernst W. (Verfasser)

Berlin, Heidelberg : Springer-Verlag, 1998

E-Book

2

Theory and Applications of Models of Computation : Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings

Cai, Jin-Yi (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

3

Probabilistic models for nonlinear partial differential equations : held in Montecatini Terme, Italy, May 22 - 30, 1995

Graham, Carl

Berlin : Springer, 1996

Buch