Your search returned 921 results. Subscribe to this search

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