999 resultados para Métodos formais. Desenvolvimento baseado em componentes. Concorrência. Verificação de modelos
                                
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
                                
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
 
                    