skip to main content
Idioma:
Refinado por: assunto: Software remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Testing techniques in software engineering second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3 - 7, 2007 ; revised lectures
Testing techniques in software engineering second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3 - 7, 2007 ; revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Testing techniques in software engineering second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3 - 7, 2007 ; revised lectures

Paulo Borba; Ana Cavalcanti; Augusto Sampaio; Jim Woodcock; Pernambuco Summer School on Software Engineering 2007 Recife; PSSE (2 2007.12.03-07 Recife); Pernambuco Summer School on Software Engineering (2 2007.12.03-07 Recife)

Berlin u.a. Springer 2010

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

2
Computer Science to the Point: Computer Science for Life Sciences Students and Other Non-Computer Scientists
Computer Science to the Point: Computer Science for Life Sciences Students and Other Non-Computer Scientists
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Science to the Point: Computer Science for Life Sciences Students and Other Non-Computer Scientists

Tolg, Boris

Wiesbaden: Springer Vieweg. in Springer Fachmedien Wiesbaden GmbH 2023

Sem texto completo

Citações Citado por
3
Computer Science Logic: 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings
Computer Science Logic: 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Science Logic: 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings

Börger, Egon ; Kleine Büning, Hans ; Richter, Michael M ; Schönfeld, Wolfgang Börger, Egon ; Kleine Büning, Hans ; Richter, Michael M. ; Schönfeld, Wolfgang

Berlin, Heidelberg: Springer Berlin Heidelberg 1991

Texto completo disponível

Citações Citado por
4
Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers
Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers
Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers
Material Type:
Livro 		No Meu Espaço

Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers

FATES 2004 (2004 Linz, Austria) Jens Grabowski; Brian Nielsen Ph. D

Berlin Springer New York 2005

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

5
Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 revised selected papers
Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 revised selected papers

FATES 2005 (2005 Edinburgh, Scotland) Wolfgang Grieskamp 1960; Carsten Weise

Berlin Springer New York c2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.3997 ) e outros locais(Acessar)

6
Foundations of Software Technology and Theoretical Computer Science: Fifth Conference, New Delhi, India December 16–18, 1985 Proceedings
Foundations of Software Technology and Theoretical Computer Science: Fifth Conference, New Delhi, India December 16–18, 1985 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of Software Technology and Theoretical Computer Science: Fifth Conference, New Delhi, India December 16–18, 1985 Proceedings

Maheshwari, S. N Maheshwari, S. N.

Berlin, Heidelberg: Springer Berlin Heidelberg 1985

Texto completo disponível

Citações Citado por
7
Essential Java for AP CompSci: From Programming to Computer Science
Essential Java for AP CompSci: From Programming to Computer Science
Material Type:
Livro 		Adicionar ao Meu Espaço

Essential Java for AP CompSci: From Programming to Computer Science

Winnie, Doug

Berkeley, CA: Apress L. P 2021

Sem texto completo

Citações Citado por
8
Mathematical Software - ICMS 2018: 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
Mathematical Software - ICMS 2018: 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematical Software - ICMS 2018: 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

Davenport, James H ; Kauers, Manuel ; Labahn, George ; Urban, Josef Labahn, George ; Davenport, James H ; Urban, Josef ; Kauers, Manuel ; Kauers, Manuel ; Davenport, James H. ; Labahn, George ; Urban, Josef

Cham: Springer Nature 2018

Sem texto completo

Citações Citado por
9
“No Girls on the Software Team”: Internship Experiences of Women in Computer Science
“No Girls on the Software Team”: Internship Experiences of Women in Computer Science
Material Type:
Artigo 		Adicionar ao Meu Espaço

“No Girls on the Software Team”: Internship Experiences of Women in Computer Science

Lapan, Julia C. ; Smith, Katie N.

Journal of career development, 2023-02, Vol.50 (1), p.119-134 [Periódico revisado por pares]

Los Angeles, CA: SAGE Publications

Texto completo disponível

Citações Citado por
10
Baltic Computer Science: Selected Papers
Baltic Computer Science: Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Baltic Computer Science: Selected Papers

Bārzdinš, Janis ; Bjørner, Dines Bārzdinš, Janis ; Bjørner, Dines

