skip to main content
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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
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
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ÉCNICA341.67 S958v DIN )(Acessar)

4
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. e Contab.  ACERVO DELFIM NETTO  (C10.22.26 )(Acessar)

5
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ÉCNICA341.67 S958ve DIN )(Acessar)

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

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

8
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
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
Aerial reconnaissance for verification of arms limitation agreements an introduction
Material Type:
Livro
Adicionar ao Meu Espaço

Aerial reconnaissance for verification of arms limitation agreements an introduction

Allen V. Banner 1955- (Allen Vernon) Andrew J Young 1960-; Keith W Hall of Ottawa, Canada; United Nations Institute for Disarmament Research

New York United Nations 1990

Localização: FD - Fac. Direito    (RESERVA TÉCNICA341.67 A192 DIN )(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (12.440)
  2. Recursos Online (25.318)
  3. Disponível na Biblioteca (135)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (13.639)
  2. Anais de Congresso  (5.528)
  3. Relatórios Técnicos  (3.677)
  4. Recursos Textuais  (1.156)
  5. Dissertações  (535)
  6. Artigos de Jornal  (345)
  7. Livros  (320)
  8. Resenhas  (121)
  9. Outros  (42)
  10. Book Chapters  (37)
  11. Produções Acadêmicas  (25)
  12. Verbetes  (3)
  13. Audiovisuais  (2)
  14. Revistas  (1)
  15. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1966  (25)
  2. 1966Até1978  (358)
  3. 1979Até1991  (1.636)
  4. 1992Até2005  (7.039)
  5. Após 2005  (16.048)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (24.421)
  2. Japonês  (195)
  3. Francês  (111)
  4. Chinês  (96)
  5. Português  (61)
  6. Alemão  (60)
  7. Russo  (57)
  8. Espanhol  (54)
  9. Tcheco  (24)
  10. Coreano  (24)
  11. Indonésio  (9)
  12. Árabe  (5)
  13. Norueguês  (4)
  14. Turco  (4)
  15. Eslovaco  (3)
  16. Polonês  (2)
  17. Holandês  (2)
  18. Italiano  (1)
  19. Romeno  (1)
  20. Persa  (1)
  21. Mais opções open sub menu

Nome da Publicação 

  1. Electronic Notes in Theoretical Computer Science  (423)
  2. Formal Methods In System Design  (245)
  3. International Journal On Software Tools For Technology Transfer  (210)
  4. Science of Computer Programming  (187)
  5. International Journal of Radiation Oncology, Biology, Physics  (184)
  6. Formal Aspects of Computing  (161)
  7. Journal of Automated Reasoning  (105)
  8. Proceedings  (98)
  9. Geophysical Journal International  (85)
  10. Journal of Applied Clinical Medical Physics  (73)
  11. Information and Software Technology  (68)
  12. Journal of Systems and Software  (62)
  13. Measurement Techniques  (46)
  14. Multimedia Tools and Applications  (46)
  15. Journal of Hydrology  (45)
  16. Software & Systems Modeling  (45)
  17. JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS  (42)
  18. Pure and Applied Geophysics  (39)
  19. International journal of advanced manufacturing technology  (36)
  20. Journal of Environmental Radioactivity  (32)
  21. Computer Journal  (25)
  22. Food control  (20)
  23. Geophysical Research Letters  (16)
  24. Radiation measurements  (14)
  25. IEEE Transactions on Visualization and Computer Graphics  (4)
  26. Journal of the Brazilian Society of Mechanical Sciences and Engineering  (3)
  27. Tempo social  (2)
  28. Journal of biopharmaceutical statistics  (2)
  29. http://www.sciencedirect.com/science?_ob=MiamiImageURL&_cid=271164&_user=5674931&_pii=S0956713507001612&_check=y&_origin=browse&_coverDate=31-Aug-2008&view=c&wchp=dGLbVlt-zSkWb&md5=a4e213d237c399cf8d10974f0486a13d/1-s2.0-S0956713507001612-main.pdf  (1)
  30. International Journal for Numerical Methods in Fluids  (1)
  31. Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings  (1)
  32. Software Engineering Notes  (1)
  33. Computational Science and Its Applications - ICCSA 2015: 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I  (1)
  34. International Journal of Wavelets Multiresolution and Information Processing  (1)
  35. Journal of Applied Statistics  (1)
  36. Journal of Aerospace Technology and Management  (1)
  37. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Wang, J
  2. Piessens, Frank
  3. Kwiatkowska, Marta
  4. Jacobs, Bart
  5. Kropf, T

Buscando em bases de dados remotas. Favor aguardar.