Saltar para:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Início > Publicações > Preface > Visualizar Publicações Relacionadas
Mapa das Instalações
Edifício Principal | Main Building Edifício Pós-Graduações | Post-Graduate Building

Publicações com a mesma revista da publicação Preface

Agrupar Por: Ordenação:

Outra Publicação em Revista Científica Internacional

Preface
Nigam V. (Autor) (Outra); Florido, M (Autor) (FCUP)

Outras Publicações

Linear Recursion
Sandra Alves (Autor) (FCUP); Maribel Fernández (Autor) (Outra); Mário Florido (Autor) (Outra); Ian Mackie (Autor) (Outra)

Artigo em Revista Científica Internacional

Towards the integration of visual and formal models for GUI testing
Ana C. R. Paiva (Autor) (FEUP); João C. P. Faria (Autor) (FEUP); Raul F. A. M. Vidal (Autor) (Outra)
The Power of Closed Reduction Strategies
Alves, S (Autor) (FCUP); Fernandez, M (Autor) (Outra); Florido, M (Autor) (FCUP); Mackie, I (Autor) (Outra)
Model-based user interface testing with Spec Explorer and ConcurTaskTrees
José L. Silva (Autor) (Outra); José Creissac Campos (Autor) (Outra); Ana C. R. Paiva (Autor) (FEUP)
Minimality in a Linear Calculus with Iteration
Alves, S (Autor) (FCUP); Florido, M (Autor) (FCUP); Mackie, I (Autor) (Outra); Sinot, FR (Autor) (Outra)
Distribution and Mobility with Lexical Scoping in Process Calculi
Vasconcelos, VT (Autor) (Outra); Lopes, L (Autor) (FCUP); Silva, F (Autor) (FCUP)
Algebraic Specialization of Generic Functions for Recursive Types
Cunha, A (Autor) (Outra); Pacheco, H (Autor) (Outra)

Registos 1 a 9 de 9

 
1
 
Primeiro Resultado
Resultado Anterior
Resultado AnteriorResultado ActualResultado Seguinte
Resultado Seguinte
Último Resultado
 

Recomendar Página Voltar ao Topo
Copyright 1996-2024 © Faculdade de Economia da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z  I Livro de Visitas
Página gerada em: 2024-10-21 às 21:01:54 | Política de Utilização Aceitável | Política de Proteção de Dados Pessoais | Denúncias
SAMA2