Pesquisa avançada

.

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 1111 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
2014Atmospheric scattering - state of the artLopes, Diogo A. R.; Fernandes, António RamiresArtigo em ata de conferênciaAcesso aberto
2005Identity and representation: social justice and community building through the Museums of the PersonWorcman, Karen; Gillespie, Thom; Stafford, Philip B.; LeClerc, Jean-François; Henriques, Pedro RangelArtigo em ata de conferênciaAcesso aberto
24-Abr-2009Estratégias de participação para a optimização da descarga distribuída da WebExposto, JoséTese de doutoramentoAcesso aberto
1998"Explosive" programming controlled by calculationOliveira, José Nuno FonsecaRelatórioAcesso aberto
19-Dez-2012Computational tools for large-scale biological network analysisPinto, José Pedro Basto Gouveia PereiraTese de doutoramentoAcesso aberto
2006Ambition : ambient intelligence with emotional behaviourRamos, Carlos; Marreiros, Goreti; Sousa, Paulo; Marinho, José; Santos, Ricardo; Neves, José; Abelha, António; Machado, José ManuelArtigo em ata de conferênciaAcesso restrito UMinho
2009GRASPm: An efficient algorithm for exact pattern-matching in genomic sequencesDeusdado, Sergio; Carvalho, PauloArtigoAcesso restrito UMinho
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
10-Out-2005Ulisses: um navegador conceptual para topic mapsLibrelotto, Giovani Rubert; Ramalho, José Carlos; Henriques, Pedro RangelArtigo em ata de conferênciaAcesso aberto
1-10 de um total de 1111 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir