Biblioteca da Universidade do Minho catalog › Results of search for '510.5'

Your search returned 126 results.

		No cover image available EXEL : linguagem algorítmica de alto nível / Paulo Enes da Silveira Monografia Publication Ponta Delgada : Universidade dos Açores, 1983 Description 34, [11] f. : il. ; 30 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Lambda-calculus, combinators, and functional programming / G. E. Revesz Monografia Publication Cambridge : Cambridge University Press, cop. 1989 Description X, 181 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Diagonalization and self-reference / Raymond M. Smullyan Monografia Publication Oxford : Clarendon Press, imp. 1996 Description XV, 396 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Randomized algorithms / Rajeev Motwani, Prabhakar Raghavan Monografia Publication Cambridge : Cambridge University Press, imp. 1997 Description XIV, 476 p. : il. ; 27 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Extrapolation methods : theory and practice / Claude Brezinski, Michela Redivo Zaglia Produtos Computador Publication Amsterdam : North-Holland, 1991 Description IX, 464 p. ; 25 cm + 1 disquete 3ơ LocationBiblioteca Geral da Universidade do Minho Availability Available (1). Reference (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Quantifier elimination and cylindrical algebraic decomposition / ed. B. F. Caviness, J. R. Johnson Monografia Publication Wien : Springer, cop. 1998 Description XIX, 431 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		An introduction to Kolmogorov complexity and its applications / Ming Li, Paul Vitányi Monografia Publication New York : Springer-Verlag, cop. 1993 Description XX, 546 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Computability in analysis and physics / Marian B. Pour-El, J. Ian Richards Monografia Publication Berlin : Springer-Verlag, cop. 1989 Description X, 206 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		The resolution calculus / Alexander Leitsch Monografia Publication Berlin : Springer, 1997 Description VIII, 300 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Handbook of computability theory / ed. Edward R. Griffor Monografia Publication Amsterdam : Elsevier, 1999 Description XII, 727 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Languages and machines : an introduction to the theory of computer science / Thomas A. Sudkamp Monografia Publication Reading : Addison-Wesley, cop. 1997 Description XV, 569 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Proof complexity and feasible arithmetics / ed. Paul W. Beame, Samuel R. Buss Monografia Publication [Washington] : American Mathematical Society, cop. 1998 Description XII, 320 p. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Turing's world 3.0=3.0 for the Macintosth : an introduction to computability theory / Jon Barwise, John Etchemendy Produtos Computador Publication Stanford : SCLI Publications, cop. 1993 Description X, 123 p. ; 23 cm + 1 disquete 3.5 LocationBiblioteca Geral da Universidade do Minho Availability Available (1). Reference (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Finite automata / Mark V. Lawson Monografia Publication Boca Raton : Chapman & Hall/CRC, cop. 2004 Description XII, 307 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Randomized algorithms / Rajeev Motwani, Prabhakar Raghavan Monografia Publication New York : Cambridge University Press, 1995 Description XIV, 476 p. : il. ; 27 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Complexity : metaphors, models, and reality / ed. George A. Cowan, David Pines, David Meltzer Monografia Publication Reading : Addison-Wesley Publishing Company, imp. 1997 Description XVII, 731 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Structural complexity I / José Luis Balcázar, Josep Díaz, Joaquim Gabarró Monografia Publication Berlin : Springer, cop. 1995 Description XIII, 208 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). Reference (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Trees in algebra and programming - CAAP'96 ; proceedings / 21st International Colloquium... ; ed. Hélène Kirchner Monografia Publication Berlin : Springer, cop. 1996 Description VIII, 329 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		On formally undecidable propositions of principia mathematica and related systems / Kurt Godel ; trad. B. Meltzer ; introd. R. B. Braithwaite Monografia Publication New York : Dover Publications, 1992 Description VIII, 72, [13] p. ; 20 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		Selected papers on analysis of algorithms / Donald E. Knuth Monografia Publication Stanford : Center for the Study of Language and Information, 2000 Description XVI, 621 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)