|
|
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).
|
|
|
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).
|
|
|
Introdução à programação / Pedro Rangel Henriques
Monografia
Publication
Braga : Universidade do Minho, 1984
Description
54 f. ;
30 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (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).
|
|
|
Especificação e implementação de um compilador para a linguagem LISS / Leonor Barroca, Pedro Rangel Henriques
Monografia
Publication
[Braga] : Universidade do Minho, 1986
Description
62 f. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Atributos e modularidade na especificação de linguagens formais / Pedro Manuel Rangel Santos Henriques
Monografia
Publication
Braga : Universidade do Minho, 1992
Description
[3], 199 f. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Languages and translators derivation from abstract models / Leonor Barroca, Pedro Rangel Henriques
Monografia
Publication
[Braga] : Universidade do Minho, 1986
Description
11 f. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Curriculum vitae / Pedro Manuel Rangel Santos Henriques
Monografia
Publication
Braga : [s.n., 1992
Description
[6] 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).
|
|
|
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).
|
|
|
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).
|
|
|
Especificação formal de uma máquina virtual pseudo-concorrente : projecto SATDEL : relatório / Pedro Rangel Henriques, Leonor Barroca, Mário Martins
Monografia
Publication
[Braga] : Universidade do Minho, 1986
Description
36 f. ;
29 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Sistemas informaticos para análise de dados demográficos : comunicação da sessão 21 / ed. Fernanda Faria, Pedro Henriques ; Congresso da ADEH
Monografia
Publication
Guimarães : NEPS - Universidade do Minho, D.L. 2004
Description
99 p. :
il. ;
30 cm
Online resource
Versão electrónica. Acesso livre
LocationBiblioteca de Reservados, Biblioteca da UMinho no Campus de Azurém, Biblioteca Geral da Universidade do Minho
Availability
Available (5).
Reference (1).
|
|
|
XML & XSL : da teoria à prática / José Carlos Ramalho, Pedro Henriques
Monografia
Publication
Lisboa : FCA - Editora de Informática, 2002
Description
XVII, 319 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém, Biblioteca Geral da Universidade do Minho
Availability
Available (9).
|
|
|
GamaBoogie [Documento eletrónico] : a contract-based slicer for Boogie programs / Márcio João Carvalho Coelho ; orient. Pedro Henriques Rangel, Daniela Carneiro da Cruz
Monografia
Publication
Braga : [s.n.], 2011
Online resource
Acesso livre
Availability
No copies available
|
|
|
Automatization of the code generation for different industrial robots [Documento electrónico] / Gustavo Vasconcelos Arnold ; orient. Pedro Rangel Henriques e Jaime Cruz Fonseca
Monografia
Publication
Braga : [s.n.], 2007
Online resource
Versão electrónica. Acesso livre
Availability
No copies available
|
|
|
Topic maps [Documento electrónico] : da sintaxe à semântica / Giovani Rubert Librelotto ; orient. Pedro Rangel Henriques
Monografia
Publication
Braga : [s.n.], 2005
Online resource
Acesso livre
Availability
No copies available
|
|
|
Analysis and visualization of dynamic social networks [Documento eletrónico] / Jorge Caldas ; orient. Pedro Rangel Henriques, Alda Lopes Gançarski
Monografia
Publication
[Guimarães : s.n.], 2017
Online resource
Acesso livre
Availability
No copies available
|
|
|
Chatbot for VILT'S helpdesk team [Documento eletrónico] = [Chatbot para a equipa de suporte da VILT] / Diogo Pinto Ribeiro ; orient. Pedro Manuel Rangel Santos Henriques e Ana Anjo
Produtos Computador
Publication
[Braga : s.n.], 2022
Online resource
Acesso livre
Availability
No copies available
|
|
|
Informação geográfica : meta-informação, codificação e visualização / Jorge Gustavo Pereira Bastos Rocha ; orient. Pedro Rangel Henriques
Monografia
Publication
Guimarães : [s.n.], 2005
Description
X, 142 p. :
il., color. ;
30 cm
Online resource
Acesso livre
LocationBiblioteca de Reservados
Availability
Reference (1).
|