Mostrando
1 - 2
resultados de
2
para a busca '
Nacif, Jose Augusto
'
Pular para o conteúdo
Portal do Governo Brasileiro
Toggle navigation
Instituto Brasileiro de Informação em Ciência e Tecnologia
Início
Sobre
Fontes Coletadas
Indicadores
Contato
Faq
A sua conta
Sair
Entrar
Idioma
Português (Brasil)
English
Todos os campos
Título
Autor
Assunto
Buscar
Busca avançada
Autor
Nacif, Jose Augusto
Exportar
Exportar RIS
Exportar CSV
Mostrando
1 - 2
resultados de
2
para a busca '
Nacif, Jose Augusto
'
, tempo de busca: 0,04s
Refinar Resultados
Ordenar
Relevância
Data descendente
Data ascendente
Área
Autor
Título
1
Selection of formal verification heuristics for parallel execution
por
Nacif
,
Jose
Augusto
Publicado em 2011
Acessar documento (1)
Acessar documento (2)
Artigo
2
Efficient allocation of verification resources using revision history information.
por
Nacif
,
José
Augusto
Miranda
Publicado em 2008
Acessar documento
Artigo de conferência
Exportar CSV
Exportar RIS
Carregando...