Refinar Meus Resultados

Tipo de Recurso 

1. Livros  (344)
2. Artigos  (52)
3. Produções Acadêmicas  (39)
4. Revistas  (3)
5. Recursos Textuais  (2)
6. Produções Técnicas  (1)
7. Outros  (1)
8. Mais opções 

Assunto 

1. Teoria Da Computação  (54)
2. Computational Complexity  (40)
3. Computabilidade E Complexidade  (32)
4. Machine Theory  (28)
5. Inteligência Artificial  (24)
6. Ciência Da Computação  (20)
7. Linguagens Formais  (17)
8. Lógica Matemática  (15)
9. Computer Science  (14)
10. Análise Numérica  (12)
11. Quantum Theory  (12)
12. Approximation Theory  (12)
13. Aprendizado Computacional  (11)
14. Formal Languages  (11)
15. Quantum Computers  (11)
16. Mathematical Optimization  (10)
17. Equações Diferenciais  (10)
18. Electronic Digital Computers  (10)
19. Método Dos Elementos Finitos  (9)
20. Computer Algorithms  (9)
21. Mais opções 

Autor/Criador 

1. ACM Special Interest Group for Algorithms and Computation Theory  (17)
2. Ullman, J  (7)
3. Sipser, M  (7)
4. International Conference on Fundamentals of Computation Theory  (7)
5. SIGGRAPH  (5)
6. Hopcroft, J  (5)
7. IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing  (5)
8. Symposium on Computational Geometry  (5)
9. ACM Symposium on Theory of Computing  (5)
10. Cordeiro, G  (4)
11. Capelle, K  (4)
12. Coutinho, K  (4)
13. Motwani, R  (4)
14. Silva, F  (4)
15. Canuto, S  (4)
16. Haiduke, R  (4)
17. IEEE Conference on Computational Complexity  (4)
18. Cooper, S  (3)
19. Arantes, G  (3)
20. IEEE Xplore (Online service)  (3)
21. Mais opções 

Data de Publicação 

1. Antes de1973  (28)
2. 1973Até1984  (45)
3. 1985Até1997  (79)
4. 1998Até2010  (196)
5. Após 2010  (97)
6. Mais opções 

Biblioteca 

1. IME - Inst. Matemática e Estatística  (223)
2. ICMC - Inst. Ciên. Mat. Computação  (134)
3. IFSC - Inst. Física de São Carlos  (47)
4. EPBC - Esc. Politécnica-Bib Central  (35)
5. IF - Instituto de Física  (31)
6. EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval  (26)
7. FEA - Fac. Econ. Adm. Contab. e Atuária  (25)
8. FFCLRP - Fac. Fil. Ciên. Let. de R. Preto  (19)
9. EACH - Esc. Artes, Ciências e Humanidades  (15)
10. CQ - Conjunto das Químicas  (10)
11. IQSC - Inst. Química de São Carlos  (10)
12. FFLCH - Fac. Fil. Let. e Ciências Humanas  (7)
13. IAG - Inst. Ast. Geo. Ciên. Atmosféricas  (7)
14. EPECP - Esc. Politécnica-Bib Eng Civil e Prod  (5)
15. FCFRP - Fac. Ciên. Farm. Ribeirão Preto  (5)
16. PUSPSC - Prefeitura do Campus USP de São Carlos  (5)
17. ESALQ - Biblioteca Central  (4)
18. ICB - Inst. Ciências Biomédicas  (3)
19. EESC - Esc. Engenharia de São Carlos  (3)
20. FAU - Fac. Arquitetura e Urbanismo  (2)
21. Mais opções 

Idioma 

1. Inglês  (406)
2. Português  (35)
3. Francês  (1)
4. Indeterminado  (1)
5. Mais opções 

Nome da Publicação 

1. Journal of Chemical Theory and Computation  (29)
2. THEORETICAL CHEMISTRY ACCOUNTS: THEORY, COMPUTATION, AND MODELING (THEORETICA CHIMICA ACTA)  (4)
3. Theoretical Chemistry Accounts: Theory, Computation and Modeling  (3)
4. Journal of Statistical Computation and Simulation  (3)
5. Proceedings  (3)
6. Communications in Statistics - Simulation and Computation  (2)
7. Journal of Logics and Computation  (2)
8. Communications in statistics  (1)
9. IEEE Transactions on Power Systems  (1)
10. Book of Abstracts  (1)
11. Lecture Notes in Computer Science  (1)
12. Proceedings of Science  (1)
13. THEOCHEM Theory and computation in chemistry  (1)
14. Proceedings.ISTASC´08  (1)
15. In search of elegance in the theory and practice of computation : essays dedicated to Peter Buneman  (1)
16. Theoretical Chemistry Accounts  (1)
17. Applied Mathematics and Computation  (1)
18. Springer series in chemical physics  (1)
19. Models for parallel and distributed computation : theory, algorithmic techniques and applications  (1)
20. Resumos  (1)
21. Mais opções