Portal do Governo Brasileiro
s
Mostrando
1 - 1
resultados de
1
para a busca '
'
Pular para o conteúdo
Institucional
Sobre
Como participar
Diretrizes
Indicadores
Rede
Instituições participantes
Tecnologia
Faq
Contato
A sua conta
Sair
Entrar
Todos os campos
Título
Ano da publicação
Autor
Assunto
Resumo
Buscar
Busca avançada
Orientador(a):
Julia, Stéphane
Área do conhecimento CNPq:
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Assunto em inglês:
Linear logic
Assunto:
Rede de petri
Outro:
Repositório Institucional da UFU
Mostrar filtros (5)
Orientador(a):
Julia, Stéphane
Área do conhecimento CNPq:
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Assunto em inglês:
Linear logic
Assunto:
Rede de petri
Outro:
Repositório Institucional da UFU
Resultados da busca
Mostrando
1 - 1
resultados de
1
para a busca '
'
, tempo de busca: 0,02s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
Exportar
Exportar RIS
Exportar CSV
1
Modelagem e análise de video games usando as workflow nets e a lógica linear
Por
Oliveira, Guilherme Willian de
Publicado em 2012
Acessar documento (1)
Acessar documento (2)
Dissertação
Voltar
Refinar a Busca
Instituição de defesa
Universidade Federal de Uberlândia (UFU)
1
Bases coletadas
Repositório Institucional da UFU
1
Programa de Pós-Graduação
Programa de Pós-graduação em Ciência da Computação
1
Autor
Oliveira, Guilherme Willian de
1
Orientador(a)
Julia, Stéphane
Tipo de documento
Dissertação
1
Tipo de acesso
openAccess
1
Idioma
Português
1
Assunto
Lógica linear
1
Rede de petri
Software - Desenvolvimento
1
Soudness
1
Video games
1
Workow net
1
Assunto em inglês
Linear logic
Petri net
1
Soundness
1
Workow net
1
Área do conhecimento CNPq
CIENCIA DA COMPUTACAO
Ano da publicação
De:
Até:
Carregando...