Refinar Meus Resultados

Assunto 

1. Computational Complexity  (2)
2. Computer Programming  (2)
3. Computabilidade E Complexidade  (2)
4. Mathematics Recursive functions Computability theory  (1)
5. Computable Functions  (1)
6. Takasu, Satoru 1931-  (1)
7. Computer Science  (1)
8. Turing Machines  (1)
9. Especificação De Sistemas E Programas  (1)
10. Montadores E Compiladores (Congressos)  (1)
11. Recursive Functions  (1)
12. Metodologia E Técnicas De Computação  (1)
13. Projeto De Software  (1)
14. Softwares  (1)
15. Ciência Da Computação  (1)
16. Técnicas De Programação  (1)
17. Mais opções 

Autor/Criador 

1. Workshop on Programs As Data Objects, C  (1)
2. Sudborough, H  (1)
3. Mogensen, T  (1)
4. Ershov, A  (1)
5. Bjorner, D  (1)
6. IFIP  (1)
7. Takasu, S  (1)
8. Hagiya, M  (1)
9. Ganzinger, H  (1)
10. Sato, M  (1)
11. Workshop on Semantics-Directed Compiler Generation (1980 : Aarhus)  (1)
12. Workshop on Partial Evaluation and Mixed Computation, G  (1)
13. Schmidt, D  (1)
14. Mais opções 

Data de Publicação 

1. Antes de1980  (1)
2. 1980Até1985  (1)
3. 1986Até1987  (1)
4. 1988Até1994  (2)
5. Após 1994  (2)
6. Mais opções 

Biblioteca 

1. ICMC - Inst. Ciên. Mat. Computação  (6)
2. IME - Inst. Matemática e Estatística  (6)
3. Mais opções