Refinar Meus Resultados

Tipo de Recurso 

1. Artigos  (10)
2. Produções Acadêmicas  (2)
3. Mais opções 

Assunto 

1. Sistemas Multiagentes  (5)
2. Inteligência Artificial  (3)
3. Behaviorismo  (3)
4. Metodologia E Técnicas De Computação  (2)
5. Simulação  (2)
6. Redes Sociais  (2)
7. Model Based Testing  (1)
8. Computação Móvel  (1)
9. Liberdade  (1)
10. Comportamentalismo  (1)
11. Verificação Formal  (1)
12. Métodos Formais  (1)
13. Behaviourism  (1)
14. Formal Verification  (1)
15. Ambientes  (1)
16. Telefonia Celular  (1)
17. Formal Methods  (1)
18. Teste Baseado Em Modelos  (1)
19. Marxismo (Crítica E Interpretação)  (1)
20. Semântica De Programação  (1)
21. Mais opções 

Autor/Criador 

1. Melo, A  (11)
2. Silva, P  (11)
3. IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Workshops WI-IAT  (2)
4. Gaudel, M  (1)
5. International Conference on Autonomous Agents and Multi Agent Systems - AAMAS  (1)
6. Brazilian Symposium on Formal Methods - SBMF  (1)
7. International Conference on Fundamental Approaches to Software Engineering - FASE  (1)
8. Vasconcelos, J  (1)
9. OTM Confederated International Conferences "On the Move to Meaningful Internet Systems" - OTM  (1)
10. Simpósio Internacional de Iniciação Científica da Universidade de São Paulo - SIICUSP 2009  (1)
11. Grespan, J  (1)
12. Brazilian Symposium on Formal Methods: Foundatons and applications - SBMF  (1)
13. Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium  (1)
14. Mais opções 

Data de Publicação 

1. Antes de2007  (1)
2. 2007Até2007  (1)
3. 2008Até2008  (1)
4. 2009Até2010  (3)
5. Após 2010  (6)
6. Mais opções 

Biblioteca 

1. IME - Inst. Matemática e Estatística  (10)
2. FFLCH - Fac. Fil. Let. e Ciências Humanas  (1)
3. Mais opções 

Idioma 

1. Inglês  (11)
2. Português  (1)
3. Mais opções 

Nome da Publicação 

1. Proceedings  (7)
2. Simulation  (1)
3. Electronic Notes in Theoretical Computer Science  (1)
4. Resumos  (1)
5. Mais opções