Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

           

Lista de resultados: 1-10 de um total de 595 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
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 ChalupadoctoralThesisopenAccess
Nov-2002An adaptive e-Learning platform based on IP multicast technologyDeusdado, Sérgio; Carvalho, PauloconferencePaperopenAccess
Nov-2009CROSS-Fire : a risk management decision support system on the GridPina, António Manuel Silva; Oliveira, B.; Puga, Joel; Esteves, António; Proença, Alberto JoséconferencePaperopenAccess
2004TX: validação de XML baseada em tipos dinâmicosAlmeida, J. J.; Simões, AlbertoconferencePaperopenAccess
2005A study on usability criteria regarding interfaces for childrenMano, Alexandre; Campos, J. CreissacconferencePaperopenAccess
10-Out-2005Ulisses: um navegador conceptual para topic mapsLibrelotto, Giovani Rubert; Ramalho, José Carlos; Henriques, Pedro RangelconferencePaperopenAccess
Out-2006IVY trace visualiserCampos, J. Creissac; Sousa, Nuno Miguel Eira dearticleopenAccess
2003Type-based termination of recursive definitions and constructor subtyping in typed lambda calculiFrade, M. J.doctoralThesisopenAccess
2003The logic behind negotiation : from pre-argument reasoning to argument-based negotiationBrito, Luís; Novais, Paulo; Neves, JosébookPartopenAccess
Mai-2005Functional programming and program transformation with interaction netsMackie, Ian; Pinto, Jorge Sousa; Vilaça, MiguelreportopenAccess