Refinar Meus Resultados

Tipo de Recurso 

1. Artigos  (6.517)
2. Revistas  (1)
3. Mais opções 

Assunto 

1. Computer Science  (3.533)
2. Technology  (3.475)
3. Computer Science, Theory & Methods  (3.468)
4. Science & Technology  (3.468)
5. Model Checking  (176)
6. Theoretical Computer Science  (118)
7. General Computer Science  (118)
8. Verification  (115)
9. Formal Methods  (82)
10. Process Algebra  (76)
11. Concurrency  (73)
12. Refinement  (70)
13. Abstract Interpretation  (67)
14. Coalgebra  (67)
15. Logic In Computer Science  (66)
16. Static Analysis  (66)
17. Formal Verification  (64)
18. Simulation  (56)
19. Bisimulation  (55)
20. Graph Transformation  (55)
21. Java  (40)
22. Teoria Dos Grafos  (3)
23. Lógica Formal  (3)
24. Inteligência Artificial  (3)
25. Programação Matemática  (2)
26. Ciência Da Computação  (1)
27. Semântica  (1)
28. Modelos Matemáticos  (1)
29. Lógica Modal  (1)
30. Teoria Dos Conjuntos  (1)
31. Workshop on Logical and Semantic Frameworks - LSFA (8. 2013 São Paulo, Brazil)  (1)
32. Modelos De Processo De Software  (1)
33. Web Semântica  (1)
34. Computabilidade E Complexidade  (1)
35. Representação De Conhecimento  (1)
36. Teoria Dos Autômatos  (1)
37. Java  (1)
38. Variedades Complexas  (1)
39. Mais opções 

Autor/Criador 

1. Finger, M  (6)
2. Latin and American Algorithms, G  (4)
3. Melo, A  (3)
4. Brazilian Symposium on Formal Methods - SBMF  (2)
5. Coutinho, G  (2)
6. Workshop on Logic, L  (2)
7. Workshop on Logical and Semantic Frameworks  (2)
8. Fernandes, C  (2)
9. Monard, M  (2)
10. Spolaôr, N  (2)
11. Cherman, E  (2)
12. Mota, G  (1)
13. Botler, F  (1)
14. Brazilian Workshop on Formal Methods - WMF  (1)
15. Urrutia, S  (1)
16. Lintzmayer, C  (1)
17. Tomás, J  (1)
18. Lee, O  (1)
19. Lee, H  (1)
20. Silva, P  (1)
21. Mais opções 

Data de Publicação 

1. Antes de1999  (347)
2. 1999Até2003  (1.805)
3. 2004Até2008  (2.590)
4. 2009Até2014  (1.236)
5. Após 2014  (540)
6. Mais opções 

Biblioteca 

1. IME - Inst. Matemática e Estatística  (14)
2. ICMC - Inst. Ciên. Mat. Computação  (2)
3. Mais opções 

Base de Dados/Biblioteca 

1. EZB Electronic Journals Library  (6.497)
2. ScienceDirect - Connect here FIRST to enable access  (6.497)
3. ROAD: Directory of Open Access Scholarly Resources  (6.496)
4. DOAJ Directory of Open Access Journals  (11)
5. Opus: University of Bath's Eprints IR  (10)
6. IngentaConnect Journals  (4)
7. Emerald Management eJournls (Archives)  (4)
8. Lirias (KU Leuven Association)  (4)
9. Recercat  (4)
10. BACON - Mir@bel - GLOBAL_LIBRESACCES  (2)
11. LWW_医学期刊  (1)
12. Leiden University Repository  (1)
13. Journals@Ovid Full Text  (1)
14. Mais opções 

Idioma 

1. Inglês  (6.492)
2. Japonês  (131)
3. Português  (26)
4. Francês  (2)
5. Mais opções 

Nome da Publicação 

1. Proceedings Of The 5th International Conference On Computability And Complexity In Analysis, Cca 2008  (23)
2. Electronic Proceedings In Theoretical Computer Science  (10)
3. Society And Business Review  (4)
4. Electronical Notes In Theoretical Computer Science  (3)
5. Coalgebraic Methods In Computer Science  (1)
6. Arxiv  (1)
7. Coalgebraic Methods In Computer Science Cmcs-2000,2000  (1)
8. A&a Practice  (1)
9. Calculemus Workshop Of Floc'99  (1)
10. Mais opções