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
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
Nov-2010Characterization and semantic modeling of services in multiservice networksRodrigues, Carlos; Lima, Solange; Álvarez-Sabucedo, Luis M.; Carvalho, PauloArtigo em ata de conferênciaAcesso aberto
Mai-2010Processing XML: a rewriting system approachSimões, Alberto; Almeida, J. J.Artigo 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
8-Mar-2011Algebraic specialization of generic functions for recursive typesCunha, Alcino; Pacheco, HugoArtigoAcesso aberto
Set-2014Paralelização de algoritmos de enumeração para o problema do vector mais curto em sistemas de memória partilhada e distribuídaCorreia, Fábio José Gonçalves; Mariano, Artur Miguel Matos; Proença, Alberto JoséArtigo em ata de conferênciaAcesso aberto
2014Atmospheric scattering - state of the artLopes, Diogo A. R.; Fernandes, António RamiresArtigo em ata de conferênciaAcesso aberto
2016An approach towards the reconstruction of regulatory networksPereira, Rafael Teodósio; Costa, Hugo; Mendes, RuiArtigoAcesso aberto
2011Model checking a decentralized storage deduplication protocolPaulo, João; Pereira, JoséArtigo em ata de conferênciaAcesso aberto
1-10 de um total de 291 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir