|
|
Introduction to computer science : an algorithmic approach : pascal edition / Jean Paul Tremblay, John M. DeDourek, Richard B. Bunt
Monografia
Publication
New York : MacGraw-Hill, [1989]
Description
544-961 p. ;
30 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
No copies available
Lost (2).
|
|
|
Advanced numerical approximation of nonlinear hyperbolic equations / B. Cockburn... [et al.]
Monografia
Publication
Berlin : Springer, cop. 1998
Description
450 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
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).
|
|
|
Algebraic foundations of systems specification / ed. E. Astesiano, H.-J. Kreowski, B. Krieg-Brückner
Monografia
Publication
Berlin : Springer, cop. 1999
Description
XII, 615 p. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
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).
|
|
|
A model for declarative programming and specification with concurrency and mobility / Luís Manuel Marques da Costa Caires
Monografia
Publication
Lisboa : Universidade Nova de Lisboa, 1999
Description
XIX, 270 p. ;
30 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (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).
|
|
|
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).
|
|
|
Mathematical structures for computer science / Judith L. Gersting
Monografia
Publication
New York : W. H. Freeman and Company, cop. 1999
Description
XVIII, 748 p. :
il. ;
25 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Ostrowski type inequalities and applications in numerical integration / ed. Sever S. Dragomir, Themistocles M. Rassias
Monografia
Publication
Dordrecht : Kluwer Academic Publishers, cop. 2002
Description
XIX, 481 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Computational logic : Symposium / ed. J. W. Lloyd
Monografia
Publication
Berlin : Springer-Verlag, cop. 1990
Description
IX, 211 p. ;
25 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Deterministic global optimization : theory, methods and applications / Christodoulos A. Floudas
Monografia
Publication
Dordrecht : Kluwer Academic Publishing, cop. 2000
Description
XVII, 739 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Large-scale optimization : problems and methods / Vladimir Tsurkov
Monografia
Publication
Dordrecht : Kluwer Academic Publishing, cop. 2001
Description
XI, 307 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Getting started with mathematica under microsoft windows / Wolfram Research
Monografia
Publication
Champaign : Wolfram Media, cop. 1996
Description
58 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Stability estimates for hybrid coupled domain decomposition methods / Olaf Steinbach
Monografia
Publication
Berlin : Springer, 2003
Description
VI, 120 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|