Refinar Meus Resultados

Tipo de Recurso 

1. Livros  (11)
2. Outros  (4)
3. Mais opções 

Assunto 

1. Ciência Da Computação  (7)
2. Arquitetura E Organização De Computadores  (4)
3. Engenharia De Software  (4)
4. Software Engineering  (4)
5. Especificação De Sistemas E Programas (Congressos)  (3)
6. Engenharia De Programas  (3)
7. Inteligência Artificial  (2)
8. Intelligent Agents (Computer Software)  (2)
9. Sistemas Multiagentes (Congressos)  (2)
10. Sistemas Distribuídos (Congressos)  (2)
11. Softwares  (2)
12. Z (Computer Program Language)  (2)
13. Inteligência Artificial (Congressos)  (2)
14. G Enie Logiciel  (1)
15. Greenbelt (Md., 2004)  (1)
16. Computer Software  (1)
17. M Ethode Formelle  (1)
18. Commande Intelligente  (1)
19. Intelligent Control Systems  (1)
20. Programming Languages (Electronic Computers)  (1)
21. Mais opções 

Autor/Criador 

1. Bowen, J  (7)
2. Costa, L  (4)
3. International Conference of Z Users  (4)
4. Rouff, C  (3)
5. Truszkowski, W  (3)
6. Till, D  (2)
7. Fett, A  (2)
8. International Workshop on Radical Agent Concepts  (2)
9. Nakagawa, E  (2)
10. Rash, J  (2)
11. Oliveira, M  (2)
12. Tinós, R  (2)
13. International Conference of Z Users, Z  (2)
14. Rago, P  (1)
15. Sterritt, R  (1)
16. FAABS 2002  (1)
17. FAABS 2004  (1)
18. Mais opções 

Data de Publicação 

1. Antes de1998  (5)
2. 1998Até2004  (4)
3. 2005Até2018  (2)
4. 2019Até2021  (3)
5. Após 2021  (1)
6. Mais opções 

Biblioteca 

1. ICMC - Inst. Ciên. Mat. Computação  (7)
2. IFSC - Inst. Física de São Carlos  (7)
3. IME - Inst. Matemática e Estatística  (6)
4. Mais opções