Refinar Meus Resultados

Tipo de Recurso 

1. Livros  (73)
2. Anais de Congresso  (3)
3. Revistas  (2)
4. Reports  (1)
5. Mais opções 

Assunto 

1. Computer Science  (53)
2. Machine Theory  (43)
3. Congresses  (38)
4. Computer Programming  (34)
5. Computers  (34)
6. Formal Languages  (32)
7. Theory Of Computation  (32)
8. Algorithms  (29)
9. Algorithm Analysis And Problem Complexity  (28)
10. Computer Software  (26)
11. Information Theory  (25)
12. Programming Languages  (25)
13. Computation By Abstract Devices  (24)
14. Mathematical Logic And Formal Languages  (24)
15. Kongress  (22)
16. Machine Theory -- Congresses  (21)
17. Mathematical Logic  (20)
18. Data Structures  (20)
19. Programming  (19)
20. Electronic Data Processing  (18)
21. Langages Formels  (13)
22. Computational Complexity  (13)
23. Computational Complexity  (4)
24. Teoria Da Computação  (4)
25. Programming (Electronic Computers)  (4)
26. Logic programming  (3)
27. Nonlinear Boundary Value Problems  (3)
28. Computabilidade E Complexidade (Congressos)  (3)
29. Polynomials  (3)
30. Teoria Da Computação (Congressos)  (3)
31. Ciência Da Computação  (2)
32. Langages Formels  (2)
33. Programmation (Informatique)  (2)
34. Linguagens Formais  (2)
35. Computabilidade E Complexidade  (2)
36. Computabilidade E Complexidade  (1)
37. Análise De Algoritmos (Congressos)  (1)
38. Metodologia E Técnicas De Computação  (1)
39. Teoria Da Computação  (1)
40. Th Eorie Des Automates  (1)
41. Mais opções 

Autor/Criador 

1. European Association for Theoretical Computer Science  (23)
2. International Colloquium on Automata, L  (11)
3. ACM Special Interest Group for Automata and Computability Theory  (3)
4. IEEE Conference on Computational Complexity  (3)
5. WEA 2004  (2)
6. Martins, S  (2)
7. Monien, B  (2)
8. Degano, P  (2)
9. IEEE Computer Society Technical Committee on Mathematical Foundations of Computing  (2)
10. IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing  (2)
11. ACM Special Interest Group for Algorithms and Computation Theory  (2)
12. Gorrieri, R  (2)
13. Marchetti-Spaccamela, A  (2)
14. Gesellschaft für Informatik  (2)
15. Ribeiro, C  (2)
16. Leach Albert, J  (1)
17. Karhumäki, J  (1)
18. Winskel, G  (1)
19. Larsen, K  (1)
20. Preneel, B  (1)
21. Mais opções 

Data de Publicação 

1. Antes de1986  (8)
2. 1986Até1991  (15)
3. 1992Até1997  (15)
4. 1998Até2004  (24)
5. Após 2004  (33)
6. Mais opções 

Biblioteca 

1. IME - Inst. Matemática e Estatística  (14)
2. ICMC - Inst. Ciên. Mat. Computação  (8)
3. EPBC - Esc. Politécnica-Bib Central  (2)
4. IFSC - Inst. Física de São Carlos  (1)
5. Mais opções 

Base de Dados/Biblioteca 

1. Springer Books  (54)
2. Lecture Notes in Computer Science Archive (through to 1996)  (52)
3. SpringerLink Books Lecture Notes in Computer Science Archive  (51)
4. Springer Books Online Archive  (51)
5. Springer Nature - Springer Lecture Notes in Computer Science eBooks  (39)
6. SpringerLINK Lecture Notes in Computer Science (2015)  (39)
7. DTIC Technical Reports  (1)
8. ACM Digital Library Complete  (1)
9. Springer Nature - Springer Computer Science eBooks 2011 English International  (1)
10. Springer Nature - Springer Medicine eBooks 2007 English International  (1)
11. Mais opções 

Idioma 

1. Inglês  (78)
2. Alemão  (1)
3. Mais opções 

Nome da Publicação 

1. Theoretical Computer Science  (1)
2. Bulletin of the European Association for Theoretical Computer Science  (1)
3. Mais opções