Your search returned 44 results. Subscribe to this search

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

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

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

Curriculum vitae / Pedro Manuel Rangel Santos Henriques Monografia Publication Braga : [s.n., 1992 Description [6] 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).

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

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

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

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

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

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

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

Formal description and automatic generation of learning spaces based on ontologies [Documento eletrónico] / Ricardo Giuliani Martini ; orient. Pedro Manuel Rangel Santos Henriques, Giovani Rubert Librelotto Monografia Publication [Braga : s.n.], 2018 Online resource Acesso livre Availability No copies available

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

Building the Museum of the Person based on a combined CIDOC-CRM - FOAF - DBpedia Ontology [Documento eletrónico] = [Construção do Museu da Pessoa com base numa ontologia que combina CIDOC-CRM - FOAF - DBpedia] / Cristiana Esteves Araújo ; orient. Manuel Rangel Santos Henriques, Ricardo Giuliani Martini Monografia Publication [Braga : s.n.], 2016 Online resource Acesso livre Availability No copies available