skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
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
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
System software an introduction to systems programming
System software an introduction to systems programming
Material Type:
Livro 		Adicionar ao Meu Espaço

System software an introduction to systems programming

Leland L. Beck

Reading, Mass. Addison-Wesley Pub. Co. c1990

Localização: IME - Inst. Matemática e Estatística    (QA754 B393s e.2 )(Acessar)

3
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.

4
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)

5
A Survey of Convolutional Neural Networks: Analysis, Applications, and Prospects
A Survey of Convolutional Neural Networks: Analysis, Applications, and Prospects
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Survey of Convolutional Neural Networks: Analysis, Applications, and Prospects

Li, Zewen ; Liu, Fan ; Yang, Wenjie ; Peng, Shouheng ; Zhou, Jun

IEEE transaction on neural networks and learning systems, 2022-12, Vol.33 (12), p.6999-7019

United States: IEEE

Texto completo disponível

Citações Citado por
6
A Survey of the Usages of Deep Learning for Natural Language Processing
A Survey of the Usages of Deep Learning for Natural Language Processing
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Survey of the Usages of Deep Learning for Natural Language Processing

Otter, Daniel W. ; Medina, Julian R. ; Kalita, Jugal K.

IEEE transaction on neural networks and learning systems, 2021-02, Vol.32 (2), p.604-624

United States: IEEE

Texto completo disponível

Citações Citado por
7
Robust and Communication-Efficient Federated Learning From Non-i.i.d. Data
Robust and Communication-Efficient Federated Learning From Non-i.i.d. Data
Material Type:
Artigo 		Adicionar ao Meu Espaço

Robust and Communication-Efficient Federated Learning From Non-i.i.d. Data

Sattler, Felix ; Wiedemann, Simon ; Muller, Klaus-Robert ; Samek, Wojciech

IEEE transaction on neural networks and learning systems, 2020-09, Vol.31 (9), p.3400-3413

IEEE

Texto completo disponível

Citações Citado por
8
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
9
Deep Subdomain Adaptation Network for Image Classification
Deep Subdomain Adaptation Network for Image Classification
Material Type:
Artigo 		Adicionar ao Meu Espaço

Deep Subdomain Adaptation Network for Image Classification

Zhu, Yongchun ; Zhuang, Fuzhen ; Wang, Jindong ; Ke, Guolin ; Chen, Jingwu ; Bian, Jiang ; Xiong, Hui ; He, Qing

IEEE transaction on neural networks and learning systems, 2021-04, Vol.32 (4), p.1713-1722

United States: IEEE

Texto completo disponível

Citações Citado por
10
When Gaussian Process Meets Big Data: A Review of Scalable GPs
When Gaussian Process Meets Big Data: A Review of Scalable GPs
Material Type:
Artigo 		Adicionar ao Meu Espaço

When Gaussian Process Meets Big Data: A Review of Scalable GPs

Liu, Haitao ; Ong, Yew-Soon ; Shen, Xiaobo ; Cai, Jianfei

IEEE transaction on neural networks and learning systems, 2020-11, Vol.31 (11), p.4405-4423

United States: IEEE

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 (214.170)
  2. Revistas revisadas por pares (165.264)
  3. Disponível na Biblioteca (4)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (156.904)
  2. Anais de Congresso  (41.329)
  3. Book Chapters  (7.369)
  4. magazinearticle  (6.462)
  5. Livros  (1.519)
  6. Newsletter Articles  (215)
  7. Artigos de Jornal  (175)
  8. Resenhas  (140)
  9. Conjunto de Dados  (19)
  10. Verbetes  (17)
  11. Dissertações  (16)
  12. Reports  (6)
  13. Recursos Textuais  (1)
  14. Mais opções open sub menu

Assunto 

  1. Science & Technology  (170.105)
  2. Technology  (165.228)
  3. Computer Science  (162.992)
  4. Exact Sciences And Technology  (113.666)
  5. Applied Sciences  (112.383)
  6. Computer Science; Control Theory; Systems  (109.673)
  7. Engineering  (53.112)
  8. Computer Science, Theory & Methods  (46.975)
  9. Computer Science, Software Engineering  (46.404)
  10. Computer Systems And Distributed Systems. User Interface  (45.271)
  11. Computer Science, Information Systems  (44.603)
  12. Memory Organisation. Data Processing  (38.669)
  13. Engineering, Electrical & Electronic  (36.367)
  14. Artificial Intelligence  (32.714)
  15. Computer Science, Interdisciplinary Applications  (31.724)
  16. Computer Science, Artificial Intelligence  (31.551)
  17. Algorithms  (29.305)
  18. Software Engineering  (23.031)
  19. Physical Sciences  (22.760)
  20. Information Systems  (8.389)
  21. Computer Software  (1.668)
  22. Model Checking  (479)
  23. Logiciels  (324)
  24. Logic Design  (318)
  25. Testen  (27)
  26. Testen  (3)
  27. Logiciels  (2)
  28. Protocolos De Comunicação (Congressos)  (2)
  29. Model Checking  (2)
  30. Especificação De Sistemas E Programas (Congressos)  (2)
  31. Computer Software  (2)
  32. Sistemas De Informação  (2)
  33. Engenharia De Programas  (2)
  34. M Ethodes Formelles (Informatique)  (2)
  35. Formal Methods (Computer Science)  (2)
  36. Redes E Comunicação De Dados (Congressos)  (2)
  37. Recife <2007>  (1)
  38. Information Systems  (1)
  39. Metodologia E Técnicas De Computação  (1)
  40. V Erification De Logiciels  (1)
  41. Logística (Design)  (1)
  42. Systems Programming (Computer Science)  (1)
  43. Sistemas De Informação  (1)
  44. Computação Aplicada  (1)
  45. Logic Design  (1)
  46. M Ethode Formelle  (1)
  47. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1969  (96)
  2. 1969Até1982  (762)
  3. 1983Até1996  (25.214)
  4. 1997Até2011  (106.446)
  5. Após 2011  (84.029)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (214.040)
  2. Japonês  (39.070)
  3. Português  (629)
  4. Espanhol  (441)
  5. Alemão  (210)
  6. Francês  (36)
  7. Chinês  (35)
  8. Norueguês  (32)
  9. Russo  (7)
  10. Turco  (7)
  11. Ucraniano  (7)
  12. Catalão  (6)
  13. Árabe  (6)
  14. Polonês  (2)
  15. Italiano  (2)
  16. Coreano  (2)
  17. Sueco  (2)
  18. Húngaro  (1)
  19. Holandês  (1)
  20. Galês  (1)
  21. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Sampaio, A
  2. Borba, P
  3. Beck, L
  4. Weise, C
  5. PSSE

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.