skip to main content
Idioma:
Refinado por: assunto: Software remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Army Conducts FVL Technology Analysis, Contractors Writing Early Software Apps
Army Conducts FVL Technology Analysis, Contractors Writing Early Software Apps
Material Type:
Newsletter Articles 		Adicionar ao Meu Espaço

Army Conducts FVL Technology Analysis, Contractors Writing Early Software Apps

46

Helicopter News, 2014

Potomac: Access Intelligence, LLC

Texto completo disponível

Citações Citado por
2
Apoptotic Cells Promote Their Own Clearance and Immune Tolerance through Activation of the Nuclear Receptor LXR
Apoptotic Cells Promote Their Own Clearance and Immune Tolerance through Activation of the Nuclear Receptor LXR
Material Type:
Artigo 		Adicionar ao Meu Espaço

Apoptotic Cells Promote Their Own Clearance and Immune Tolerance through Activation of the Nuclear Receptor LXR

A-Gonzalez, Noelia ; Bensinger, Steven J. ; Hong, Cynthia ; Beceiro, Susana ; Bradley, Michelle N. ; Zelcer, Noam ; Deniz, Jose ; Ramirez, Cristina ; Díaz, Mercedes ; Gallardo, German ; Ruiz de Galarreta, Carlos ; Salazar, Jon ; Lopez, Felix ; Edwards, Peter ; Parks, John ; Andujar, Miguel ; Tontonoz, Peter ; Castrillo, Antonio

Immunity (Cambridge, Mass.), 2009-08, Vol.31 (2), p.245-258 [Periódico revisado por pares]

United States: Elsevier Inc

Texto completo disponível

Citações Citado por
3
Impact of Denial of Service Attacks on Ad Hoc Networks
Impact of Denial of Service Attacks on Ad Hoc Networks
Material Type:
Artigo 		Adicionar ao Meu Espaço

Impact of Denial of Service Attacks on Ad Hoc Networks

Aad, I. ; Hubaux, J.-P. ; Knightly, E.W.

IEEE/ACM transactions on networking, 2008-08, Vol.16 (4), p.791-802 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
4
Software process improvement: Blueprints versus recipes
Software process improvement: Blueprints versus recipes
Material Type:
Artigo 		Adicionar ao Meu Espaço

Software process improvement: Blueprints versus recipes

Aaen, I.

IEEE software, 2003-09, Vol.20 (5), p.86-93 [Periódico revisado por pares]

Los Alamitos: IEEE

Texto completo disponível

Citações Citado por
5
Essence: facilitating software innovation
Essence: facilitating software innovation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Essence: facilitating software innovation

Aaen, Ivan

European journal of information systems, 2008-10, Vol.17 (5), p.543-553 [Periódico revisado por pares]

London: Palgrave Macmillan UK

Texto completo disponível

Citações Citado por
6
A Hazards-Based Correctness Statement for Pipelined Circuits
A Hazards-Based Correctness Statement for Pipelined Circuits
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Hazards-Based Correctness Statement for Pipelined Circuits

Aagaard, Mark D. Geist, Daniel ; Tronci, Enrico

Correct Hardware Design and Verification Methods, 2003, p.66-80 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
7
A framework for superscalar microprocessor correctness statements
A framework for superscalar microprocessor correctness statements
Material Type:
Artigo 		Adicionar ao Meu Espaço

A framework for superscalar microprocessor correctness statements

AAGAARD, Mark D ; COOK, Byron ; DAY, Nancy A ; JONES, Robert B

International journal on software tools for technology transfer, 2003-05, Vol.4 (3), p.298-312 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
8
Relating Multi-step and Single-Step Microprocessor Correctness Statements
Relating Multi-step and Single-Step Microprocessor Correctness Statements
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Relating Multi-step and Single-Step Microprocessor Correctness Statements

Aagaard, Mark D. ; Day, Nancy A. ; Lou, Meng Aagaard, Mark D. ; O’Leary, John W.

Formal Methods in Computer-Aided Design, 2002, p.123-141 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
Xs Are for Trajectory Evaluation, Booleans Are for Theorem Proving
Xs Are for Trajectory Evaluation, Booleans Are for Theorem Proving
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Xs Are for Trajectory Evaluation, Booleans Are for Theorem Proving

Aagaard, Mark D. ; Melham, Thomas F. ; O’Leary, John W. Pierre, Laurence ; Kropf, Thomas

Correct Hardware Design and Verification Methods, 1999, p.202-218 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
Giga-voxel computational morphogenesis for structural design
Giga-voxel computational morphogenesis for structural design
Material Type:
Artigo 		Adicionar ao Meu Espaço

Giga-voxel computational morphogenesis for structural design

Aage, Niels ; Andreassen, Erik ; Lazarov, Boyan S ; Sigmund, Ole

Nature (London), 2017-10, Vol.550 (7674), p.84-86 [Periódico revisado por pares]

England: Nature Publishing Group

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (145.657)
  2. Revistas revisadas por pares (85.727)
  3. Disponível na Biblioteca (4)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (101.493)
  2. magazinearticle  (22.669)
  3. Anais de Congresso  (13.431)
  4. Newsletter Articles  (4.287)
  5. Book Chapters  (1.577)
  6. Resenhas  (990)
  7. Livros  (543)
  8. Artigos de Jornal  (388)
  9. Verbetes  (83)
  10. Reports  (73)
  11. Conjunto de Dados  (62)
  12. Dissertações  (50)
  13. Standards  (9)
  14. Produções Acadêmicas  (5)
  15. Recursos Textuais  (3)
  16. Outros  (1)
  17. Web Resources  (1)
  18. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1964  (81)
  2. 1964Até1978  (194)
  3. 1979Até1993  (7.533)
  4. 1994Até2009  (58.270)
  5. Após 2009  (80.394)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (145.260)
  2. Japonês  (12.846)
  3. Português  (313)
  4. Espanhol  (301)
  5. Alemão  (155)
  6. Chinês  (79)
  7. Francês  (70)
  8. Norueguês  (43)
  9. Russo  (32)
  10. Catalão  (15)
  11. Polonês  (14)
  12. Italiano  (14)
  13. Letão  (11)
  14. Turco  (11)
  15. Ucraniano  (11)
  16. Tcheco  (9)
  17. Árabe  (7)
  18. Esloveno  (7)
  19. Lituano  (5)
  20. Africâner  (3)
  21. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Reussner, R
  2. Évora, Y
  3. Silva, K
  4. Fonseca, C
  5. Vivolo, S

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.