59 resultados para Métodos formais. Desenvolvimento baseado em componentes. Concorrência. Verificação de modelos


Relevância:

30.00% 30.00%

Publicador:

Resumo:

Dissertação de mestrado integrado em Engenharia Civil

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Tese de Doutoramento em Engenharia Civil.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Dissertação de mestrado integrado em Engenharia Civil

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Dissertação de mestrado integrado em Engenharia Civil

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Doctoral Dissertation for PhD degree in Chemical and Biological Engineering

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Tese de Mestrado Ciclo de Estudos Integrados Conducentes ao Grau de Mestre em Arquitectura Área de Especialização: Construção e Tecnologia

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Dissertação de mestrado em Técnicas de Caracterização e Análise Química

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Dissertação de mestrado em Bioquímica Aplicada (área de especialização em Biotecnologia)

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Dissertação de mestrado em Técnicas de Caraterização e Análise Química

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Relatório de estágio de mestrado em Ensino de Filosofia no Ensino Secundário

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Dissertação de mestrado em Gestão de Recursos Humanos

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Dissertação de mestrado integrado em Engenharia Mecânica

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Tese de Doutoramento em Tecnologias e Sistemas de Informação.