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
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Verificação funcional para circuitos de transmissão e recepção de sinais mistos.
Verificação funcional para circuitos de transmissão e recepção de sinais mistos.
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Verificação funcional para circuitos de transmissão e recepção de sinais mistos.

Martins, Vinicius Antonio De Oliveira

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2017-05-05

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

2
Ferramenta CAD para extração de modelo de cobertura de saída por itens em verificação funcional.
Ferramenta CAD para extração de modelo de cobertura de saída por itens em verificação funcional.
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Ferramenta CAD para extração de modelo de cobertura de saída por itens em verificação funcional.

Muñoz Quispe, Joel Iván

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2011-10-25

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

3
Co-verification of Hardware and Software for ARM SoC Design
Co-verification of Hardware and Software for ARM SoC Design
Co-verification of Hardware and Software for ARM SoC Design
Material Type:
Livro 		Adicionar ao Meu Espaço

Co-verification of Hardware and Software for ARM SoC Design

Jason R. Andrews

Newnes 2005

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

4
Verification of disarmament or limitation of armaments instruments, negotiations, proposals
Verification of disarmament or limitation of armaments instruments, negotiations, proposals
Material Type:
Livro 		Adicionar ao Meu Espaço

Verification of disarmament or limitation of armaments instruments, negotiations, proposals

Serge Sur; United Nations Institute for Disarmament Research

New York United Nations 1992

Localização: FD - Fac. Direito    (RESERVA TÉCNICA 341.67 S958v DIN )(Acessar)

5
Verificationism its history and prospects
Verificationism its history and prospects
Material Type:
Livro 		Adicionar ao Meu Espaço

Verificationism its history and prospects

C. J Misak (Cheryl J.)

London Routledge New York 1995

Localização: FEA - Fac. Econ. Adm. Contab. e Atuária  ACERVO DELFIM NETTO  (C10.22.26 )(Acessar)

6
La vérification des accords sur le désarmement et la limitation des armements moyens, méthodes et pratiques
La vérification des accords sur le désarmement et la limitation des armements moyens, méthodes et pratiques
Material Type:
Livro 		Adicionar ao Meu Espaço

La vérification des accords sur le désarmement et la limitation des armements moyens, méthodes et pratiques

Serge Sur; United Nations Institute for Disarmament Research

New York Nations Unies 1991

Localização: FD - Fac. Direito    (RESERVA TÉCNICA 341.67 S958ve DIN )(Acessar)

7
Addressing verification challenges : proceeding of an International Safeguards Symposium on Addressing Verification Challenges, organized by the International Atomic Energy Agency in cooperation with the Institute of Nuclear Materials Management and the European Safeguards Research and Development Association and held in Vienna, 16-20 October 2006.
Addressing verification challenges : proceeding of an International Safeguards Symposium on Addressing Verification Challenges, organized by the International Atomic Energy Agency in cooperation with the Institute of Nuclear Materials Management and the European Safeguards Research and Development Association and held in Vienna, 16-20 October 2006.
Material Type:
Livro 		Adicionar ao Meu Espaço

Addressing verification challenges : proceeding of an International Safeguards Symposium on Addressing Verification Challenges, organized by the International Atomic Energy Agency in cooperation with the Institute of Nuclear Materials Management and the European Safeguards Research and Development Association and held in Vienna, 16-20 October 2006.

International Safeguards Symposium on Addressing Verification Challenges (2006 : Vienna, Austria) International Atomic Energy Agency; Institute of Nuclear Materials Management.; European Safeguards Research and Development Association.

Vienna : International Atomic Energy Agency 2007

Localização: IF - Instituto de Física    (621.483506 I61a ) e outros locais(Acessar)

8
Avaliação de métodos estatísticos aplicados ao estudo de testes diagnósticos na presença do viés de verificação
Avaliação de métodos estatísticos aplicados ao estudo de testes diagnósticos na presença do viés de verificação
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Avaliação de métodos estatísticos aplicados ao estudo de testes diagnósticos na presença do viés de verificação

Aragon, Davi Casale

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Medicina de Ribeirão Preto 2007-08-31

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

9
Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas
Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas

Hanazumi, Simone

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2010-09-01

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

