|
|
Precompilador para a linguagem concorrente "Path-Pascal" / Pedro Rangel Henriques
Monografia
Publication
Braga : Universidade do Minho, 1986
Description
38 p. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Metodologias de programação de computadores / F. Mário Martins
Monografia
Publication
Braga : Universidade do Minho, 1982
Description
32 f. :
il. ;
29 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Guidelines for evaluation and selecting software packages / Irvin Brownstein, Nancy B. Lerner
Monografia
Publication
New York : Elsevier, cop. 1982
Description
278 p., pag. var. ;
29 cm
LocationBiblioteca de Reservados
Availability
Available (1).
|
|
|
Desenvolvimento de protocolos de comunicação : da especificação ao protótipo / Alexandre Júlio Teixeira Santos
Monografia
Publication
Braga : Universidade do Minho, 1996
Description
XIV, 197 p. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Introdução à programação : ano lectivo de 1982-83 / V. L. B. de Freitas
Monografia
Publication
[Braga] : Universidade do Minho, 1982
Description
76 f., pag. var. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Third International Summer School on Advanced Functional Programming, : research themes on functional programming / ed. L. S. Barbosa, J. A. Saraiva
Monografia
Publication
[Braga] : Universidade do Minho, [1998]
Description
[90] p. ;
21 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Some experiences with Gasp-Like microcomputer simulation languages in Fortran, Pascal and Ada [Microforma] / Arne Thesen, Rekha De Silva
Monografia
Publication
Madison : University of Wisconsin-Madison, 1983
Description
1 microficha ;
11x15 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
"Explosive" programming controlled by calculation / José Nuno Oliveira
Monografia
Publication
[Braga] : Universidade do Minho, [1998]
Description
[20] p. ;
21 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Designing and implementing combinator languages / S. Doaitse Swierstra, Pablo Azero Alcocer, João Saraiva
Monografia
Publication
[Braga] : Universidade do Minho, [1998]
Description
III, 54 p. :
il. ;
21 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Interactive program to divide a river into reaches / Maria Madalena Teixeira de Araújo, A. F. Clementson, A. J. M. Guimarães Rodrigues
Monografia
Publication
[S.l.] : M.M.T.A., [19--]
Description
[2] f. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Especificação formal e prototipificação de software : a metodologia METOO / F. Mário Martins
Monografia
Publication
Braga : Universidade do Minho, 1986
Description
34 f. ;
29 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
The application of logic programming to data bases / José Carlos Ferreira Maia Neves
Monografia
Publication
[Edinburgh] : Heriot-Watt University, 1983
Description
260 f. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Protocolos de comunicação : da especificação ao prototipo / Luís M. S. Barbosa
Monografia
Publication
Braga : Universidade do Minho, 1987
Description
39, 8, 4 f. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Theoretical modelling in construction materials / S. Jalali, C. Alastruey and J. C. F. Teixeira
Monografia
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Haskell tutorial / José B. Barros, José J. Almeida
Monografia
Publication
[Braga] : Universidade do Minho, [1998]
Description
14 p. ;
21 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Um exercício de programação em ML / Luís Soares Barbosa, Pedro Rangel Henriques
Monografia
Publication
Porto : L.S.B. e P.R.H., 1989
Description
17 f. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
An essay on NC programming systems / Manuel dos Santos Pais
Monografia
Publication
Loughborough : Department of Engineering Production of University of Technology, 1979
Description
222 f. :
il. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Compilador para uma linguagem concorrente de comandos guardados / Pedro Rangel Henriques
Monografia
Publication
[Braga] : Universidade do Minho, 1986
Description
34 f. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Da especificação funcional à implementacão, um exemplo : sistema de produção / Leonor Barroca, Pedro Henriques
Monografia
Publication
Braga : Universidade do Minho, [19--]
Description
[24] f. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Disciplina de métodos formais de programação / José Nuno Fonseca de Oliveira
Monografia
Publication
Braga : Universidade do Minho, 1988
Description
31 f. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|