skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Software remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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
2
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.

3
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
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 		Adicionar ao 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
“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
7
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
8
Pyomo: Optimization Modeling in Python
Pyomo: Optimization Modeling in Python
Material Type:
Livro 		Adicionar ao Meu Espaço

Pyomo: Optimization Modeling in Python

Hart, William E ; Laird, Carl ; Watson, Jean-Paul ; Woodruff, David L Woodruff, David L ; Watson, Jean-Paul ; Laird, Carl

Netherlands: Springer Nature 2012

Texto completo disponível

Citações Citado por
9
Classification in the Presence of Label Noise: A Survey
Classification in the Presence of Label Noise: A Survey
Material Type:
Artigo 		Adicionar ao Meu Espaço

Classification in the Presence of Label Noise: A Survey

Frenay, Benoit ; Verleysen, Michel

IEEE transaction on neural networks and learning systems, 2014-05, Vol.25 (5), p.845-869

New York, NY: IEEE

Texto completo disponível

Citações Citado por
10
Addressing failures in exascale computing
Addressing failures in exascale computing
Material Type:
Artigo 		Adicionar ao Meu Espaço

Addressing failures in exascale computing

Snir, Marc ; Wisniewski, Robert W ; Abraham, Jacob A ; Adve, Sarita V ; Bagchi, Saurabh ; Balaji, Pavan ; Belak, Jim ; Bose, Pradip ; Cappello, Franck ; Carlson, Bill ; Chien, Andrew A ; Coteus, Paul ; DeBardeleben, Nathan A ; Diniz, Pedro C ; Engelmann, Christian ; Erez, Mattan ; Fazzari, Saverio ; Geist, Al ; Gupta, Rinku ; Johnson, Fred ; Krishnamoorthy, Sriram ; Leyffer, Sven ; Liberty, Dean ; Mitra, Subhasish ; Munson, Todd ; Schreiber, Rob ; Stearley, Jon ; Hensbergen, Eric Van

The international journal of high performance computing applications, 2014-05, Vol.28 (2), p.129-173 [Periódico revisado por pares]

London, England: SAGE Publications

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 (559.517)
  2. Revistas revisadas por pares (301.939)
  3. Disponível na Biblioteca (11)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (365.255)
  2. magazinearticle  (113.568)
  3. Anais de Congresso  (48.841)
  4. Resenhas  (11.723)
  5. Newsletter Articles  (7.831)
  6. Book Chapters  (7.680)
  7. Artigos de Jornal  (2.141)
  8. Livros  (1.839)
  9. Verbetes  (327)
  10. Conjunto de Dados  (181)
  11. Reports  (79)
  12. Dissertações  (40)
  13. Standards  (9)
  14. Produções Acadêmicas  (3)
  15. Web Resources  (3)
  16. Recursos Textuais  (3)
  17. Documentos Governamentais  (2)
  18. Imagens  (2)
  19. Outros  (1)
  20. Mais opções open sub menu

Assunto 

  1. Science & Technology  (280.882)
  2. Technology  (204.156)
  3. Computer Science  (155.206)
  4. Exact Sciences And Technology  (117.267)
  5. Applied Sciences  (113.379)
  6. Computer Science; Control Theory; Systems  (108.934)
  7. Life Sciences & Biomedicine  (87.143)
  8. Engineering  (80.597)
  9. Algorithms  (57.210)
  10. Humans  (51.401)
  11. Physical Sciences  (47.966)
  12. Computer Science, Theory & Methods  (45.587)
  13. Computer Science, Software Engineering  (45.536)
  14. Computer Systems And Distributed Systems. User Interface  (45.265)
  15. Computer Software Industry  (44.482)
  16. Computer Science, Information Systems  (43.963)
  17. Engineering, Electrical & Electronic  (43.633)
  18. Computer Programs  (42.323)
  19. Memory Organisation. Data Processing  (38.677)
  20. Computer Software  (13.050)
  21. Computer Architecture  (8.306)
  22. Model Checking  (534)
  23. Logiciels  (394)
  24. Testen  (28)
  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 de1967  (90)
  2. 1967Até1980  (692)
  3. 1981Até1994  (51.094)
  4. 1995Até2009  (259.916)
  5. Após 2009  (250.517)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (557.708)
  2. Japonês  (41.812)
  3. Português  (1.534)
  4. Espanhol  (1.318)
  5. Alemão  (909)
  6. Chinês  (314)
  7. Francês  (285)
  8. Ucraniano  (141)
  9. Russo  (135)
  10. Norueguês  (119)
  11. Turco  (73)
  12. Polonês  (57)
  13. Italiano  (52)
  14. Tcheco  (37)
  15. Letão  (29)
  16. Persa  (29)
  17. Lituano  (23)
  18. Holandês  (21)
  19. Árabe  (20)
  20. Africâner  (20)
  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.