Refinar Meus Resultados

Tipo de Recurso 

1. Livros  (303)
2. Produções Acadêmicas  (66)
3. Artigos  (40)
4. Produções Técnicas  (14)
5. Audiovisuais  (3)
6. Recursos Textuais  (1)
7. Mais opções 

Assunto 

1. Linguagens Formais  (331)
2. Formal Languages  (69)
3. Teoria Da Computação  (69)
4. Machine Theory  (50)
5. Lógica Matemática  (36)
6. Sequential Machine Theory  (32)
7. Teoria Dos Autômatos  (30)
8. Linguagens Formais (Congressos)  (28)
9. Inteligência Artificial  (25)
10. Engenharia De Software  (23)
11. Sistemas De Informação  (20)
12. Ciência Da Computação  (19)
13. Computabilidade E Complexidade  (15)
14. Rewriting Systems (Computer Science)  (12)
15. Computational Complexity  (12)
16. Linguística Computacional  (11)
17. Algorithms  (11)
18. Metodologia E Técnicas De Computação  (10)
19. Autômatos Finitos  (10)
20. Programming Languages (Electronic Computers)  (10)
21. Mais opções 

Autor/Criador 

1. Simpósio Brasileiro de Componentes, A  (20)
2. International Conference on Rewriting Techniques and Applications  (16)
3. Simon, I  (15)
4. Simpósio Brasileiro de Engenharia de Software - SBES 2011  (15)
5. Congresso Brasileiro de Software: Teoria e Prática - CBSoft 2011  (15)
6. Simpósio Brasileiro de Linguagens de Programação - SBLP 2011  (15)
7. José Neto, J  (15)
8. Simpósio Brasileiro de Métodos Formais - SBMF 2011  (15)
9. Salomaa, A  (13)
10. Maldonado, J  (11)
11. Rozenberg, G  (10)
12. Masiero, P  (9)
13. Conference on Developments in Language Theory  (8)
14. Colloquium on Automata, L  (7)
15. Ehrig, H  (7)
16. Delamaro, M  (5)
17. Hopcroft, J  (5)
18. Menezes, P  (5)
19. Symposium on Switching and Automata Theory  (5)
20. Ullman, J  (5)
21. Mais opções 

Data de Publicação 

1. Antes de1972  (53)
2. 1972Até1984  (82)
3. 1985Até1997  (112)
4. 1998Até2011  (143)
5. Após 2011  (41)
6. Mais opções 

Biblioteca 

1. IME - Inst. Matemática e Estatística  (285)
2. ICMC - Inst. Ciên. Mat. Computação  (205)
3. IFSC - Inst. Física de São Carlos  (36)
4. EPBC - Esc. Politécnica-Bib Central  (35)
5. EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval  (18)
6. FEA - Fac. Econ. Adm. Contab. e Atuária  (13)
7. FFLCH - Fac. Fil. Let. e Ciências Humanas  (13)
8. IF - Instituto de Física  (13)
9. EACH - Esc. Artes, Ciências e Humanidades  (10)
10. ECA - Escola de Comunicações e Artes  (4)
11. FE - Faculdade de Educação  (4)
12. FAU Maranhão - Fac. Arquit. Urbanismo- Pos-Grad.  (3)
13. PUSPSC - Prefeitura do Campus USP de São Carlos  (3)
14. MP - Museu Paulista  (2)
15. IEB - Inst. Estudos Brasileiros  (2)
16. CENA - Cent. En. Nuclear na Agricultura  (2)
17. IO - Instituto Oceanográfico  (1)
18. MAE - Museu Arqueologia e Etnologia  (1)
19. EESC - Esc. Engenharia de São Carlos  (1)
20. FD - Fac. Direito  (1)
21. Mais opções 

Idioma 

1. Inglês  (296)
2. Português  (110)
3. Francês  (20)
4. Alemão  (3)
5. Indeterminado  (2)
6. Vários idiomas  (1)
7. Mais opções 

Nome da Publicação 

1. Anais  (19)
2. Proceedings  (10)
3. Revista de Matematicas Aplicadas  (2)
4. CEUR Workshop Proceedings  (2)
5. Revista de Administração - RAUSP  (2)
6. 29º SIICUSP-EACH 2021: Simpósio Internacional de Iniciação Científica e Tecnológica da USP: livro de resumos  (1)
7. Workshop de Tecnologia Adaptativa  (1)
8. Mots: Melanges Offerts a M P Schutzenberger  (1)
9. Anais Estendidos  (1)
10. Resumos  (1)
11. Mais opções