|
|
Improved lagrangean decomposition : an application to the generalized assignment problem / Paulo Bárcia, Kurt Jornsten
Monografia
Publication
Lisboa : Faculdade de Economia da Universidade Nova de Lisboa, 1989
Description
24 f. ;
30 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Handbook of mathematics and computational science / John W. Harris, Horst Stocker
Monografia
Publication
New York : Springer, cop. 1998
Description
XXVIII, 1028 p. :
il. ;
25 cm
LocationBiblioteca de Física
Availability
Reference (1).
|
|
|
Variable splitting and constructive duality : a method for structured integer programming problems / Paulo Bárcia, Kurt Jornsten
Monografia
Publication
Lisboa : Faculdade de Economia da Universidade Nova, 1986
Description
15, [4] f. ;
30 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Typed lambda calculi and applications : proceedings / 6th International Conference, TLCA 2003 ; ed. Martin Hofmann
Monografia
Publication
Berlin : Springer, cop. 2003
Description
VIII, 315 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
The state of the art in numerical analysis / ed. I. S. Duff and G. A. Watson
Monografia
Publication
Oxford : Clarendon Press, 1997
Description
XIV, 562 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Maple V by example / Martha L. Abell, James P. Braselton
Produtos Computador
Publication
San Diego : Academic Press, cop. 1999
Description
XII, 644 p. :
il. ;
24 cm +
1 CD-ROM
LocationBiblioteca da UMinho no Campus de Azurém, Biblioteca Geral da Universidade do Minho
Availability
Available (4).
|
|
|
Numerical computation : methods, software, and analysis / Christoph W. Ueberhuber
Monografia
Publication
Berlin : Springer, 1997
Description
2 v. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (4).
|
|
|
Modelo orientado para objectos de um servidor de informação : análise, projecto e implementação de um protótipo / Jerónimo Américo Moniz Nunes
Monografia
Publication
Ponta Delgada : Universidade dos Açores, 1998
Description
II, 169 f. :
il. ;
30 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Advances in software tools for scientific computing / ed. Hans Peter Langtangen, Are Magnus Bruaset, Ewald Quak
Monografia
Publication
Berlin : Springer, cop. 2000
Description
VII, 356 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Introduction to scientific computing / Brigitte Lucquin, Oliver Pironneau ; trad. Michel Kern
Monografia
Publication
Chichester : John Wiley & Sons, cop. 1998
Description
XVIII, 361 p. :
il. ;
25 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Numerical methods for singular perturbed differential equations : convection-diffusion and flow problems / H.-G. Roos, M. Stynes, L. Tobiska
Monografia
Publication
Berlin : Springer, 1996
Description
XVI, 348 p. :
il. gráficos ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Estruturas poliginais deformáveis com resolução variável / Frutuoso Gomes Mendes da Silva
Monografia
Publication
[Covilhã : s.n.], 2005
Description
XIV, 91 f. :
il. ;
30 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Derivation and computation : taking the Curry-Howard correspondence seriously / Harold Simmons
Monografia
Publication
Cambridge : Cambridge University Press, cop. 2000
Description
XXV, 384 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
The pursuit of deadlock freedom / by A. W. Roscoe, Naiem Dathi
Monografia
Publication
Oxford : Oxford University Computing Laboratory, 1986
Description
38 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
The mathematica book / Stephen Wolfram
Monografia
Publication
Champaign : Wolfram Media, cop. 1996
Description
XXIV, 1403 p., [8] f. est. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
The NURBS book / Les Piegl, Wayne Tiller
Monografia
Publication
Berlin : Springer, cop. 1997
Description
XIV, 639 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Relaxation and decomposition methods for mixed integer nonlinear programming / Ivo Nowak
Monografia
Publication
Basel : Birkhäuser, cop. 2005
Description
XVI, 213 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Reactive systems : modelling, specification and verification / Luca Aceto... [et al.]
Monografia
Publication
Cambridge : Cambridge University, 2007
Description
XVI, 284 p. :
il. ;
26 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (3).
|
|
|
Linear least squares computations / R. W. Farebrother
Monografia
Publication
New York : Marcel Dekker, cop. 1988
Description
XIII, 293 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Analyse des données qualitatives : recueil de nouvelles méthodes / A. Michael Huberman, Matthew B. Miles ; trad. Catherine De Backer, Vivian Lamongie
Monografia
Publication
Bruxelles : De Boeck, 1991
Description
480 p. ;
24 cm
LocationBiblioteca de Ciências da Educação
Availability
Available (1).
|