Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 31-40 de um total de 76 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2013Experience with a middleware infrastructure for service oriented financial applicationsOliveira, José Pedro; Pereira, JoséArtigo em ata de conferênciaAcesso aberto
2013Hybridisation at workNeves, Renato; Madeira, Alexandre; Martins, Manuel A.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2013SPARK-BMC: checking SPARK code for bugsLourenço, Cláudio; Miraldo, Victor Cacciari; Frade, M. J.; Pinto, Jorge SousaResumo em ata de conferência Acesso aberto
2013A kernel density estimate-based approach to component goodness modelingAbreu, Rui; Cardoso, NunoArtigo em ata de conferênciaAcesso aberto
6-Mai-2013Causality tracking for disconnected and semi-connected distributed systemsFonte, VictorLivroAcesso restrito UMinho
6-Mai-2013Logical clock systems and the challenges of autonomous operationFonte, VictorLivroAcesso restrito UMinho
Mai-2013Calculating fault propagation in functional programsMurta, Daniel R.; Oliveira, José Nuno FonsecaRelatórioAcesso aberto
5-Abr-2013Cognitive assistance in intelligent environmentsCosta, Ângelo Gonçalo Araújo da SilvaTese de doutoramentoAcesso aberto
2013Automated theorem proving for the systematic analysis of interactive systemsHarrison, M. D.; Masci, P.; Campos, J. Creissac; Curzon, P.ArtigoAcesso aberto
2013Conflict classes for replicated databases: a case-studyNunes, Ana; Oliveira, Rui Carlos Mendes de; Pereira, JoséArtigo em ata de conferênciaAcesso aberto
31-40 de um total de 76 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir