Your search returned 87 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).

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