|
|
Mathematical modeling / Mark M. Meerschaert
Monografia
Publication
San Diego : Academic Press, cop. 1999
Description
XVI, 351 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Fundamentals of numerical computing / L. F. Shampine, R. C. Allen Jr., S. Pruess
Monografia
Publication
New York : John Wiley & Sons, cop. 1997
Description
X, 268 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Introduction to numerical analysis / Alastair Wood
Monografia
Publication
Harlow : Addison-Wesley, cop. 1999
Description
XII, 349 p. :
il. gráficos ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Teoria da computação : computabilidade e complexidade / Francisco Coelho, João Pedro Neto
Monografia
Publication
Lisboa : Escolar Editora, cop. 2010
Description
VI, 280 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém
Availability
Available (2).
|
|
|
Temporal logic : mathematical foundations and computational aspects / Dov M. Gabbay, Ian Hodkinson, Mark Reynolds
Monografia
Publication
Oxford : Clarendon Press, 1994-19--
Description
v. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Programação matemática / Delfim Fernando Marado Torres
Monografia
Publication
Aveiro : UA Editora, 2021
Description
102 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
The formal semantics of deterministic dataflow programs / J. N. F. Oliveira
Monografia
Publication
Manchester : University of Manchester, 1984
Description
XIII, 349 f. :
il. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Uma perspectiva formal sobre a programação modular / J. N. Oliveira
Monografia
Publication
Braga : Universidade do Minho, 1987
Description
20 f. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Tipos algébricos de dados / José Nuno Oliveira
Monografia
Publication
Braga : J.N.F.O., 1987
Description
13 f. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
The symmetric eigenvalue problem / Beresford N. Parlett
Monografia
Publication
Philadelphia : SIAM, cop. 1998
Description
XXIV, 398 p. ;
26 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
Checked out (1).
|
|
|
Accuracy and stability of numerical algorithms / Nicholas J. Higham
Monografia
Publication
Philadelfia : SIAM, cop. 1996
Description
XXVIII, 688 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
Checked out (1).
|
|
|
Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier
Monografia
Publication
New York : John Wiley, cop. 1987
Description
XV, 511 p. :
il. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
No copies available
Checked out (1).
|
|
|
Métodos numéricos : introdução, aplicação e programação / José Alberto Rodrigues
Monografia
Publication
Lisboa : Sílabo, 2003
Description
305 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
Checked out (1).
|
|
|
Numerical methods for engineers and scientists / Joe D. Hoffman
Monografia
Publication
New York : McGraw-Hill, cop. 2001
Description
XI, 823 p. :
il. ;
25 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Approximation theory / ed. Carl de Boor
Monografia
Publication
Providence : American Mathematical Society, 1986
Description
XI, 131 p. :
il. ;
26 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Building expert systems / ed. Frederick Hayes-Roth, Donald A. Waterman, Douglas B. Lenat
Monografia
Publication
London : Addison-Wesley, 1983
Description
XVI, 444 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Formulations and computational algorithmes in finite element analysis / Symposium... ; ed. Klaus-Jurgen Bathe, J. Tinsley Oden, Walter Wunderlich
Monografia
Publication
[Massachusetts : The Massachusetts Institute of Tecnology], imp. 1978
Description
XVI, 1091 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Computational mathematics / B. P. Demidovich, I. A. Maron ; trad. George Yankovsky
Monografia
Publication
Moscou : Mir, cop. 1976
Description
691 p. :
il. ;
22 cm
LocationBiblioteca da UMinho no Campus de Azurém, Biblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Advances in Petri Nets / ed. Grzegorz Rozenberg
Monografia
Publication
Berlin : Springer-Verlag, 1988
Description
439 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
VDM'88 / Proceedings of 2nd VDM Europe Symposium... ; ed. R. Bloomfield, L. Marshall, R. Jones
Monografia
Publication
Berlin : Springer-Verlag, 1988
Description
IX, 499 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|