Navegando por Orientador Alves, Gleifer Vaz
Mostrando resultados 11 a 15 de 15
< Anterior
Câmpus | Programa/Curso | Data do documento | Título | Autor(es) |
---|---|---|---|---|
Ponta Grossa | Ciência da Computação | 25-Mai-2017 | Organização social e normativa de um sistema multiagente para alocação de vagas em um estacionamento inteligente | Gonçalves, Wesley Ramos Cavalcante |
Ponta Grossa | Tecnologia em Análise e Desenvolvimento de Sistemas | 4-Jun-2012 | Proposta de modelagem de um sistema de trocas em jogos MMORPG via agentes inteligentes | Maluf Junior, Alceon |
Ponta Grossa | Tecnologia em Análise e Desenvolvimento de Sistemas | 6-Jun-2012 | Representação computacional para grafos-de-prova | Santos, Daniel Vaz dos |
Ponta Grossa | Ciência da Computação | 12-Mai-2016 | Utilização de model checking na verificação formal de um protocolo de rede full duplex sem fio | Pereira Júnior, Matheus |
Ponta Grossa | Ciência da Computação | 11-Nov-2014 | Verificação formal de um protocolo de rede sem fio através de model checking | Rosas, Fabiano Almeida |