|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|