Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 11-20 de um total de 53 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2015Automatic distinction of Fernando Pessoas’ heteronymsTeixeira, João F.; Couto, MarcoArtigo em ata de conferênciaAcesso restrito UMinho
Set-2015Monitoring for a decidable fragment of MTL-∫Pedro, André Matos; Pereira, David; Pinho, Luís Miguel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2015Layers, resources and property templates in the specification and analysis of two interactive systemsCampos, José C.; Curzon, Paul; Masci, Paolo; Harrison, Michael douglasArtigo em ata de conferênciaAcesso aberto
2017Systematic spreadsheet construction processesMendes, Jorge; Cunha, Jácome; Duarte, Francisco J.; Engels, Gregor; Saraiva, João; Sauer, StefanArtigo em ata de conferênciaAcesso restrito UMinho
2016User-friendly spreadsheet querying: An empirical studyPereira, Rui; Saraiva, João; Cunha, Jácome; Fernandes, João PauloArtigo em ata de conferênciaAcesso restrito UMinho
Jan-2018Global-Local view: Scalable consistency for concurrent data typesAkkoorath, Deepthi; Brandão, J.; Bieniusa, Annette; Baquero, CarlosArtigo em ata de conferênciaAcesso aberto
2017On kleene algebras for weighted computationGomes, Leandro; Madeira, Alexandre Leite Castro; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
Out-2017Digital governance for sustainable developmentBarbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2017Modeling families of public licensing services: a case studyCledou, Maria Guillermina; Barbosa, Luís SoaresArtigo em ata de conferênciaAcesso aberto
2017A framework for certification of large-scale component-based parallel computing systems in a cloud computing platform for HPC servicesDantas, A. O.; Carvalho, F. H.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
11-20 de um total de 53 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir