Skip navigation
Portal do Governo Brasileiro
Atualize sua Barra de Governo
Apresentação
Comunidades e coleções
Política
Instruções aos autores
Ajuda
Entrar em:
Meu espaço
Receber atualizações
por e-mail
Editar perfil
Repositório Institucional da UFMG
Navegando por Autor Elaine Gouvea Pimentel
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 do documento
Data de depósito
Tipo
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 1 a 6 de 6
Data do documento
Título
Autor(es)
Tipo
4-Abr-2008
Aspectos computacionais do cálculo de estruturas
Mario Sergio Ferreira Alvim Junior
Dissertação de Mestrado
17-Nov-2010
Especificação de sistemas utilizando lógica linear com subexponencias
Giselle Machado Nogueira Reis
Dissertação de Mestrado
29-Jun-2007
Uma linguagem de especificação formal orientada por aspectos
Wagner Salazar Pires
Dissertação de Mestrado
13-Mar-2007
Método de refinamento machina
Italo Giovani Abdanur Stefani
Dissertação de Mestrado
2-Fev-2011
Sobre as lógicas linear, intuicionista e clássica e suas especificações
Wesley Luiz Alves da Mata
Dissertação de Mestrado
9-Fev-2011
Teorema de Tarski
Luciana Franca da Cunha
Monografias de Especialização