skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Computer Software remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computer aided verification
Computer aided verification
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer aided verification

Alur, Rajeev ; Peled, Doron A

Springer 1900

Texto completo disponível

Citações Citado por
2
A practical approach to software quality
A practical approach to software quality
Material Type:
Livro 		Adicionar ao Meu Espaço

A practical approach to software quality

O'Regan, Gerard

Springer 1900

Texto completo disponível

Citações Citado por
3
Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003
Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003

Ulrich, Andreas

Springer 1900

Texto completo disponível

Citações Citado por
4
Software Product Lines: Third International Conference, SPLC 2004, Boston, MA, USA, August 30-September 2, 2004, Proceedings
Software Product Lines: Third International Conference, SPLC 2004, Boston, MA, USA, August 30-September 2, 2004, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Software Product Lines: Third International Conference, SPLC 2004, Boston, MA, USA, August 30-September 2, 2004, Proceedings

Nord, Robert L

Springer 1900

Texto completo disponível

Citações Citado por
5
Foundations of software science and computation structures: 7th international conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 proceedings
Foundations of software science and computation structures: 7th international conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of software science and computation structures: 7th international conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 proceedings

Walukiewicz, Igor

Springer 1900

Texto completo disponível

Citações Citado por
6
Software Reuse: Methods, Techniques, and Tools: 8th International Conference, ICSR 2004, Madrid, Spain, July 5-9, 2004, Proceedings
Software Reuse: Methods, Techniques, and Tools: 8th International Conference, ICSR 2004, Madrid, Spain, July 5-9, 2004, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Software Reuse: Methods, Techniques, and Tools: 8th International Conference, ICSR 2004, Madrid, Spain, July 5-9, 2004, Proceedings

Bosch, Jan ; Krueger, Charles

Springer 1900

Texto completo disponível

Citações Citado por
7
Product focused software process improvement: 5th International Conference, PROFES 2004, Kansai Science City, Japan, April 5-8, 2004 : proceedings
Product focused software process improvement: 5th International Conference, PROFES 2004, Kansai Science City, Japan, April 5-8, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Product focused software process improvement: 5th International Conference, PROFES 2004, Kansai Science City, Japan, April 5-8, 2004 : proceedings

Bomarius, Frank ; Iida, Hajimu

Springer 1900

Texto completo disponível

Citações Citado por
8
Software product-family engineering: 5th international workshop, PFE 2003, Siena, Italy, November 4-6, 2003 : revised papers
Software product-family engineering: 5th international workshop, PFE 2003, Siena, Italy, November 4-6, 2003 : revised papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Software product-family engineering: 5th international workshop, PFE 2003, Siena, Italy, November 4-6, 2003 : revised papers

Linden, Frank van der

Springer 1900

Texto completo disponível

Citações Citado por
9
Extreme programming and agile methods: XP/Agile Universe 2004 : 4th conference on extreme programming and agile methods, Calgary, Canada, August 15-18, 2004 proceedings
Extreme programming and agile methods: XP/Agile Universe 2004 : 4th conference on extreme programming and agile methods, Calgary, Canada, August 15-18, 2004 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Extreme programming and agile methods: XP/Agile Universe 2004 : 4th conference on extreme programming and agile methods, Calgary, Canada, August 15-18, 2004 proceedings

Zannier, Carmen ; Erdogmus, Hakan ; Lindstrom, Lowell

Springer 1900

Texto completo disponível

Citações Citado por
10
Tools and algorithms for the construction and analysis of systems: 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 proceedings
Tools and algorithms for the construction and analysis of systems: 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and algorithms for the construction and analysis of systems: 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 proceedings

Jensen, Kurt ; Podelski, Andreas

Springer 1900

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (50.348)
  2. Revistas revisadas por pares (29.318)
  3. Disponível na Biblioteca (312)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (33.513)
  2. magazinearticle  (6.625)
  3. Livros  (5.978)
  4. Conjunto de Dados  (903)
  5. Anais de Congresso  (779)
  6. Resenhas  (751)
  7. Book Chapters  (731)
  8. Videos  (513)
  9. Imagens  (376)
  10. Dissertações  (277)
  11. Reports  (132)
  12. Newsletter Articles  (14)
  13. Recursos Textuais  (13)
  14. Web Resources  (3)
  15. Software  (2)
  16. Produções Acadêmicas  (1)
  17. Mais opções open sub menu

Assunto 

  1. Science & Technology  (15.820)
  2. Software  (12.941)
  3. Social Sciences  (11.692)
  4. Technology  (9.415)
  5. Computer Science  (9.070)
  6. Life Sciences & Biomedicine  (7.398)
  7. Educational Technology  (6.571)
  8. Education & Educational Research  (6.440)
  9. Computers  (6.199)
  10. Computer Assisted Instruction  (5.492)
  11. Internet  (5.457)
  12. Teaching Methods  (4.902)
  13. Algorithms  (4.758)
  14. Engineering  (4.436)
  15. Physical Sciences  (3.900)
  16. Information Technology  (3.711)
  17. Congresses  (3.191)
  18. Exact Sciences And Technology  (3.112)
  19. Foreign Countries  (3.099)
  20. Software Engineering  (3.097)
  21. Logiciels  (591)
  22. System Design  (207)
  23. Computer Software–Development  (165)
  24. Engenharia De Software  (82)
  25. Engenharia De Programas  (61)
  26. Computer Software–Congresses  (45)
  27. Object-Oriented Programming (Computer Science)  (42)
  28. Logiciels  (37)
  29. Técnicas De Programação (Congressos)  (37)
  30. Software Engineering  (34)
  31. Computer Software–Verification  (32)
  32. Programação Orientada A Objetos  (32)
  33. Metodologia E Técnicas De Computação  (30)
  34. Desenvolvimento De Software  (26)
  35. Computer Software–Reliability  (26)
  36. Técnicas De Programação  (24)
  37. Computer Software–Quality Control  (22)
  38. Uml (Computer Science)  (22)
  39. Computer Software–Testing  (19)
  40. System Design  (19)
  41. Softwares  (18)
  42. Object-Oriented Methods (Computer Science)  (17)
  43. Engenharia De Software  (11)
  44. Softwares  (5)
  45. Programação Orientada A Objetos  (3)
  46. Desenvolvimento De Software  (2)
  47. Técnicas De Programação  (1)
  48. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1968  (121)
  2. 1968Até1981  (812)
  3. 1982Até1995  (6.434)
  4. 1996Até2010  (23.447)
  5. Após 2010  (21.734)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (50.183)
  2. Japonês  (1.893)
  3. Alemão  (202)
  4. Espanhol  (163)
  5. Português  (84)
  6. Francês  (74)
  7. Catalão  (56)
  8. Holandês  (19)
  9. Russo  (14)
  10. Italiano  (14)
  11. Norueguês  (11)
  12. Tcheco  (9)
  13. Turco  (8)
  14. Polonês  (5)
  15. Chinês  (3)
  16. Lituano  (2)
  17. Letão  (2)
  18. Árabe  (2)
  19. Romeno  (2)
  20. Malaio  (2)
  21. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.