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