|
|
Realização de um modelo de computação baseado em agentes / António José Videira Tavares
Monografia
Publication
Braga : A.J.V.T., 1996
Description
V, 107, [6] f. :
il. ;
30 cm
LocationBiblioteca da UMinho no Campus de Azurém, Biblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
An introduction to genetic algorithms / Melanie Mitchell
Monografia
Publication
Cambridge : Bradford Book, cop.1996
Description
VIII, 205 p. :
il. ;
26 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Programação de gráficos em computador / Leendert Ammeraal ; trad. Pedro Viegas
Monografia
Publication
Lisboa : Presença, 1994
Description
249 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Executable modal and temporal logics : IJCAI'93 workshop : proceedings / ed. Michael Fisher, Richard Owens
Monografia
Publication
Berlin : Springer-Verlag, cop. 1995
Description
180 p. :
24 cm ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
The icon book : visual symbols for computer systems and documentation / William Horton
Produtos Computador
Publication
New York : John Wiley & Sons, cop. 1994
Description
XIV, 417 p. :
il. ;
24 cm +
1 disquete 3.5
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Teach yourself JAVA in 21 days : professional reference edition / Laura Lemay, Charles L. Perkins, Michael Morrison
Produtos Computador
Publication
Indianapolis : Sams.net, cop. 1996
Description
XXXVI, 1247 p. :
il. ;
23 cm +
1 CD-ROM
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (2).
|
|
|
Logic programming and soft computing / ed. T. P. Martin, F. Arcelli Fontana
Monografia
Publication
Baldock : Research Studies Press, cop. 1998
Description
XI, 298 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Partial evaluation and automatic program generation / Neil D. Jones, Carsten K. Gomard, Peter Sestoft ; with chapters by Lars Ole Andersen, Torben Mogensen
Monografia
Publication
New York : Prentice Hall, 1993
Description
XII, 415 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Programação funcional / José Félix Gomes da Costa
Monografia
Publication
Lisboa : [s.n.], 1994
Description
52 f. ;
30 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Field-programmable logic and applications : proceedings / 7th International Workshop... ; ed. Wayne Luk, Peter Y. K. Cheung, Manfred Glesner
Monografia
Publication
Berlin : Springer, cop. 1997
Description
XI, 503 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém
Availability
Available (2).
|
|
|
Semântica de programas comportamentais / Maria Isabel Batalha Reis Gama Nunes
Monografia
Publication
Lisboa : Universidade de Lisboa - Faculdade de Ciências, 1998
Description
XI, 166 p. ;
30 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Integer programming and combinatorial optimization : proceedings / 7th International IPCO Conference ; ed. Gérard Cornuéjols, Rainer E. Burkard, Gerhard J. Woeginger
Monografia
Publication
Berlin : Springer, cop. 1999
Description
IX, 452 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
The art of computer programming / Donald E. Knuth
Monografia
Publication
Boston : Addison-Wesley, 1997-2001
Description
3 v. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (4).
Reference (2).
|
|
|
Integer programming : facets, subadditivity, and duality for group and semi-group problems / Ellis L. Johnson
Monografia
Publication
Philadelphia : Society for Industrial and Applied Mathematics, 1980
Description
VII, 68 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
"Explosive" programming controlled by calculation / José Nuno Oliveira
Monografia
Publication
[Braga] : Universidade do Minho, [1998]
Description
[20] p. ;
21 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Programação funcional : do λ-Calculus às máquinas abstractas / Sabina Afonso Ventuzelo ; orient. José Carlos Espírito Santo
Monografia
Publication
[Braga : s.n.], 2007
Description
125 p. ;
29 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Constraint and integer programming : toward a unified methodology / ed. Michela Milano
Monografia
Publication
Boston : Kluwer Academic Publishers, cop. 2004
Description
XXX, 370 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Cayenne : a language with dependent types / Lennart Augustsson
Monografia
Publication
Braga : Departamento de Informática da Universidade do Minho, 1998
Description
[28] p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Semantics in databases / ed. Bernhard Thalheim, Leonid Libkin
Monografia
Publication
Berlin : Springer, cop. 1998
Description
IX, 264 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Third International Summer School on Advanced Functional Programming, : research themes on functional programming / ed. L. S. Barbosa, J. A. Saraiva
Monografia
Publication
[Braga] : Universidade do Minho, [1998]
Description
[90] p. ;
21 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|