Página de Busca
Adicionar filtros:
Utilizar filtros para refinar o resultado de busca.
Conjunto de itens:
Câmpus | Programa/Curso | Data do documento | Título | Autor(es) |
---|---|---|---|---|
Ponta Grossa | Ciência da Computação | 9-Jun-2017 | Implementação e verificação formal de planos de um agente racional modelado para condução de um veículo autônomo | Fernandes, Lucas Emanuel Ramos |
Ponta Grossa | Ciência da Computação | 13-Nov-2015 | Modelagem e implementação de um sistema multiagente utilizando a plataforma Jacamo para alocação de vagas em um estacionamento inteligente | Castro, Lucas Fernando Souza de |
Ponta Grossa | Ciência da Computação | 27-Out-2016 | Interligação entre a ferramenta de simulação SUMO e o projeto MAPS | Heijmeijer, Alexis van Haare |
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 |
Ponta Grossa | Ciência da Computação | 5-Jun-2019 | Implementação de um sistema multiagente com mecanismo de negociação descentralizado para um estacionamento inteligente | Ducheiko, Felipe Felix |
Busca facetada
Assunto
Possuem Arquivo(s)
- 15 true