Portal do Governo Brasileiro
s
Mostrando
1 - 1
resultados de
1
para a busca '
parallelism provas linear programming
'
Pular para o conteúdo
Institucional
Sobre
Como participa
Diretrizes
Indicadores
Rede
Instituições participantes
Tecnologia
Dúvidas frequentes
Contato
A sua conta
Sair
Entrar
Todos os campos
Título
Ano da publicação
Autor
Assunto
Resumo
Buscar
Busca avançada
Resultados da busca: parallelism provas linear programming
Buscas alternativas
:
parallelism »
paralelismo
(Expandir a busca)
Mostrando
1 - 1
resultados de
1
para a busca '
parallelism provas linear programming
'
, tempo de busca: 0,12s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
Exportar
Export RIS
Exportar CSV
1
Verificação abstrata de propriedades dramáticas contínuas em eventos não determinísticos
Por
Gottin, Vinícius Michel
Publicado em 2013
Acessar documento
Dissertação
Voltar
Refinar a Busca
Instituição de defesa
Universidade Federal do Estado do Rio de Janeiro (UNIRIO)
1
Bases coletadas
Repositório Hórus
1
Autor
Gottin, Vinícius Michel
1
Tipo de documento
Dissertação
1
Tipo de acesso
openAccess
1
Idioma
Português
1
Assunto
Arco Dramático
1
Artificial Intelligence
1
CIÊNCIA DA COMPUTAÇÃO
1
CIÊNCIAS EXATAS E DA TERRA
1
Dramatic properties
1
Execução Simbólica
1
Mais ...
Inteligência Artificial
1
Interactive Storytelling
1
Model checking
1
Nondeterminism
1
Não determinismo
1
Propriedades Dramáticas
1
Storytelling Interativo
1
Symbollic execution
1
Verificação de Modelos
1
Ver todos ...
menos ...
Ano da publicação
De:
Até:
Carregando...
