Refinar Meus Resultados

Tipo de Recurso 

1. Livros  (271)
2. Produções Acadêmicas  (9)
3. Artigos  (3)
4. Mais opções 

Assunto 

1. Machine Theory  (187)
2. Linguagens Formais  (82)
3. Teoria Da Computação  (69)
4. Sequential Machine Theory  (64)
5. Formal Languages  (57)
6. Computational Complexity  (32)
7. Computabilidade E Complexidade  (27)
8. Machine Learning  (27)
9. Switching Theory  (27)
10. Electronic Data Processing  (22)
11. Ciência Da Computação  (21)
12. Teoria Dos Autômatos  (20)
13. Aprendizado Computacional  (19)
14. Teoria Da Computação (Congressos)  (18)
15. Electronic Digital Computers  (15)
16. Inteligência Artificial  (14)
17. Petri Nets  (13)
18. Computer Science  (11)
19. Programming (Electronic Computers)  (10)
20. Programming Languages (Electronic Computers)  (9)
21. Mais opções 

Autor/Criador 

1. Symposium on Foundations of Computer Science  (18)
2. Rozenberg, G  (10)
3. IEEE Computer Society Technical Committee on Mathematical Foundations of Computing  (10)
4. International Colloquium on Automata, L  (10)
5. Arbib, M  (7)
6. ACM Special Interest Group for Automata and Computability Theory  (7)
7. Salomaa, A  (6)
8. IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing  (6)
9. European Association for Theoretical Computer Science  (6)
10. IEEE Xplore (Online service)  (6)
11. Hopcroft, J  (5)
12. Ullman, J  (5)
13. Rozenberg  (4)
14. ACM Symposium on Theory of Computing  (4)
15. Symposium on Switching and Automata Theory  (4)
16. Sipser, M  (4)
17. Trakhtenbrot, B  (3)
18. Gécseg, F  (3)
19. Colloquium on Automata, L  (3)
20. Milner, R  (3)
21. Mais opções 

Data de Publicação 

1. Antes de1973  (58)
2. 1973Até1984  (72)
3. 1985Até1996  (51)
4. 1997Até2009  (85)
5. Após 2009  (20)
6. Mais opções 

Biblioteca 

1. IME - Inst. Matemática e Estatística  (202)
2. ICMC - Inst. Ciên. Mat. Computação  (122)
3. EPBC - Esc. Politécnica-Bib Central  (34)
4. IFSC - Inst. Física de São Carlos  (23)
5. EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval  (19)
6. FEA - Fac. Econ. Adm. Contab. e Atuária  (18)
7. IF - Instituto de Física  (12)
8. IAG - Inst. Ast. Geo. Ciên. Atmosféricas  (6)
9. FFCLRP - Fac. Fil. Ciên. Let. de R. Preto  (5)
10. EACH - Esc. Artes, Ciências e Humanidades  (4)
11. PUSPSC - Prefeitura do Campus USP de São Carlos  (4)
12. FFLCH - Fac. Fil. Let. e Ciências Humanas  (3)
13. EPECP - Esc. Politécnica-Bib Eng Civil e Prod  (2)
14. FMRP - Fac. Medicina de Ribeirão Preto  (1)
15. ESALQ - Biblioteca Central  (1)
16. CENA - Cent. En. Nuclear na Agricultura  (1)
17. EEL - Engenharia de Materiais  (1)
18. FE - Faculdade de Educação  (1)
19. Mais opções 

Idioma 

1. Inglês  (260)
2. Francês  (10)
3. Português  (8)
4. Alemão  (3)
5. Espanhol  (2)
6. Russo  (1)
7. Vários idiomas  (1)
8. Mais opções 

Nome da Publicação 

1. Proceedings  (2)
2. Livro de resumos  (1)
3. Mathematical Foundations of Computer Science 2007  (1)
4. Mais opções