|
|
Núcleos standard de software gráfico / José João Antunes Guimarães Dias de Almeida
Monografia
Publication
Braga : Universidade do Minho, 1987
Description
115, [19] f. :
il. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Desenvolvimento e implementação de algoritmos recursivos / Pedro Rangel Henriques
Monografia
Publication
Braga : Universidade do Minho, 1984
Description
55 f. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Um exercício de especificação funcional e metodologias de implementação / Leonor Barroca, Pedro Henriques
Monografia
Publication
Braga : Universidade do Minho, 1984
Description
25 f. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Some new curve algorithms with computer aided design applications / Ana Isabel Paula Correia Filipe
Monografia
Publication
Braga : Universidade do Minho, 1988
Description
V, 173 f. :
il. ;
29 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Sobre a aplicabilidade de métodos intervalares directos para sistemas de equações lineares / Maria Antónia Paulo Dias Pereira Forjaz
Monografia
Publication
Braga : Universidade do Minho, 1991
Description
85 f. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Fracture simulations of masonry using non-linear interface elements / J. G. Rots, P. B. Lourenço
Monografia
LocationBiblioteca de Reservados
Availability
Reference (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).
|
|
|
Convergence of cubic spline interpolation with the not-a-knot condition [Microforma] / Carl de Boor
Monografia
Publication
Madison : University of Wisconsin-Madison, 1985
Description
1 microficha ;
11x15 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Eighth SIAM Conference on Parallel Processing for Scientific Computing [Recurso electrónico] : [proceedings] / ed. Michael Heath... [et al.]
Produtos Computador
Publication
Philadelphia : SIAM, cop. 1997
Description
1 disco óptico (CD-ROM) :
color. +
1 folheto (8 p.)
LocationBiblioteca de Reservados
Availability
Available (1).
|
|
|
Minimal support for bivariate splines [Microforma] / Carl de Boor, Klaus Hollig
Monografia
Publication
Madison : University of Wisconsin-Madison, 1986
Description
1 microficha :
il. ;
11x15 cm
LocationBiblioteca de Reservados
Availability
Reference (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).
|
|
|
Sistema de gestão integrada de redes de emergência : especificação formal e prototipação / Luís Manuel Dias Coelho Soares Barbosa
Monografia
Publication
Braga : Universidade do Minho, 1987
Description
67 f. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Importância da geração de malhas na vulgarização de métodos de resolução de problemas de fundição regidos por equações diferenciais / A. Caetano Monteiro, E. Veloso da Veiga
Monografia
Publication
Porto : [Universidade do Minho], 1989
Description
p. 637-643 ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Um processador de sintaxe abstracta para Metoo / A. Murta... [et al.]
Monografia
Publication
[Braga] : A.M., 1987
Description
[7] f. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
MEDUSA : uma linguagem de especificação de diálogos concorrentes / F. Mário Martins
Monografia
Publication
[Braga] : F.M.M., 1987
Description
19 f. :
il. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Um método computacional com integrais de fronteira e diferenças finitas para problemas de difusão em meios zonados / E. Veloso da Veiga, C. Vilar, J. B. Martins
Monografia
Publication
Rio de Janeiro : Pontifícia Universidade Católica, 1987
Description
p. 235-242 ;
30x21 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Testes estatísticos não paramétricos teoria, algoritmos e "Software" / Margarida Maria Alvim Pereira Leite
Monografia
Publication
Braga : Universidade do Minho, 1989
Description
2 v. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (4).
|
|
|
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).
|