59 resultados para Métodos formais. Desenvolvimento baseado em componentes. Concorrência. Verificação de modelos
Resumo:
Dissertação de mestrado em redes e serviços telemáticos
Resumo:
Dissertação de mestrado integrado em Psicologia
Resumo:
Tese de Doutoramento em Tecnologias e Sistemas de Informação
Resumo:
Dissertação de mestrado em Engenharia Humana
Resumo:
Dissertação de mestrado em Engenharia Mecânica
Resumo:
Dissertação de mestrado em Engenharia Eletrónica Industrial e Computadores (área de especialização em Robótica)
Resumo:
(CO)EMPREENDE-Programa de Empreededorismo
Resumo:
Dissertação de mestrado integrado em Engenharia Mecânica
Resumo:
Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e Computadores
Resumo:
Dissertação de mestrado em Optometria Avançada
Resumo:
Dissertação de mestrado em Técnicas de Caracterização e Análise Química
Resumo:
Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e Computadores
Resumo:
Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e de Computadores
Resumo:
Dissertação de mestrado integrado em Engenharia Mecânica
Resumo:
Dissertação de mestrado integrado em Engenharia Mecânica