skip to main content
Idioma:
previous page 1 Resultados 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Software Engineering — ESEC '95: 5th European Software Engineering Conference Sitges, Spain, September 25–28, 1995 Proceedings
Software Engineering — ESEC '95: 5th European Software Engineering Conference Sitges, Spain, September 25–28, 1995 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Software Engineering — ESEC '95: 5th European Software Engineering Conference Sitges, Spain, September 25–28, 1995 Proceedings

Schäfer, Wilhelm ; Botella, Pere Botella, Pere ; Schäfer, Wilhelm

Berlin, Heidelberg: Springer Berlin Heidelberg 1995

Texto completo disponível

Citações Citado por
12
Reliable Software Technologies -- Ada-Europe 2003: 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings
Reliable Software Technologies -- Ada-Europe 2003: 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Reliable Software Technologies -- Ada-Europe 2003: 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings

Rosen, Jean-Pierre ; Strohmeier, Alfred Strohmeier, Alfred ; Rosen, Jean-Pierre

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Texto completo disponível

Citações Citado por
13
Linear-time Temporal Logic guided Greybox Fuzzing
Linear-time Temporal Logic guided Greybox Fuzzing
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Linear-time Temporal Logic guided Greybox Fuzzing

Meng, Ruijie ; Dong, Zhen ; Li, Jialin ; Beschastnikh, Ivan ; Roychoudhury, Abhik

2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE), 2022, p.1343-1355

ACM

Sem texto completo

Citações Citado por
14
Reliable Software Technologies: Ada-Europe 2002 : 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002 : Proceedings
Reliable Software Technologies: Ada-Europe 2002 : 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002 : Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Reliable Software Technologies: Ada-Europe 2002 : 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002 : Proceedings

Blieberger, Johann ; Strohmeier, Alfred Strohmeier, Alfred ; Blieberger, Johann

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

Citações Citado por
15
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures

Bernardo, Marco ; Inverardi, Paola Inverardi, Paola ; Bernardo, Marco

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Texto completo disponível

Citações Citado por
16
Software Engineering — ESEC '93: 4th European Software Engineering Conference Garmisch-Partenkirchen, Germany September 13–17, 1993 Proceedings
Software Engineering — ESEC '93: 4th European Software Engineering Conference Garmisch-Partenkirchen, Germany September 13–17, 1993 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Software Engineering — ESEC '93: 4th European Software Engineering Conference Garmisch-Partenkirchen, Germany September 13–17, 1993 Proceedings

Sommerville, Ian ; Paul, Manfred Sommerville, Ian ; Paul, Manfred

Berlin, Heidelberg: Springer Berlin Heidelberg 1993

Texto completo disponível

Citações Citado por
17
Software Quality: ECSQ 2002 : Quality Connection : 7th European Conference on Software Quality, Helsinki, Finland, June 9-13, 2002 : Proceedings
Software Quality: ECSQ 2002 : Quality Connection : 7th European Conference on Software Quality, Helsinki, Finland, June 9-13, 2002 : Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Software Quality: ECSQ 2002 : Quality Connection : 7th European Conference on Software Quality, Helsinki, Finland, June 9-13, 2002 : Proceedings

Kontio, Jyrki ; Conradi, Reidar Kontio, Jyrki ; Conradi, Reidar

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

Citações Citado por
18
Reliable Software Technologies — Ada-Europe '97: 1997 Ada-Europe International Conference on Reliable Software Technologies London, UK, June 2–6, 1997 Proceedings
Reliable Software Technologies — Ada-Europe '97: 1997 Ada-Europe International Conference on Reliable Software Technologies London, UK, June 2–6, 1997 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Reliable Software Technologies — Ada-Europe '97: 1997 Ada-Europe International Conference on Reliable Software Technologies London, UK, June 2–6, 1997 Proceedings

Hardy, Keith ; Briggs, Jim Hardy, Keith ; Briggs, Jim

Berlin, Heidelberg: Springer Berlin Heidelberg 1997

Texto completo disponível

Citações Citado por
19
Mathematical Software
Mathematical Software
Mathematical Software
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematical Software

John R. Rice

Academic Press 1971

Acesso online. A biblioteca também possui exemplares impressos.

20
Software Quality: Higher Software Quality through Zero Waste Development: 15th International Conference, SWQD 2023, Munich, Germany, May 23-25, 2023, Proceedings
Software Quality: Higher Software Quality through Zero Waste Development: 15th International Conference, SWQD 2023, Munich, Germany, May 23-25, 2023, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Software Quality: Higher Software Quality through Zero Waste Development: 15th International Conference, SWQD 2023, Munich, Germany, May 23-25, 2023, Proceedings

Biffl, Stefan ; Kross, Johannes ; Winkler, Dietmar ; Bergsmann, Johannes ; Mendez, Daniel

Cham: Springer Nature Switzerland

Sem texto completo

