|
|
Data refinement : model-oriented proof methods and their comparison / Willem-Paul de Roever, Kai Engelhardt ; with the assistance of Karl-Heinz Buth... [et al.]
Monografia
Publication
Cambridge : Cambridge University Press, 1998
Description
XI, 423 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
High performance computing in science and engineering'98 : transactions of the High Performance Computing Center Stuttgart (HLRS) 1998 / ed. E. Krause, W. Jäger
Monografia
Publication
Berlin : Springer, cop. 1999
Description
XII, 452 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Splines cúbicas e suas aplicações / Maria Angela de Sousa Queiroz Ribeiro
Monografia
Publication
Porto : M.A.S.Q.R., 1991
Description
XIV, 193 p., pag. var. :
il. ;
30 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Finite difference methods : elliptic problems / The Open University. Mathematics : a third-level course ; prep. by Ted Phythian, John Berry
Monografia
Publication
Walton Hall : The Open University, imp. 1996
Description
59 p. :
il. ;
30 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Design, implementation and calculation of circular programs [Documento electrónico] / João Paulo de Sousa Ferreira Fernandes ; orient. João Alexandre Saraiva
Monografia
Publication
[Guimarães : s.n.], 2008
Online resource
Acesso livre
Availability
No copies available
|
|
|
Matlab 7 & 6 : curso completo / Vagner Morais, Claúdio Vieira
Monografia
Publication
Lisboa : FCA - Editora de Informática, D. L. 2007
Description
XVI, 644 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém, Biblioteca Geral da Universidade do Minho
Availability
Available (1).
Lost (1).
|
|
|
Caos e complexidade aplicados à economia : estudo de dinâmicas com mutação, dos autómatos celulares elementares às redes booleanas / Patrícia de Almeida Gabriel ; orient. Ricardo José Mendes Severino
Monografia
Publication
Braga : [s.n.], 2009
Description
VI, 101 f. :
il. ;
30 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Numerical methods for engineering application / Joel H. Ferziger
Monografia
Publication
New York : John Wiley & Sons, cop. 1998
Description
XVII, 378 p. :
il. ;
25 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Análise numérica e assimptótica de problemas de valores de fronteira singulares [Documento electrónico] / António Manuel Morais Fernandes de Oliveira ; orient. Pedro Miguel Rita Trindade e Lima
Produtos Computador
Publication
Lisboa : [s.n.], 2002
Description
1 disco óptico (CD-Rom) ;
em invólucro 13x14x1 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Reference (1).
|
|
|
Exploiting parallelism in the graphics pipeline / Theoharis A. Theoharis
Monografia
Publication
Oxford : Oxford University Computing Laboratory, cop. 1986
Description
[6], 101 p. :
il. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Advanced topics in bisimulation and coinduction / edited by Davide Sangiorgi, Jan Rutten
Monografia
Publication
Cambridge : Cambridge University Press, 2012
Description
XIII, 326 p. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
No copies available
Checked out (1).
|
|
|
Solving applied mathematical problems with MATLAB / Dingyü Xue, YangQuan Chen
Produtos Computador
Publication
Boca Raton : CRC Press, cop. 2009
Description
XIV, 432 p. :
il. ;
25 cm +
1 CD-ROM
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Global optimization in action : continuous and lipschitz optimization : algorithms, implementations and applications / János D. Pinter
Monografia
Publication
Dordrecht : Kluwer Academic Publishers, cop. 1996
Description
XXVII, 478 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Nonlinear methods in numerical analysis / Annie Cuyt, Luc Wuytack
Monografia
Publication
Amsterdam : North-Holland, imp. 1988
Description
278 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Bayesian heuristic approach to discrete and global optimization : algorithms, visualization, software, and applications / Jonas Mockus... [et al.]
Produtos Computador
Publication
Dordrecht : Kluwer Academic Publishers, cop. 1997
Description
XV, 396 p. :
il. ;
25 cm +
2 disquetes 3.5
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
Reference (2).
|
|
|
Numerical linear algebra / The Open University. Mathematics : a third-level course ; prep. by Roger Curnow
Monografia
Publication
Walton Hall : The Open University, imp. 1996
Description
61 p. ;
30 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Systems of differential equations / The Open University. Mathematics : a third-level course ; prep. Douglas Quinney
Monografia
Publication
Walton Hall : The Open University, imp. 1996
Description
48 p. :
il. ;
30 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Computer modeling : from sports to spaceflight..., from order to chaos / J. M. A. Danby
Produtos Computador
Publication
Richmond : Willmann-Bell, cop. 1997
Description
XIV, 408 p. :
il. ;
28 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
A collection of test problems for constrained global optimization algorithms / C. A. Floudas, P. M. Pardalos
Monografia
Publication
Berlin : Springer-Verlag, cop. 1990
Description
XIV, 180 p. :
il. ;
25 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Computer solution of large linear systems / G. Meurant
Monografia
Publication
Amsterdam : Elsevier, 1999
Description
XXII, 753 p. ;
23 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|