Resultados da busca

Refinar Resultados
  1. 1

    Technical issues related to the Comprehensive Nuclear Test Ban Treaty

    Publicado em 2002
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico livro eletrônico
  2. 2

    Seismological research requirements for a comprehensive test-ban monitoring system

    Publicado em 1995
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico livro eletrônico
  3. 3

    Verification by error modeling using testing techniques in hardware verification / por Radecka, Katarzyna

    Publicado em 2003
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico livro eletrônico
  4. 4
  5. 5

    Comprehensive functional verification the complete industry cycle por Wile, Bruce

    Publicado em 2005
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico livro eletrônico
  6. 6

    Verification of infinite-state systems with applications to security

    Publicado em 2006
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico Anais de Congresso livro eletrônico
  7. 7

    The Chemical Weapons Convention implementation, challenges and opportunities /

    Publicado em 2006
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico livro eletrônico
  8. 8

    Verification techniques for system-level design por Fujita, Masahiro, 1956-

    Publicado em 2008
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico livro eletrônico
  9. 9

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS por Yoeli, Michael, 1917-

    Publicado em 2008
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico livro eletrônico
  10. 10

    Metamodeling-driven IP reuse for SoC integration and microprocessor design por Mathaikutty, Deepak A.

    Publicado em 2009
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico livro eletrônico
  11. 11

    Verification and validation of 3D free-surface flow models

    Publicado em 2009
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico livro eletrônico
  12. 12

    Germ gambits the bioweapons dilemma, Iraq and beyond / por Smithson, Amy E.

    Publicado em 2011
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico livro eletrônico
  13. 13

    Comprehensive nuclear test ban treaty technical issues for the United States /

    Publicado em 2012
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico livro eletrônico
  14. 14

    Software safety and security tools for analysis and verification /

    Publicado em 2012
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico Anais de Congresso livro eletrônico
  15. 15
  16. 16

    Deadly arsenals nuclear, biological, and chemical threats / por Cirincione, Joseph

    Publicado em 2005
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico livro eletrônico
  17. 17

    Detection of nuclear weapons and materials

    Publicado em 2010
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico livro eletrônico
  18. 18

    Engineering dependable software systems /

    Publicado em 2013
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico Anais de Congresso livro eletrônico
  19. 19

    Robot framework test automation / por Bisht, Sumit

    Publicado em 2013
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico livro eletrônico
  20. 20

    The software audit guide / por Helgeson, John W., 1945-

    Publicado em 2009
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico livro eletrônico