Refinar Meus Resultados

Tipo de Recurso 

1. Livros  (168)
2. Audiovisuais  (1)
3. Mais opções 

Assunto 

1. Metodologia E Técnicas De Computação  (55)
2. Object-Oriented Programming (Computer Science)  (36)
3. Programação Orientada A Objetos  (31)
4. Computer Software  (24)
5. Linguagem De Programação  (22)
6. Programação Lógica  (22)
7. Inteligência Artificial  (18)
8. Logic Programming  (17)
9. Arquitetura E Organização De Computadores  (15)
10. Lógica Matemática  (12)
11. Programação Paralela  (12)
12. Computer Programming  (10)
13. Engenharia De Software  (10)
14. Ciência Da Computação  (9)
15. Parallel Programming (Computer Science)  (9)
16. Java (Computer Program Language)  (9)
17. Teoria Da Computação  (9)
18. Software Engineering  (9)
19. Computer Science  (9)
20. Técnicas De Programação  (8)
21. Técnicas De Programação  (8)
22. Correção De Programas  (7)
23. Programação Funcional  (7)
24. Artificial Intelligence  (7)
25. Object-Oriented Methods (Computer Science)  (7)
26. Softwares  (7)
27. Machine Theory  (5)
28. Computers  (4)
29. Kongress  (4)
30. Congresses  (4)
31. Programming Techniques  (4)
32. Tecnicas De Programacao  (3)
33. Logische Programmierung  (3)
34. Mathematical Logic And Formal Languages  (3)
35. Mathematical Logic  (3)
36. E-Book Springer Lncs  (3)
37. Software Engineering/programming And Operating Systems  (3)
38. Lógica Matemática  (2)
39. Programação Orientada A Objetos  (2)
40. Informatique  (2)
41. Compilers  (2)
42. Computer Logic  (2)
43. Logic Programming  (2)
44. Linguagem De Programação  (2)
45. Programação Lógica  (1)
46. Computer Software  (1)
47. Mais opções 

Autor/Criador 

1. Rashid, A  (4)
2. Schmidt, D  (4)
3. Dix, J  (3)
4. Knudsen, J  (3)
5. Becker, J  (2)
6. Conference on Parallel Architectures and Languages Europe  (2)
7. Przymusinski, T  (2)
8. Akðsit, M  (2)
9. International Conference on Logic Programming  (2)
10. Fowler, M  (2)
11. European Conference on Computer Algebra  (2)
12. Pereira, L  (2)
13. Nerode, A  (2)
14. Cardelli, L  (2)
15. Eisele, I  (2)
16. Davenport, J  (2)
17. Weisfeld, M  (2)
18. Noble, J  (2)
19. Huston, S  (2)
20. Logic Programming Conference  (2)
21. Mais opções 

Data de Publicação 

1. Antes de1986  (13)
2. 1986Até1992  (42)
3. 1993Até1999  (30)
4. 2000Até2007  (81)
5. Após 2007  (10)
6. Mais opções 

Biblioteca 

1. IME - Inst. Matemática e Estatística  (147)
2. ICMC - Inst. Ciên. Mat. Computação  (99)
3. IFSC - Inst. Física de São Carlos  (21)
4. EPBC - Esc. Politécnica-Bib Central  (6)
5. FMRAD - Fac. Medicina-Depto. Radiologia  (2)
6. EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval  (2)
7. CDCC - Cent. Div. Científica e Cultural  (1)
8. EESC - Esc. Engenharia de São Carlos  (1)
9. PUSPSC - Prefeitura do Campus USP de São Carlos  (1)
10. EACH - Esc. Artes, Ciências e Humanidades  (1)
11. FEA - Fac. Econ. Adm. Contab. e Atuária  (1)
12. Mais opções 

Base de Dados/Biblioteca 

1. Springer Books  (5)
2. Lecture Notes in Computer Science Archive (through to 1996)  (4)
3. Springer Nature - Springer Lecture Notes in Computer Science eBooks  (4)
4. SpringerLINK Lecture Notes in Computer Science (2015)  (4)
5. SpringerLink Books Lecture Notes in Computer Science Archive  (4)
6. Springer Books Online Archive  (4)
7. Elsevier ScienceDirect eBook - All Access Books  (3)
8. ScienceDirect eBooks  (3)
9. Springer Nature - Springer Mathematics and Statistics eBooks 2014 English International  (1)
10. Mais opções 

Idioma 

1. Inglês  (168)
2. Indeterminado  (1)
3. Francês  (1)
4. Mais opções