Citações Citado por
previous page 1 Resultados 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (11.462.402)
  2. Revistas revisadas por pares (7.928.545)
  3. Disponível na Biblioteca (15.950)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (9.226.745)
  2. Artigos de Jornal  (1.285.549)
  3. magazinearticle  (1.072.124)
  4. Anais de Congresso  (893.467)
  5. Newsletter Articles  (729.051)
  6. Book Chapters  (619.753)
  7. Dissertações  (206.941)
  8. Reports  (156.587)
  9. Verbetes  (135.214)
  10. Resenhas  (109.399)
  11. Conjunto de Dados  (98.785)
  12. Livros  (68.282)
  13. Recursos Textuais  (17.647)
  14. Web Resources  (10.764)
  15. Produções Acadêmicas  (7.427)
  16. Standards  (7.023)
  17. Imagens  (6.240)
  18. Videos  (3.871)
  19. Outros  (2.547)
  20. Computer Files  (2.163)
  21. Software  (1.339)
  22. Archival Material / Manuscripts  (415)
  23. Patents  (288)
  24. Produções Técnicas  (287)
  25. Revistas  (256)
  26. Audiovisuais  (198)
  27. Materiais Didáticos  (22)
  28. Produções Artísticas  (19)
  29. Documentos Técnicos  (3)
  30. Materiais Cartográficos  (3)
  31. Sites da Web  (2)
  32. Artefatos Tridimensionais  (2)
  33. Mais opções open sub menu

Assunto 

  1. Science & Technology  (6.576.966)
  2. Life Sciences & Biomedicine  (3.740.137)
  3. Technology  (2.298.438)
  4. Humans  (1.876.261)
  5. Physical Sciences  (1.239.967)
  6. Computer Science  (1.116.509)
  7. Software  (1.094.937)
  8. Female  (1.092.944)
  9. Male  (1.077.145)
  10. Engineering  (1.007.777)
  11. Animals  (828.210)
  12. Adult  (596.732)
  13. Social Sciences  (590.617)
  14. Science & Technology - Other Topics  (566.695)
  15. Middle Aged  (558.287)
  16. Chemistry  (506.302)
  17. Computer Science, Software Engineering  (476.065)
  18. Analysis  (475.452)
  19. Biological And Medical Sciences  (474.683)
  20. Computer Software Industry  (450.158)
  21. Software Engineering  (128.764)
  22. Computer Software  (86.260)
  23. Software Architecture  (10.987)
  24. Engenharia De Software  (4.581)
  25. Sistemas De Informação  (1.153)
  26. Softwares  (1.094)
  27. Desenvolvimento De Software  (780)
  28. Computer Software  (678)
  29. Ciência Da Computação  (368)
  30. Software Engineering  (364)
  31. Teste E Avaliação De Software  (347)
  32. Arquitetura De Software  (341)
  33. Metodologia E Técnicas De Computação  (339)
  34. Engenharia De Programas  (330)
  35. Software Livre  (304)
  36. Engenharia De Software  (230)
  37. Qualidade de Software  (185)
  38. Métodos Ágeis  (153)
  39. Projeto De Software  (134)
  40. Técnicas De Programação  (126)
  41. Sistemas De Informação  (112)
  42. Software Architecture  (75)
  43. Software Livre  (73)
  44. Processo De Software  (69)
  45. Softwares  (65)
  46. Reúso De Software  (62)
  47. Desenvolvimento De Software  (33)
  48. Qualidade De Software  (17)
  49. Métodos Ágeis  (15)
  50. Ciência Da Computação  (13)
  51. Projeto De Software  (9)
  52. Arquitetura De Software  (9)
  53. Processo De Software  (8)
  54. Técnicas De Programação  (4)
  55. Reúso De Software  (1)
  56. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1957  (2.028)
  2. 1957Até1973  (22.215)
  3. 1974Até1990  (300.416)
  4. 1991Até2008  (3.289.430)
  5. Após 2008  (11.015.297)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (14.281.492)
  2. Japonês  (791.803)
  3. Português  (122.021)
  4. Espanhol  (101.471)
  5. Chinês  (95.466)
  6. Alemão  (67.781)
  7. Francês  (28.348)
  8. Persa  (17.743)
  9. Russo  (14.509)
  10. Tcheco  (9.185)
  11. Norueguês  (6.212)
  12. Turco  (5.890)
  13. Coreano  (4.928)
  14. Catalão  (4.788)
  15. Italiano  (4.581)
  16. Polonês  (3.167)
  17. Indonésio  (2.984)
  18. Sueco  (2.666)
  19. Holandês  (2.442)
  20. Eslovaco  (2.347)
  21. Romeno  (776)
  22. Indeterminado  (130)
  23. Latim  (39)
  24. No linguistic content  (2)
  25. Vários idiomas  (2)
  26. Kannada  (2)
  27. Grego  (1)
  28. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Maldonado, J
  2. Fortes, R
  3. Masiero, P
  4. Nakagawa, E
  5. Delamaro, M

Neste Assunto:

  1. Science & Technology
  2. Life Sciences & Biomedicine
  3. Technology
  4. Humans
  5. Physical Sciences

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.