Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 2 results. Subscribe to this search

|
Constraint programming and large scale discrete optimization / DIMACS Workshop... ; ed. Eugene C. Freuder, Richard J. Wallace Monografia Publication Providence : American Mathematical Society, cop. 2001 Description VII, 175 p. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Partial order methods in verification / DIMACS Workshop ; ed. Doron A. Peled, Vaughan R. Pratt, Gerard J. Holzmann Monografia Publication [Procidence] : American Mathematical Society, cop. 1997 Description XIV, 403 p. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart