Your search returned 1392 results. Subscribe to this search

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