Your search returned 1392 results. Subscribe to this search

|
Trends, techniques, and problems in theoretical computer science / 4th International Meeting of Young Computer Scientists ; ed. Alica Kelemenová, Jozef Kelemen Monografia Publication Berlin : Springer-Verlag, 1987 Description VI, 213 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Advances in Petri Nets 1987 / ed. Grzegorz Rozenberg Monografia Publication Berlin : Springer-Verlag, cop. 1987 Description VI, 451 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

The book of L / ed. G. Rozenberg, A. Salomaa Monografia Publication Berlin : Springer-Verlag, cop. 1986 Description XV, 471 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Data structures and network algorithms / Robert Endre Tarjan Monografia Publication Philadelphia : Society for Industrial and Applied Mathematics, imp. 1991 Description VII, 131 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Concur'95 : concurrency theory : proceedings / 6th International Conference... ; ed. Insup Lee, Scott A. Smolka Monografia Publication Berlin : Springer-Verlag, 1995 Description X, 545 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Getting started with Matlab : a quick introduction for scientists and engineers / Rudra Pratap Monografia Publication Fort Worth : Harcourt Brace College, cop. 1996 Description IV, 171 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Practical numerical integration / Gwynne Evans Monografia Publication Chichester : John Wiley & Sons, 1993 Description XII, 328 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Industrial mathemnatics : a course in solving real-world problems / Avner Friedman, Walter Littman Monografia Publication Philadelphia : Siam, imp. 1995 Description XIII, 136 p. : il. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

A programming system for implementation of automatic error analysis in numerical computing / Maria Raquel G. P. Valença Monografia Publication Braga : M.R.G.P.V., 1983 Description 9 p. ; 30 cm LocationBiblioteca de Reservados Availability Reference (1).

A first course in the numerical analysis of differential equations / Arieh Iserles Monografia Publication Cambridge : Cambridge University Press, 1996 Description XVI, 378 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém Availability Available (3).

Great papers in computer science / [ed.] Phillip Laplante Monografia Publication Minneapolis : West Publishing Company, cop. 1996 Description [6], IV, 717 p. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Mathematics of computation 1943-1993=1943-1993 : a half-century of computational mathematics / Mathematics of Computation 50th Anniversary Symposium... ; ed. Walter Gautschi Monografia Publication Providence : American Mathematical Society, cop. 1994 Description XIX, 643 p. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Computer aided proofs in analysis / ed. Kenneth R. Meyer, Dieter S. Schmidt Monografia Publication New York : Springer-Verlag, cop. 1991 Description XIII, 251 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Iterative methods in linear algebra : proceedings of the IMACS International Symposium on... / ed. R. Beauwens, P. de Groen Monografia Publication Amsterdam : North-Holland, 1992 Description XIII, 636 p. ; 27 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Semantics and logics of computation / ed. Andrew M. Pitts, Peter Dybjer Monografia Publication Cambridge : Cambridge University Press, 1997 Description XII, 361 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

An introduction to distributed algorithms / Valmir C. Barbosa Monografia Publication Cambridge : The MIT Press, cop. 1996 Description XIII, 365 p. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém, Biblioteca Geral da Universidade do Minho Availability Available (2).

Reasoning with complex cases / Friedrich Gebhardt... [et al.] Monografia Publication Boston : Kluwer Academic Publishers, cop. 1997 Description XI, 250 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Computational methods in engineering : advances & applications / ed. A. A. O. Tay, K. Y. Lam Monografia Publication Singapore : World Scientific, cop. 1992 Description 2 v. : il. ; 23 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (2).

Mathematica for scientists and engineers / Thomas B. Bahder Monografia Publication Reading : Addison-Wesley, cop. 1995 Description XV, 846 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Scientific computation on mathematical problems and conjectures / Richard S. Varga Monografia Publication Philadelphia : Society for Industrial and Applied Mathematics, 1990 Description VI, 122 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).