|
|
On the combination of the ideas of multilevel solvers using hierarchical bases and the substructuring technique for the finite element method / Michael Griebel
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1987
Description
48 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Formal methods in human-computer interaction / ed. Michael Harrison, Harold Thimbleby
Monografia
Publication
Cambridge : Cambridge University Press, 1990
Description
XVII, 323 p. ;
26 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Data networks / Dimitri Bertsekas, Robert Gallager
Monografia
Publication
Englewood Cliffs, N.J. : Prentice-Hall, cop. 1992
Description
XVIII, 556 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Java programmer's library / Suleiman "Sam" Lalani, Kris Jamsa
Produtos Computador
Publication
Las Vegas : Jamsa Press, 1996
Description
IV, 556 p. ;
27 cm +
1 CR-Rom
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
Haskel : the craft of functional programming / Simon Thompson
Monografia
Publication
Harlow : Addison-Wesley, 1996
Description
XX, 500 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
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 (4).
Checked out (1).
|
|
|
Functional programming : aplication and iplementation / Peter Henderson
Monografia
Publication
Englewood Cliffs : Prentice-Hall, cop. 1980
Description
XI, 355 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Solving least squares problems / Charles J. Lawson, Richard J. Hanson
Monografia
Publication
Englewood Cliffs, N.J. : Prentice-Hall, cop. 1974
Description
XII, 340 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Introduction to PL-I Programming / R. Clay Sprowls
Monografia
Publication
New York : Harper & Row, cop. 1969
Description
VIII, 179 p. :
il. ;
28 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Algorithmic logic / G. Mirkowska, A. Salwicki
Monografia
Publication
Dordrecht : D. Reidel, cop. 1987
Description
XI, 372 p. :
il. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Introdução à programação : ano lectivo de 1982-83 / V. L. B. de Freitas
Monografia
Publication
[Braga] : Universidade do Minho, 1982
Description
76 f., pag. var. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Theory of linear and integer programming / Alexander Schrijver
Monografia
Publication
Chichester : John Wiley, cop. 1986
Description
XI, 471 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Humanized input : techniques for reliable keyed input / Tom Gilb, Gerald M. Weinberg
Monografia
Publication
Cambridge : Winthrop, cop. 1977
Description
XX, 283 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
The design and analysis of computer algorithms / Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman
Monografia
Publication
Massachusetts : Addison-Wesley, cop. 1974
Description
X, 470 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém
Availability
Available (2).
|
|
|
Computer problem solving / R. P. Watkins
Monografia
Publication
Sidney : John Wiley & Sons, cop. 1974
Description
[VII], 162 p. :
il. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Numerical methods, software, and analysis / John R. Rice
Monografia
Publication
Singapore : McGraw-Hill, 1987
Description
XII, 483 p. ;
26 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
No copies available
Lost (1).
|
|
|
Principles of visual programming systems / ed. Shi-Kuo Chang
Monografia
Publication
Englewood Cliffs, N.J. : Prentice-Hall, cop. 1990
Description
X, 372 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|