Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 3 results. Subscribe to this search

|
Nonlinear optimization : complexity issues / Stephen A. Vavasis Monografia Publication New York : Oxford University Press, 1991 Description X, 165 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Reference (1).

Add to cart
Programming in Martin-Lof's type theory : an introduction / Bengt Nordstrom, Kent Petersson, Jan M. Smith Monografia Publication Oxford : Clarendon Press, 1990 Description X, 221 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart
Computation and reasoning : a type theory for computer science / Zhaohui Luo Monografia Publication Oxford : Clarendon Press, 1994 Description XI, 228 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart