59 resultados para Métodos formais. Desenvolvimento baseado em componentes. Concorrência. Verificação de modelos
Resumo:
Dissertação de mestrado integrado em Engenharia Mecânica
Resumo:
Dissertação de mestrado integrado em Engenharia Mecânica
Resumo:
Dissertação de mestrado integrado em Engenharia Mecânica
Resumo:
Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação
Resumo:
Tese de Doutoramento em Ciências da Educação (Especialidade em Tecnologia Educativa)
Resumo:
Tese de Doutoramento em Tecnologias e Sistemas de Informação
Resumo:
Tese de Doutoramento em Ciências (Especialidade de Geologia)
Resumo:
Tese de Doutoramento em Ciências da Educação (área de especilização em Desenvolvimento Curricular).
Resumo:
Tese de Doutoramento em Biologia de Plantas
Resumo:
The MAP-i Doctoral Programme in Informatics, of the Universities of Minho, Aveiro and Porto
Resumo:
Dissertação de mestrado Internacional em Ambiente Construído Sustentável
Resumo:
Dissertação de mestrado Internacional em Sustentabilidade do Ambiente Construído
Resumo:
Tese de Doutoramento em Biologia Molecular e Ambiental (área de especialização em Biologia Celular e Saúde).
Resumo:
Dissertação de mestrado integrado em Engenharia Civil
Resumo:
Dissertação de mestrado integrado em Engenharia Civil