Skip navigation
Universidade de Brasília

Buscar por ???browse.type.metadata.unidade??? Instituto de Ciências Exatas (IE)

Ir a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
O introducir las primeras letras:  
Mostrando resultados 1077 a 1089 de 1089 < Anterior 
Fecha de publicaciónData de defesaTítuloAutor(es)Orientador(es)Coorientador(es):
25-nov-20143-jul-2014VaR para riscos agregados não necessariamente independentes com cópulasFaria, João Marcelo Brito Alves deGuevara Otiniano, Cira Etheowalda-
20082008Variedades de p-grupos sem base finitaBrito, Jorge Augusto Gonçalo deKrassilnikov, Alexei-
22-oct-20144-jul-2014Verificação de implementações em hardware por meio de provas de correção de suas definições recursivasAlmeida, Ariane AlvesAyala-Rincón, Mauricio-
11-may-201113-jul-2010Verificação de propriedades do cálculo גex em CoqCarvalho Segundo, Washington Luís Ribeiro deMoura, Flávio Leonardo Cavalcanti de-
17-jul-201510-mar-2015Verificação de texto manuscrito em dispositivos móveisGuerin Júnior, Nilson DonizeteEspinoza, Bruno Luiggi MacchiavelloVidal, Flávio de Barros
20082008Verificação formal de protocolos criptográficos – o caso dos protocolos em cascataNogueira, Rodrigo BorgesAyala-Rincón, Mauricio-
15-may-202026-jul-2019Verification of the Dynamic Authorization ProtocolOliveira, Felipe Rodopoulos deNalon, Cláudia-
7-dic-20092006Visualização de dados genômicos do fungo Paracoccidioides brasiliensisFerreira, Marcos Francisco RibeiroWalter, Maria Emília Machado Telles-
3-dic-20206-ago-2020Visualizações dinâmicas na geometria plana do PROFMATSilva, Mayco SabóiaEvangelista, Tatiane da Silva-
dic-2019-Vocal fold oscillators at large asymmetriesLucero, Jorge Carlos; Pelorson, X.; Hirtum, A. V.--
-18-feb-2020What could the source code history tell UsAbout errorsAmaral, Luis Henrique VieiraAlmeida, Rodrigo Bonifácio de-
oct-2020-What do female students in middle and high schools think about computer science majors in Brasilia, Brazil? : a survey in 2011 and 2019Holanda, Maristela Terto de; Mourão, Roberto N.; Borries, George Freitas von; Ramos, Guilherme Novaes; Araújo, Aletéia Patrícia Favacho de; Walter, Maria Emília Machado Telles--
13-ago-202120-may-2021Xadrez de sociedade : do game à gamificaçãoEscobar, Daniel MattosBastos Júnior, Raimundo de Araújo-
Mostrando resultados 1077 a 1089 de 1089 < Anterior