Biblioteca do ISEL

Normal view MARC view ISBD view

Lectures on proof verification and approximation algorithms / Ernest W. Mayr, Hans Jürgen Prömel, Angelika Steger

Main Author: MAYR, Ernst W.Publication: Berlin : Springer, 1998Description: XII, 344 p. ; 24 cmISBN: 3-540-64201-3.Series: Lecture Notes in computer Science, 1367Subject - Topical Name: Algoritmos | Inteligência artificial | Optimização
    average rating: 0.0 (0 votes)
Item type Current location Call number Status Date due Barcode Item holds
Livro Biblioteca do ISEL MAY. 519.254 (Browse shelf) Available 1009816
Total holds: 0

There are no comments for this item.

Log in to your account to post a comment.

Informática-ISEL