Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 21-30 de um total de 291 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2014Open source debuggers and integration with a 3D engineLiu, Andre Alexandre Wang; Fernandes, António RamiresArtigo 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
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
2011Models as arrows: the role of dialgebrasMartins, Manuel A.; Madeira, A.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2011Privacidade e proteção de dados nos cuidados de saúde de IdososAndrade, Francisco Carneiro Pacheco; Costa, Ângelo; Novais, PauloArtigo em ata de conferênciaAcesso aberto
2011Supporting requirements formulation in software formal verificationCampos, J. Creissac; Machado, José MendesArtigo em ata de conferênciaAcesso aberto
2011Partial models in formal verification of industrial automation discrete systemsMachado, José Manuel; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2010Tools for traffic engineering on IP networksSá, Tiago; Rocha, Miguel; Sousa, PedroArtigo em ata de conferênciaAcesso aberto
2010A unifying role and organization based access controlNovais, José; Nuno, Ribeiro; Sousa, PedroArtigo em ata de conferênciaAcesso restrito UMinho
21-30 de um total de 291 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir