Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 6 results. Subscribe to this search

|
Descriptive complexity and finite models / ed. Neil Immerman, Phokion G. Kolaitis Monografia Publication [Washington] : American Mathematical Society, cop. 1997 Description XIV, 248 p. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart
Parallel processing of discrete optimization problems : DIMACS Workshop April 28-29, 1994 / ed. Panos M. Pardalos, Mauricio G. C. Resende, K. G. Ramakrishnan Monografia Publication [Washington] : American Mathematical Society, cop. 1995 Description XIV, 374 p. : il. gráficos ; 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
Parallel algorithms / ed. Sandeep N. Bhatt Monografia Publication Providence : American Mathematical Society, cop. 1997 Description XI, 162 p. : il. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Advances in computational complexity theory / ed. Jin-Yi Cai Monografia Publication [Providence] : American Mathematical Society, cop. 1993 Description XI, 209 p. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Satisfiability problem : theory and applications : DIMACS Workshop March 11-13, 1996 / ed. Dingzhu Du, Jun Gu, Panos M. Pardalos Monografia Publication [Washington] : American Mathematical Society, cop. 1997 Description XV, 724 : il. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart