Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 291 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2014Atmospheric scattering - state of the artLopes, Diogo A. R.; Fernandes, António RamiresArtigo em ata de conferênciaAcesso aberto
2011On requirements engineering for reactive systems: a formal methodologyMadeira, A.; Faria, José Miguel; Martins, Manuel A.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2011Automatic classification of personal conflict styles in conflict resolutionCarneiro, Davide Rua; Gomes, Marco; Novais, Paulo; Andrade, Francisco Carneiro Pacheco; Neves, JoséArtigo em ata de conferênciaAcesso aberto
8-Mar-2011Algebraic specialization of generic functions for recursive typesCunha, Alcino; Pacheco, HugoArtigoAcesso aberto
2011Model checking a decentralized storage deduplication protocolPaulo, João; Pereira, JoséArtigo em ata de conferênciaAcesso aberto
2010Automating psycholinguistic statistics computation: procura palavrasMachado, João F.; Almeida, J. J.; Simões, Alberto; Soares, Ana PaulaArtigo em ata de conferênciaAcesso aberto
2011Relational databases conceptual preservationFreitas, Ricardo André Pereira; Ramalho, José CarlosArtigo em ata de conferênciaAcesso aberto
2010Interoperability in healthcareMiranda, Miguel; Duarte, Júlio; Abelha, António; Machado, José Manuel; Neves, José; Neves, JoãoArtigo em ata de conferênciaAcesso restrito UMinho
2010Cross-Fire: a grid platform to integrate geo-referenced web services for real-time risk managementPina, António Manuel Silva; Oliveira, B.; Ribeiro, Luís Mário; Puga, Joel; Esteves, António; Proença, Alberto José; Viegas, Domingos X.ArtigoAcesso aberto
2011Reasoning about complex requirements in a uniform settingMartins, Manuel A.; Madeira, A.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
1-10 de um total de 291 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir