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
Área do conhecimento CNPq:
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Assunto:
SIMULA??O E MODELAGEM EM COMPUTADORES
Autor:
Wondracek, Alberto do Carmo Sulzbacher
Mostrar filtros (3)
Área do conhecimento CNPq:
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Assunto:
SIMULA??O E MODELAGEM EM COMPUTADORES
Autor:
Wondracek, Alberto do Carmo Sulzbacher
Resultados da busca
Mostrando
1 - 1
resultados de
1
para a busca '
'
, tempo de busca: 0,01s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
Exportar CSV
1
Tradu??o de modelos de redes de automatos estoc?sticos para a linguagem do NUSMV
Por
Wondracek, Alberto do Carmo Sulzbacher
Publicado em 2013
Acessar documento
Dissertação
Voltar
Refinar a Busca
Instituição de defesa
PUC_RS
1
Bases coletadas
Biblioteca Digital de Teses e Dissertações da PUC_RS
1
Programa de Pós-Graduação
Programa de P?s-Gradua??o em Ci?ncia da Computa??o
1
Autor
Wondracek, Alberto do Carmo Sulzbacher
Orientador(a)
Dotti, Fernando Lu?s
1
Tipo de documento
Dissertação
1
Tipo de acesso
openAccess
1
Idioma
Português
1
Assunto
INFORM?TICA
1
REDES DE AUT?MATOS ESTOC?STICOS
1
SIMULA??O E MODELAGEM EM COMPUTADORES
Área do conhecimento CNPq
CIENCIA DA COMPUTACAO
Ano da publicação
De:
Até:
Carregando...