Refinar Meus Resultados

Tipo de Recurso 

1. Artigos  (6.064)
2. magazinearticle  (627)
3. Livros  (516)
4. Resenhas  (81)
5. Anais de Congresso  (45)
6. Conjunto de Dados  (4)
7. Book Chapters  (4)
8. Dissertações  (1)
9. Mais opções 

Assunto 

1. Science & Technology  (4.187)
2. Social Sciences  (2.824)
3. Technology  (2.337)
4. Life Sciences & Biomedicine  (1.791)
5. Computer Science  (1.511)
6. Education & Educational Research  (1.255)
7. Computers  (1.166)
8. Educational Technology  (1.084)
9. Studies  (1.065)
10. Exact Sciences And Technology  (960)
11. Information Science & Library Science  (958)
12. Algorithms  (922)
13. Internet  (918)
14. Computer Programs  (917)
15. Humans  (868)
16. Computer Assisted Instruction  (840)
17. Physical Sciences  (801)
18. Business & Economics  (788)
19. Logiciels  (269)
20. Software Testing  (26)
21. Testen  (17)
22. Model Checking  (12)
23. Logiciels  (2)
24. Protocolos De Comunicação (Congressos)  (2)
25. Computer Software–Testing  (2)
26. Model Checking  (2)
27. Especificação De Sistemas E Programas (Congressos)  (2)
28. Engenharia De Programas  (2)
29. M Ethodes Formelles (Informatique)  (2)
30. Testen  (2)
31. Formal Methods (Computer Science)  (2)
32. Redes E Comunicação De Dados (Congressos)  (2)
33. Software Testing  (1)
34. V Erification De Logiciels  (1)
35. M Ethode Formelle  (1)
36. Mais opções 

Autor/Criador 

1. Grieskamp, W  (1)
2. Weise, C  (1)
3. FATES 2005  (1)
4. Nielsen, B  (1)
5. FATES 2004  (1)
6. Grabowski, J  (1)
7. Mais opções 

Data de Publicação 

1. Antes de1985  (117)
2. 1985Até1993  (503)
3. 1994Até2002  (1.612)
4. 2003Até2012  (3.167)
5. Após 2012  (2.204)
6. Mais opções 

Biblioteca 

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

Base de Dados/Biblioteca 

1. Science Citation Index Expanded (Web of Science)  (3.256)
2. Academic OneFile  (2.606)
3. JSTOR Complete Journals  (1.920)
4. EBSCOhost Academic Search Premier  (1.803)
5. IngentaConnect Journals  (1.662)
6. EBSCOhost Business Source Complete  (1.631)
7. Electronic Journals Library  (1.595)
8. Single Journals  (1.354)
9. EBSCOhost Computers and Applied Sciences Complete  (1.100)
10. Journals@Ovid Complete  (1.079)
11. LISTA with Full Text  (878)
12. Wiley Online Library Journals Frontfile Complete  (762)
13. DOAJ Directory of Open Access Journals  (757)
14. EBSCO_MEDLINE Complete（医学期刊全文数据库）  (742)
15. Springer Nature - Complete Springer Journals  (728)
16. BACON - Mir@bel - GLOBAL_LIBRESACCES  (712)
17. Elsevier ScienceDirect Journals  (632)
18. Taylor & Francis  (626)
19. Taylor & Francis Open access Read & Publish  (617)
20. ROAD: Directory of Open Access Scholarly Resources  (610)
21. Mais opções 

Idioma 

1. Inglês  (7.334)
2. Japonês  (531)
3. Alemão  (19)
4. Espanhol  (8)
5. Português  (6)
6. Francês  (4)
7. Italiano  (2)
8. Holandês  (2)
9. Russo  (1)
10. Húngaro  (1)
11. Norueguês  (1)
12. Africâner  (1)
13. Catalão  (1)
14. Mais opções 

Nome da Publicação 

1. Online  (190)
2. Medical Physics  (168)
3. Computers In Libraries  (165)
4. Journal Of Chemical Education  (159)
5. Library Journal  (131)
6. Nucleic Acids Research  (119)
7. Econtent  (106)
8. Information Technology And Libraries  (103)
9. Science  (67)
10. Bioinformatics  (67)
11. Mais opções