Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 54 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
25-Jun-2012Formal verification of cryptographic software implementationsVieira, Bárbara Isabel SousaTese de doutoramentoAcesso aberto
19-Dez-2012Computational tools for large-scale biological network analysisPinto, José Pedro Basto Gouveia PereiraTese de doutoramentoAcesso aberto
23-Mar-2012Robust distributed data aggregationJesus, Paulo César de OliveiraTese de doutoramentoAcesso aberto
16-Dez-2010Practical database replicationCorreia Júnior, Alfrânio TavaresTese de doutoramentoAcesso aberto
14-Dez-2012Clouder : a flexible large scale decentralized object storeVilaça, Ricardo Manuel PereiraTese de doutoramentoAcesso aberto
26-Abr-2018O impacto da animação e da avaliação automática na motivação para o ensino da programaçãoTavares, Paula CorreiaTese de doutoramentoAcesso aberto
17-Set-2012Bidirectional data transformation by calculationPacheco, Hugo José PereiraTese de doutoramentoAcesso aberto
29-Jan-2018Broadcast cancellation in unstructured networksLima, Rui Manuel Dias FerreiraTese de doutoramentoAcesso aberto
19-Dez-2011Agents in the market place an exploratory study on using intelligent agents to trade financial instrumentsBarbosa, Rui PedroTese de doutoramentoAcesso aberto
27-Fev-2015An ontology toolkit for problem domain concept location in program comprehensionCarvalho, Nuno Alexandre RamosTese de doutoramentoAcesso aberto
1-10 de um total de 54 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir