Skip navigation
Universidade de Brasília

Página de Busca


Filtros correntes:

Retornar valores
Adicionar filtros:

Utilizar filtros para refinar o resultado de busca.

 | 
Resultado 21-30 de 55.
Conjunto de itens:
Data de publicaçãoData de defesaTítuloAutor(es)Orientador(es)Coorientador(es)
1-Fev-201715-Set-2016Unificação, confluência e tipos com interseção para sistemas de reescrita nominalValverde, Ana Cristina Rocha OliveiraAyala-Rincón, MauricioFernández, Maribel
26-Jul-202110-Mai-2021Eficiência energética em redes ópticas elásticasCosta, Lucas RodriguesDrummond, André Costa-
30-Jun-201123-Fev-2011Existência e multiplicidade de soluções para problemas elípticos com crescimento críticoSilva, João Pablo Pinheiro daFurtado, Marcelo Fernandes-
15-Ago-201911-Fev-2019A three layer system for audio-visual quality assessmentBecerra Martinez, Helard AlbertoFarias, Mylène Christine Queiroz de-
26-Fev-201630-Jul-2015Classical leakage-resilient circuits from quantum fault-tolerant computationLacerda, Felipe GomesNascimento, Anderson Clayton Alves-
4-Mai-202217-Fev-2022Existence, concentration and multiplicity of positive solutions for an elliptic system inRNArgomedo Salirrosas, Segundo ManuelFigueiredo, Giovany de Jesus Malcher-
4-Nov-20219-Jul-2021On Termination by Dependency Pairs and Termination of First-Order Functional Specifications in PVSAlmeida, Ariane AlvesAyala-Rincón, MauricioMuñoz, César Augusto
25-Jan-201629-Abr-2015Matching estável para tomada de decisão colaborativa na alocação de slotsArruda Junior, Antonio Carlos deWeigang, Li-
25-Fev-20163-Dez-2015Otimização de negociação dinâmica para múltiplas áreas restritas de fluxo no programa de opções de trajetórias colaborativoCruciol, Leonardo Luiz Barbosa VieiraWeigang, LiClarke, John-Paul
15-Fev-201829-Set-2017Feature-family-based reliability analysis of software product linesMartins Lanna, André Luiz PeronAlves, Vander RamosRodrigues, Genaína Nunes

Busca facetada