10
Enriquecimento ambiental para gatos domésticos (Felis silvestris catus L.): A importância dos odores
Enriquecimento ambiental para gatos domésticos (Felis silvestris catus L.): A importância dos odores
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Enriquecimento ambiental para gatos domésticos (Felis silvestris catus L.): A importância dos odores

Guandolini, Gisele Cristina

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Filosofia, Ciências e Letras de Ribeirão Preto 2009-05-22

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

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 (70.441)
  2. Revistas revisadas por pares (37.620)
  3. Disponível na Biblioteca (138)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (44.267)
  2. Anais de Congresso  (36.933)
  3. Reports  (7.227)
  4. Book Chapters  (6.388)
  5. Livros  (1.536)
  6. Dissertações  (1.175)
  7. magazinearticle  (890)
  8. Conjunto de Dados  (881)
  9. Artigos de Jornal  (430)
  10. Newsletter Articles  (396)
  11. Recursos Textuais  (355)
  12. Imagens  (236)
  13. Standards  (188)
  14. Web Resources  (106)
  15. Verbetes  (77)
  16. Videos  (54)
  17. Resenhas  (34)
  18. Produções Acadêmicas  (26)
  19. Outros  (24)
  20. Patentes  (21)
  21. Archival Material / Manuscripts  (19)
  22. Audiovisuais  (1)
  23. Mais opções open sub menu

Assunto 

  1. Science & Technology  (43.375)
  2. Technology  (36.025)
  3. Verification  (35.561)
  4. Computer Science  (27.604)
  5. Engineering  (16.474)
  6. Engineering, Electrical & Electronic  (10.839)
  7. Computer Science, Software Engineering  (10.781)
  8. Computer Science, Theory & Methods  (10.381)
  9. Physical Sciences  (7.627)
  10. Formal Verification  (6.402)
  11. Algorithms  (6.312)
  12. Computer Science, Information Systems  (5.748)
  13. Software  (5.538)
  14. Program Verification  (5.391)
  15. Life Sciences & Biomedicine  (4.894)
  16. Software Engineering  (4.712)
  17. Computer Science, Artificial Intelligence  (4.252)
  18. Computer Science, Hardware & Architecture  (4.155)
  19. Mathematical Models  (4.137)
  20. Exact Sciences And Technology  (3.610)
  21. Model Checking  (2.545)
  22. Hardware  (2.252)
  23. Computer Programs  (2.013)
  24. Integrated Circuits  (872)
  25. Computer Software  (789)
  26. Computer Systems  (478)
  27. Circuitos Integrados  (58)
  28. Computer Software  (41)
  29. Integrated Circuits  (33)
  30. Verificação E Validação De Software  (22)
  31. Engenharia De Programas  (21)
  32. Engenharia De Software  (19)
  33. Computer Programs  (19)
  34. Circuitos Integrados  (11)
  35. Desarmamento  (10)
  36. Verificação E Validação De Software (Congressos)  (9)
  37. Model Checking  (8)
  38. Técnicas De Programação (Congressos)  (8)
  39. SPIN (Computer file)  (7)
  40. Computer Systems  (7)
  41. Formal Methods (Computer Science)  (7)
  42. Hardware  (6)
  43. Verificação Formal  (6)
  44. Semântica De Programação (Congressos)  (6)
  45. Especificação De Sistemas E Programas  (6)
  46. Engenharia De Software  (3)
  47. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1958  (108)
  2. 1958Até1973  (307)
  3. 1974Até1989  (3.786)
  4. 1990Até2006  (21.028)
  5. Após 2006  (76.449)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (98.763)
  2. Japonês  (4.048)
  3. Chinês  (1.003)
  4. Francês  (418)
  5. Alemão  (285)
  6. Espanhol  (249)
  7. Português  (197)
  8. Russo  (168)
  9. Coreano  (86)
  10. Tcheco  (57)
  11. Polonês  (50)
  12. Croatian  (34)
  13. Catalão  (20)
  14. Árabe  (20)
  15. Italiano  (19)
  16. Ucraniano  (17)
  17. Norueguês  (15)
  18. Eslovaco  (14)
  19. Turco  (13)
  20. Africâner  (10)
  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.