Berlin, Heidelberg: Springer Berlin Heidelberg 1991

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (559.517)
  2. Revistas revisadas por pares (351.253)
  3. Disponível na Biblioteca (11)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (405.291)
  2. magazinearticle  (147.336)
  3. Anais de Congresso  (99.307)
  4. Book Chapters  (13.853)
  5. Resenhas  (13.381)
  6. Newsletter Articles  (12.812)
  7. Artigos de Jornal  (4.619)
  8. Livros  (3.998)
  9. Verbetes  (330)
  10. Dissertações  (301)
  11. Conjunto de Dados  (204)
  12. Reports  (155)
  13. Recursos Textuais  (59)
  14. Standards  (43)
  15. Web Resources  (9)
  16. Documentos Governamentais  (8)
  17. Videos  (8)
  18. Produções Acadêmicas  (3)
  19. Archival Material / Manuscripts  (3)
  20. Imagens  (2)
  21. Outros  (1)
  22. Mais opções open sub menu

Assunto 

  1. Science & Technology  (340.797)
  2. Technology  (260.487)
  3. Computer Science  (206.543)
  4. Exact Sciences And Technology  (150.942)
  5. Applied Sciences  (146.780)
  6. Computer Science; Control Theory; Systems  (141.931)
  7. Engineering  (94.991)
  8. Life Sciences & Biomedicine  (92.896)
  9. Computer Science, Theory & Methods  (73.400)
  10. Computer Systems And Distributed Systems. User Interface  (63.772)
  11. Algorithms  (63.218)
  12. Computer Science, Software Engineering  (59.621)
  13. Computer Programs  (58.279)
  14. Computer Science, Information Systems  (58.069)
  15. Humans  (55.935)
  16. Memory Organisation. Data Processing  (52.803)
  17. Engineering, Electrical & Electronic  (52.672)
  18. Computer Software Industry  (51.938)
  19. Physical Sciences  (50.653)
  20. Computer Software  (15.316)
  21. Computer Architecture  (11.719)
  22. Model Checking  (783)
  23. Logiciels  (668)
  24. Testen  (89)
  25. Química  (6)
  26. Computer Software  (4)
  27. Testen  (4)
  28. Logiciels  (3)
  29. Model Checking  (3)
  30. Especificação De Sistemas E Programas (Congressos)  (3)
  31. Engenharia De Programas  (3)
  32. Protocolos De Comunicação (Congressos)  (2)
  33. Técnicas De Programação (Congressos)  (2)
  34. Computação Aplicada  (2)
  35. M Ethodes Formelles (Informatique)  (2)
  36. Formal Methods (Computer Science)  (2)
  37. Redes E Comunicação De Dados (Congressos)  (2)
  38. Reabilitação  (1)
  39. Compilers (Computer Programs)  (1)
  40. Química  (1)
  41. Computer Architecture  (1)
  42. Systems Programming (Computer Science)  (1)
  43. Enfermagem-Estudo E Ensino  (1)
  44. Zoologia  (1)
  45. Qualit E Du Logiciel  (1)
  46. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1966  (100)
  2. 1966Até1979  (1.081)
  3. 1980Até1993  (64.865)
  4. 1994Até2008  (315.628)
  5. Após 2008  (324.287)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (696.505)
  2. Japonês  (44.430)
  3. Chinês  (3.421)
  4. Português  (1.691)
  5. Alemão  (1.600)
  6. Espanhol  (1.577)
  7. Francês  (394)
  8. Russo  (232)
  9. Ucraniano  (151)
  10. Norueguês  (119)
  11. Turco  (108)
  12. Italiano  (76)
  13. Polonês  (72)
  14. Tcheco  (44)
  15. Persa  (31)
  16. Letão  (29)
  17. Árabe  (29)
  18. Lituano  (27)
  19. Holandês  (23)
  20. Esloveno  (22)
  21. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Reussner, R
  2. Freitas, D
  3. Sestoft, P
  4. PSSE
  5. Sperandio, D

Neste Assunto:

  1. Software
  2. Software
  3. Science & Technology
  4. Technology
  5. Computer Science

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

Buscando em bases de dados remotas. Favor aguardar.