Refine My Results

Resource Type 

1. Books  (969)
2. Articles  (82)
3. Academic Productions  (44)
4. Technical Productions  (13)
5. Journals  (10)
6. Artistic Productions  (8)
7. Text Resources  (1)
8. Audio Visual  (1)
9. More options 

Subject 

1. Teoria Da Computação  (766)
2. Ciência Da Computação  (137)
3. Computação Aplicada  (99)
4. Computer Science  (96)
5. Metodologia E Técnicas De Computação  (95)
6. Teoria Da Computação (Congressos)  (88)
7. Machine Theory  (75)
8. Linguagens Formais  (74)
9. Computational Complexity  (63)
10. Teoria Dos Grafos  (61)
11. Matemática Da Computação  (53)
12. Inteligência Artificial  (50)
13. Redes De Computadores  (50)
14. Computabilidade E Complexidade  (45)
15. Teoria Da Informação E Comunicação  (45)
16. Programming Languages (Electronic Computers)  (45)
17. Algoritmos E Estruturas De Dados  (44)
18. Softwares  (42)
19. Processamento De Dados  (41)
20. Electronic Digital Computers  (40)
21. More options 

Author/Creator 

1. ACM Special Interest Group for Automata and Computability Theory  (33)
2. ACM Symposium on Theory of Computing  (29)
3. Symposium on Foundations of Computer Science  (23)
4. Symposium on Theoretical Aspects of Computer Science  (23)
5. IEEE Computer Society Technical Committee on Mathematical Foundations of Computing  (19)
6. Conference on Foundations of Software Technology and Theoretical Computer Science  (18)
7. Colloquium on Automata, L  (18)
8. International Conference on Rewriting Techniques and Applications  (14)
9. Symposium on Mathematical Foundations of ComputerScience  (12)
10. José Neto, J  (11)
11. Kohayakawa, Y  (10)
12. International Colloquium on Automata, L  (10)
13. Simon, I  (9)
14. Menezes, P  (8)
15. Workshop on Computer Science Logic  (8)
16. Association for Computing Machinery  (8)
17. ACM Special Interest Group in Programming Languages  (8)
18. Sato, T  (8)
19. Nielsen, M  (8)
20. ACM Special Interest Group for Algorithms and Computation Theory  (8)
21. More options 

Creation Date 

1. Before1973  (70)
2. 1973To1985  (201)
3. 1986To1998  (424)
4. 1999To2012  (363)
5. After 2012  (78)
6. More options 

Library 

1. IME - Inst. Matemática e Estatística  (783)
2. ICMC - Inst. Ciên. Mat. Computação  (652)
3. IFSC - Inst. Física de São Carlos  (168)
4. EPBC - Esc. Politécnica-Bib Central  (74)
5. EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval  (32)
6. FEA - Fac. Econ. Adm. Contab. e Atuária  (29)
7. IF - Instituto de Física  (27)
8. EACH - Esc. Artes, Ciências e Humanidades  (22)
9. FFCLRP - Fac. Fil. Ciên. Let. de R. Preto  (17)
10. FFLCH - Fac. Fil. Let. e Ciências Humanas  (12)
11. PUSPSC - Prefeitura do Campus USP de São Carlos  (9)
12. ECA - Escola de Comunicações e Artes  (8)
13. IP - Instituto de Psicologia  (7)
14. FE - Faculdade de Educação  (7)
15. ESALQ - Biblioteca Central  (5)
16. EESC - Esc. Engenharia de São Carlos  (5)
17. EPECP - Esc. Politécnica-Bib Eng Civil e Prod  (5)
18. EEL - Biotecnologia e Química  (5)
19. IAG - Inst. Ast. Geo. Ciên. Atmosféricas  (4)
20. FAUMA - Fac. Arquit. Urbanismo - Maranhão  (4)
21. More options 

Language 

1. English  (966)
2. Portuguese  (145)
3. French  (16)
4. German  (7)
5. Spanish  (2)
6. Multiple languages  (2)
7. Undetermined  (1)
8. More options 

Journal Title 

1. Proceedings  (15)
2. Anais  (6)
3. Livro de Resumos  (3)
4. International Journal of Approximate Reasoning  (3)
5. Eletronic Notes in Discrete Mathematics  (2)
6. Lecture Notes in Computer Science  (2)
7. SIAM Journal on Applied Dynamical Systems  (2)
8. International Journal of Modern Physics C  (2)
9. Ciência Hoje  (2)
10. Physical Review Letters  (2)
11. Proceedings GECCO '21  (2)
12. Visual Computer  (2)
13. Computer Physics Communications  (2)
14. Algorithmica  (2)
15. GEOUSP Espaço e Tempo - Revista da Pós-Graduação em Geografia  (2)
16. European Physical Journal B  (2)
17. Concurency and Computation: practice and experience  (2)
18. Advanced Engineering Informatics,  (2)
19. Journal of Cryptology  (1)
20. Mathematical Foundations of Computer Science 2007  (1)
21. More options