Skip navigation
Comunidades e Coleções
Navegar
Autor
Orientador
Coorientador
Título
Assunto
Tipo
Data de publicação
Unidade Acadêmica
Programa de pós-graduação
Documentos
Portaria n.13 CAPES
Resolução - Política de Informação do RIUnB
Resolução VRT n.27-2014 - Alteração de Teses e Dissertações
Creative Commons
Termo de Autorização - Teses e Dissertações
Termo de Autorização - Artigos e Outros
Modelo de Justificativa - Publicação Parcial
Modelo de Justificativa - Extensão de Prazo
A-
A
A+
Entrar em:
Meu espaço
Receber atualizações por e-mail
Editar perfil
Voltar
Repositório Institucional da UnB
Navegando por Assunto Linguagem de programação (Computadores)
Ir para:
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
ou entre com as primeiras letras:
Classificar por:
Título
Data de publicação
Data de depósito
Data de defesa
Em ordem:
Ascendente
Descendente
Resultados/Página
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Registro(s):
Todos
1
5
10
15
20
25
30
35
40
45
50
Mostrando resultados 7 a 14 de 14
< Anterior
Data de publicação
Data de defesa
Título
Autor(es)
Orientador(es)
Coorientador(es)
2-Out-2012
5-Jul-2012
Impacto da adoção da linguagem XBRL sobre a assimetria informacional : uma análise empírica nas empresas brasileiras listadas na Bolsa de Valores de Nova Iorque
Prado, Alexsandro Gonçalves da Silva
Leite Filho, Paulo Amilton Maia
-
17-Dez-2020
29-Jul-2020
Introdução ao R no Ensino Médio usando recuperação de imagens como motivação
Santos, Kellem Corrêa
Rispoli, Vinicius de Carvalho
-
14-Mar-2009
14-Mar-2009
LUACOMP : ferramenta de autoria de aplicações para tv digital
Souza Júnior, Paulo José de
Gondim, Paulo Roberto de Lira
-
-
6-Jul-2020
Sistema para automação de testes no relé SEL-T400L
Honorato, Tiago da Rocha
Silva, Kleber Melo e
-
27-Ago-2018
29-Set-2017
Transformações de programa para suportar a evolução da linguagem Java
Dantas, Reno Medeiros
Almeida, Rodrigo Bonifácio de
-
24-Out-2012
6-Jul-2012
Um estudo sobre verificação formal de sistemas concorrentes
Queiroz, João Paulo Carvalho Colu de
Moura, Flávio Leonardo Cavalcanti de
-
26-Jan-2011
19-Jul-2010
Uma formalização da composicionalidade do cálculo lambda-ex em Coq
Barros, Flávio José Ferro
Moura, Flávio Leonardo Cavalcanti de
-
8-Mar-2013
-
Unification modulo Presburger Arithmetic and other decidable theories
Ayala-Rincón, Mauricio
;
Araújo, Ivan Eid Tavares de
-
-