Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 24 resultados (tempo de pesquisa: 0.156 segundos).
DataTítuloAutor(es)TipoAcesso
2002Resolução de problemas em ambientes distribuídos : uma contribuição nas áreas da inteligência artificial e da saúdeAlves, VictorTese de doutoramentoAcesso aberto
2003Type-based termination of recursive definitions and constructor subtyping in typed lambda calculiFrade, M. J.Tese de doutoramentoAcesso aberto
2005Point-free program calculationCunha, AlcinoTese de doutoramentoAcesso aberto
2001Components as coalgebrasBarbosa, L. S.Tese de doutoramentoAcesso aberto
2002Sistematização da animação de programas : proposta de um novo sistema para construção automática e sistemática de animações de programasPereira, Maria João Tinoco VarandaTese de doutoramentoAcesso aberto
2001Agentes inteligentes como objectos dum sistema distribuído de realidade virtualMachado, José ManuelTese de doutoramentoAcesso restrito UMinho
2004Modelo de desenvolvimento de arquitecturas de sistemas de informaçãoTomé, Paulo Rogério P.Tese de doutoramentoAcesso aberto
2004Comparação e classificação de métodos de avaliação do processo de software utilizando uma metodologia numérica e exploratóriaSampaio, Alberto António de ChalupaTese de doutoramentoAcesso aberto
24-Abr-2009Estratégias de participação para a optimização da descarga distribuída da WebExposto, JoséTese de doutoramentoAcesso aberto
11-Mai-2009Foundations of program refinement by calculationRodrigues, César J.Tese de doutoramentoAcesso aberto
1-10 de um total de 24 resultados (tempo de pesquisa: 0.156 segundos).

Descobrir