Refinar Meus Resultados

Tipo de Recurso 

1. Livros  (149)
2. Anais de Congresso  (7)
3. Mais opções 

Assunto 

1. Teoria Da Computação (Congressos)  (88)
2. Teoria Da Computação  (57)
3. Computer Science  (23)
4. Machine Theory  (21)
5. Computer Programming  (19)
6. Metodologia E Técnicas De Computação  (16)
7. Computabilidade E Complexidade (Congressos)  (15)
8. Electronic Data Processing  (15)
9. Técnicas De Programação (Congressos)  (13)
10. Sistemas Operacionais (Congressos)  (12)
11. Algorithms  (12)
12. Ciência Da Computação  (11)
13. Computational Complexity  (11)
14. Ciência Da Computação (Congressos)  (8)
15. Algoritmos E Estruturas De Dados (Congressos)  (8)
16. Computer Software  (8)
17. Engenharia De Software  (8)
18. Softwares  (8)
19. Congressos  (7)
20. Programas De Computador  (7)
21. Processamento Eletrônico De Dados (Congressos)  (7)
22. Cryptography  (7)
23. Theory Of Computation -- Design And Analysis Of Algorithms  (5)
24. Mathematics Of Computing -- Discrete Mathematics  (3)
25. Theory Of Computation  (3)
26. Theory Of Computation -- Models Of Computation -- Abstract Machines  (3)
27. Theory Of Computation -- Models Of Computation  (2)
28. Mathematics Of Computing -- Discrete Mathematics -- Graph Theory  (2)
29. Theory Of Computation -- Computational Complexity And Cryptography  (2)
30. Computer Science—mathematics  (1)
31. Artificial Intelligence  (1)
32. Compilers  (1)
33. Electronic Data Processing  (1)
34. Computer Graphics  (1)
35. Computadoras  (1)
36. Computer Science Mathematics  (1)
37. Computer Science-Mathematics  (1)
38. Computer Science-Mathematics-Congresses  (1)
39. Mais opções 

Autor/Criador 

1. Conference on Foundations of Software Technology and Theoretical Computer Science  (11)
2. Symposium on Foundations of Computer Science  (10)
3. International Conference on Rewriting Techniques and Applications  (6)
4. IEEE Xplore (Online service)  (6)
5. IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing  (6)
6. International Joint Conference on Theory and Practice of Software Development  (5)
7. Colloquium on Automata, L  (4)
8. International Symposium on Design and Implementation of Symbolic Computation Systems  (4)
9. International Colloquium on Automata, L  (4)
10. ACM Symposium on Theory of Computing  (4)
11. Workshop on Computer Science Logic  (3)
12. Liu, Z  (3)
13. International Workshop on DNA-Based Computers  (3)
14. Symposium on Theoretical Aspects of Computer Science  (3)
15. Compass Workshop  (3)
16. Symposium on Mathematical Foundations of ComputerScience  (3)
17. Workshop on Specification of Abstract Data Types  (3)
18. International Conference in Cryptology in India  (3)
19. Mora, T  (3)
20. ACM Special Interest Group for Algorithms and Computation Theory  (3)
21. Mais opções 

Data de Publicação 

1. Antes de1983  (16)
2. 1983Até1989  (11)
3. 1990Até1994  (27)
4. 1995Até2000  (34)
5. Após 2000  (69)
6. Mais opções 

Biblioteca 

1. IME - Inst. Matemática e Estatística  (138)
2. ICMC - Inst. Ciên. Mat. Computação  (104)
3. IFSC - Inst. Física de São Carlos  (27)
4. EPBC - Esc. Politécnica-Bib Central  (2)
5. ECA - Escola de Comunicações e Artes  (1)
6. EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval  (1)
7. FFCLRP - Fac. Fil. Ciên. Let. de R. Preto  (1)
8. Mais opções 

Base de Dados/Biblioteca 

1. ACM Digital Library  (7)
2. Springer Books  (1)
3. Springer Books Online Archive  (1)
4. SpringerLINK Lecture Notes in Computer Science (2015)  (1)
5. SpringerLink Books Lecture Notes in Computer Science Archive  (1)
6. Springer Nature - Springer Lecture Notes in Computer Science eBooks  (1)
7. SpringerLINK Lecture Notes in Computer Science Archive (Through 1996)  (1)
8. Mais opções 

Idioma 

1. Inglês  (155)
2. Francês  (1)
3. Mais opções