Your search returned 1392 results. Subscribe to this search

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