Your search returned 1357 results. Subscribe to this search

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

Guide to numerical analysis / Peter R. Turner Monografia Publication London : MacMillan, cop. 1989 Description X, 208 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Análise numérica / Francis Scheid ; trad. e adaptação de António César de Freitas Monografia Publication Lisboa : McGraw-Hill, 1991 Description IX, 617 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém Availability Available (3). Checked out (1).

Programming in networks and graphs / Ulrich Derigs Monografia Publication Berlin : Springer-Verlag, cop. 1988 Description XI, 315 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Métodos numéricos / Edite Manuela Graça Pinto Fernandes Monografia Publication Braga : E.M.G.P.F., [19--] Description 233 f. ; 29 cm LocationBiblioteca de Reservados Availability Reference (1).

Schaum's outline of theory and problems of numerical analysis / Francis Scheid Monografia Publication New York : McGraw-Hill, cop. 1988 Description 471 p. ; 28 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Mathematica reference guide / Stephen Wolfram Monografia Publication Reading : Addison-Wesley, cop. 1992 Description XI, 305 p. : il. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1). Checked out (1).

Introduction to numerical methods for parallel computers / U. Schendel ; trad. B. W. Conolly Monografia Publication Chichester : Ellis Horwood, imp. 1987 Description 151 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Mathematica quick reference, version 2 / Nancy Blachman ; colab. Robert Campbell Monografia Publication Reading, Mass. : Addison-Wesley, 1992 Description 304 p. : il. ; 22 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (3).

Intensional logics for programming / ed. Luis Fariñas del Cerro, Martti Penttonen Monografia Publication Oxford : Clarendon Press, 1992 Description IX, 219 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

A tutorial introduction to mathematica / Wade Ellis, Jr., Ed Lodi Monografia Publication Pacific Grove, Calif. : Brooks-Cole, cop. 1991 Description XIII, 92 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Análise numérica / Francis Scheid ; trad., adapt. António César de Freitas Monografia Publication Lisboa : McGraw-Hill, cop. 1991 Description IX, 617 p. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1).

Quick answers to quantitative problems : a pocket primer / G. William Page, Carl V. Patton Monografia Publication Boston : Academic Press, cop. 1991 Description XIII, 277 p. : il. ; 22 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

College algebra laboratories using derive / DeMarois Phil Monografia Publication Urbana : Math Ware, cop. 1992 Description [8], 124 p. ; 28 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

CSL'87 / Proceedings of Workshop... ; ed. E. Borger, H. Kleine Buning, M. M. Richter Monografia Publication Berlin : Springer-Verlag, cop. 1988 Description VI, 346 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (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).

Algorithmics 2 ; Basic programming 2 / The Open University. Mathematics : A Second Level Course Monografia Publication Walton Hall : The Open University Press, 1973 Description 57, 42 p. : il. ; 30 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Software for numerical mathematics / Conference... ; ed. D. J. Evans Monografia Publication London : Academic Press, 1974 Description XI, 451 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Self-organization and associative memory / Teuvo Kohonen Monografia Publication New York : Springer-Verlag, cop. 1989 Description XV, 312 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Análise numérica / Rogério Nunes Monografia Publication Porto : Centro Universitário, 1966 Description 170 p. : il. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). Lost (1).