Biblioteca da Universidade do Minho catalog › Results of search for 'Computer science texts'

Your search returned 55 results.

		Computability and complexity theory / Steven Homer, Alan L. Selman Monografia Publication New York : Springer, cop. 2001 Description XIII, 194 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Elements of functional languages / Martin C. Henson Monografia Publication Oxford : Blackwell Scientific, 1987 Description XIII, 434 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Introduction to constraint databases / Peter Revesz Monografia Publication New York : Springer, cop. 2002 Description XIV, 393 p. : il. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Information representation and manipulation in a computer / E. S. Page, L. B. Wilson Monografia Publication Cambridge : Cambridge University Press, imp. 1976 Description V, 243, [1] p. : il. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Computers and social change / Murray Laver Monografia Publication Cambridge : Cambridge University Press, imp. 1982 Description VII, 125 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Categories and computer science / R. F. C. Walters Monografia Publication Cambridge : Cambridge University Press, cop. 1991 Description X, 166 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Programming challenges : the programming contest training manual / Steven S. Skiena, Miguel A. Revilla Monografia Publication New York : Springer, cop. 2003 Description XIX, 359 p. : il. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém, Biblioteca Geral da Universidade do Minho Availability Available (23). 1 2 3 4 5 Place hold Add to cart (remove)
		Theory of computation / Dexter C. Kozen Monografia Publication London : Springer, cop. 2006 Description XIII, 418 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability No copies available Checked out (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Fundamentals of computer organization and design / Sivarama P. Dandamudi Monografia Publication New York : Springer-Verlag, cop. 2003 Description XXVIII, 1060 p. : il. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Reference (1). 1 2 3 4 5 Add to cart (remove)
		Man-computer interfaces / R. B. Coats, I. Vlaeminke Monografia Publication Oxford : Blackwell Scientific, 1987 Description XIII, 381 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Computer simulation of continuous systems / R. J. Ord-Smith, J. Stephenson Monografia Publication Cambridge : Cambridge University Press, cop. 1975 Description VI, 327 p. : il. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). Lost (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Software engineering : principles and methods / B. Ratcliff Monografia Publication Oxford : Blackwell, cop. 1987 Description XVI, 366 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Modal and temporal properties of processes / Colin Stirling Monografia Publication New York : Springer, cop. 2001 Description XII, 190 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 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)
		Communication complexity and parallel computing / Juraj Hromkovic Monografia Publication Berlin : Springer, 1997 Description X, 336 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Communication complexity and parallel computing / Juraj Hromkovic Monografia Publication Berlin : Springer, cop. 1997 Description X, 336 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		The parametric lambda calculus : a meta-model for computation / Simona Ronchi Della Rocca, Luca Paolini Monografia Publication Berlin : Springer-Verlag, cop. 2004 Description XIII, 252, [1] p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Essentials of logic programming / Christopher John Hogger Monografia Publication Oxford : Clarendon Press, 1990 Description XI, 299 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (4). Reference (1). Lost (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Lambda calculi : a guide for computer scientists / Chris Hankin Monografia Publication Oxford : Clarendon Press, 1994 Description XIII, 162 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		On concurrent programming / Fred B. Schneider Monografia Publication New York : Springer, cop. 1997 Description XIX, 473 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)