Your search returned 1468 results. Subscribe to this search

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