|
|
Computational and applied mathematics, I : algorithms and theory / ed. C. Brezinski, U. Kulisch
Monografia
Publication
Amsterdam : North-Holland, 1992
Description
X, 502 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Automated deduction : a basis for applications / ed. Wolfgang Bibel, Peter H. Schmitt
Monografia
Publication
Dordrecht : Kluwer Academic Publishers, cop. 1998
Description
3 v. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (3).
|
|
|
Computational integration / Arnold R. Krommer, Christoph W. Ueberhuber
Monografia
Publication
Philadelphia : Siam, cop.1998
Description
XIX, 445 p. :
il. ;
26 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (3).
|
|
|
Handbook of constraint programming / edited by Francesca Rossi, Peter van Beek, Toby Walsh
Monografia
Publication
Amsterdam : Elsevier, cop. 2006
Description
XIX, 955 p. :
il ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Métodos numéricos : complementos e guia prático / Carlos Lemos, Heitor Pina
Monografia
Publication
Lisboa : IST Press, cop. 2006
Description
XXII, 287 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Mathematical logic for computer science / Mordechai Ben-Ari
Monografia
Publication
[London] : Springer, imp. 2008
Description
XIV, 304 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Caos e complexidade aplicados à economia [Documento electrónico] : 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
Produtos Computador
Publication
Braga : [s.n.], 2009
Description
1 disco óptico (CD-ROM) ;
em caixa 14x13x1 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Elementary numerical analysis : an algorithmic approach / S. D. Conte, Carl de Boor
Monografia
Publication
Auckland : McGraw-Hill, imp. 1982
Description
XII, 432 p. :
il. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
MATLAB 7 : getting started guide
Monografia
Publication
Natick, MA : The MathWorks, cop. 2009
Description
[238] p., pag. var. :
il. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
The computer modelling of mathematical reasoning / Alan Bundy
Publicação de longa duração
Publication
London : Academic Press, cop. 1983
Description
XIV, 322 p. :
il. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Numerical methods for engineers / Steven C. Chapra, Raymond P. Canale
Multimédia
Publication
Boston : McGraw-Hill, 2006
Description
XVIII, 926 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Introdução à programação de microcomputadores / Peter C. Sanderson ; trad. Conceição Jardim, Eduardo Nogueira
Monografia
Publication
Lisboa : Presença, colof. 1983
Description
215 p. ;
19 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Modelos formais de semântica "dataflow" / J. N. Oliveira
Monografia
Publication
[Braga] : J.N.F.O., 1987
Description
16, 3 f. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
A reification calculus for model-oriented software specification / J. N. Oliveira
Monografia
Publication
Braga : Universidade do Minho, 1989
Description
26 f. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
A reification calculus for model-oriented software specification / J. N. Oliveira
Monografia
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Mathematical foundations of computer science / Peter A. Fejer, Dan A. Simovici
Monografia
Publication
New York : Springer-Verlag, 1991-19--
Description
--v. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (3).
Checked out (1).
|
|
|
Applied numerical analysis / Curtis F. Gerald, Patrick O. Wheatley
Monografia
Publication
Reading : Addison-Wesley, cop. 1999
Description
763 p., pag. var. :
il. gráficos ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
No copies available
Checked out (1).
|
|
|
Splines polinomiais : alguns tópicos e programas / Maria Odete Rodrigues Cadete
Monografia
Publication
Oeiras : Fundação Calouste Gulbenkian, 1980
Description
202 p. :
il. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Formal techniques in real - time and fault - tolerant systems / Proceedings of a Symposium... ; ed. M. Joseph
Monografia
Publication
Berlin : Springer-Verlag, 1988
Description
VI, 229 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Numerical methods for scientists and engineers / R. W. Hamming
Monografia
Publication
New York : McGraw-Hill, cop. 1973
Description
XII, 721 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|