Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Lectures on Proof Verification and Approximation AlgorithmsErnst W. Mayr Ernst W Mayr; H. J Prömel; Angelika Steger; G Goos; J Hartmanis; Hans Jürgen PrömelSpringer Berlin Heidelberg 1998Acesso online. A biblioteca também possui exemplares impressos. |