|
|
Mathematics of program construction : proceedings / International Conference... ; ed. Roland Backhouse, José Nuno Oliveira
Monografia
Publication
Berlin : Springer, 2000
Description
VII, 255 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Algorithms : a functional programming approach / Fethi Rabhi, Guy Lapalme
Monografia
Publication
Harlow : Addison-Wesley, 1999
Description
XI, 235 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Integer programming and combinatorial optimization : proceedings / 6th International IPCO Conference ; ed. Robert E. Bixby, E. Andrew Boyd, Roger Z. Ríos-Mercado
Monografia
Publication
Berlin : Springer, cop. 1998
Description
IX, 435 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Data structures using C / Aaron M. Tenenbaum, Yedidyag Langsam, Moshe J. Augenstein
Monografia
Publication
Englewood Cliffs : Prentice Hall, cop. 1990
Description
X, 662 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Constraint programming and large scale discrete optimization / DIMACS Workshop... ; ed. Eugene C. Freuder, Richard J. Wallace
Monografia
Publication
Providence : American Mathematical Society, cop. 2001
Description
VII, 175 p. ;
26 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Haskell 98 language and libraries : the revised report / ed. by Simon Peyton Jones
Monografia
Publication
Cambridge : Cambridge University Press, cop. 2003
Description
XII, 255 p. ;
26 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Advances in cryptology - ASIACRYPT 2003 : proceedings / 9th International Conference on The Theory and Application of Cryptology and Information Security ; ed. Chi Sung Laih
Monografia
Publication
Berlin : Springer, cop. 2003
Description
XIII, 542 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Advances in genetic programming / ed. Kenneth E. Kinnear, Jr.
Monografia
Publication
Cambridge, Mass. : Bradford Book, cop. 2000
Description
X, 518 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Estruturas de dados usando C / Aaron M. Tenenbaum, Yedidyah Langsam, Moshe J. Augenstein ; trad. Teresa Cristina Félix de Souza ; rev. técnica e adaptação dos programas Roberto Carlos Meyer
Monografia
Publication
São Paulo : Makron, cop. 1995
Description
XX, 884 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém, Biblioteca Geral da Universidade do Minho
Availability
Available (5).
|
|
|
Finite element programming / E. Hinton, D. R. J. Owen
Monografia
Publication
London : Academic Press, 1977
Description
159 f. :
il. ;
21x30 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
No copies available
Lost (1).
|
|
|
Logical foundations of functional programming / ed. Gérard Huet
Monografia
Publication
Reading, Mass. : Addison-Wesley, cop. 1990
Description
XVI, 490 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
No copies available
Lost (1).
|
|
|
Design of man-computer of dialogues / James Martin
Monografia
Publication
Englewood Cliffs, N.J. : Prentice-Hall, cop. 1973
Description
559 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Functional programming / Anthony J. Field, Peter G. Harrison
Monografia
Publication
Wokingham, England : Addison-Wesley, cop. 1988
Description
XIV, 602 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Constructing quality software / Proceedings of the IFIP Working Conference... ; ed. P. G. Hibbard, S. A. Chuman
Monografia
Publication
Amsterdam : North-Holland, 1978
Description
X, 518 p. :
il. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
LCP : lógica de construção de programas : um método de programação estruturada / Jean-Dominique Warnier ; trad. Luiz Paulo Bastos Abrahão
Monografia
Publication
Rio de Janeiro : Editora Campus, 1987
Description
XIII, [6], 185 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Diseño de programas con aplicaciones en Cobol / A. S. Philippakis, Leonard J. Kazmier ; trad. José María Troya Linero ; rev. Antonio Vaquero Sánchez
Monografia
Publication
Madrid : McGraw-Hill, cop. 1984
Description
X, 239 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Controlo sequencial de programas em lógica / António Beça Gonçalves Porto
Monografia
Publication
Lisboa : Universidade Nova de Lisboa, 1984
Description
190 p. ;
30 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Les tables de décision : initiation pratique / G. Baglin, J. Klee
Monografia
Publication
Paris : Entreprise Moderne d'Édition, cop. 1970
Description
XVII, 111 p. :
il. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
The program development process / J. D. Aron
Monografia
Publication
Massachusetts : Addison-Wesley, 1974-19--
Description
--v. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
A structured approach to programming / Joan K. Hughes, Jay I. Michtom
Monografia
Publication
Englewood Cliifs : Prentice-Hall, cop. 1977
Description
VIII, 264 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|