תוצאות חיפוש

Refine Results
  1. 1

    Technical issues related to the Comprehensive Nuclear Test Ban Treaty

    יצא לאור 2002
    An electronic book accessible through the World Wide Web; click to view
    אלקטרוני ספר אלקטרוני
  2. 2

    Seismological research requirements for a comprehensive test-ban monitoring system

    יצא לאור 1995
    An electronic book accessible through the World Wide Web; click to view
    אלקטרוני ספר אלקטרוני
  3. 3

    Verification by error modeling using testing techniques in hardware verification / מאת Radecka, Katarzyna

    יצא לאור 2003
    An electronic book accessible through the World Wide Web; click to view
    אלקטרוני ספר אלקטרוני
  4. 4

    The implementation of legally binding measures to strengthen the biological and toxin weapons convention

    יצא לאור 2004
    An electronic book accessible through the World Wide Web; click to view
    אלקטרוני ספר אלקטרוני
  5. 5

    Comprehensive functional verification the complete industry cycle מאת Wile, Bruce

    יצא לאור 2005
    An electronic book accessible through the World Wide Web; click to view
    אלקטרוני ספר אלקטרוני
  6. 6

    Verification of infinite-state systems with applications to security

    יצא לאור 2006
    An electronic book accessible through the World Wide Web; click to view
    אלקטרוני Conference Proceeding ספר אלקטרוני
  7. 7

    The Chemical Weapons Convention implementation, challenges and opportunities /

    יצא לאור 2006
    An electronic book accessible through the World Wide Web; click to view
    אלקטרוני ספר אלקטרוני
  8. 8

    Verification techniques for system-level design מאת Fujita, Masahiro, 1956-

    יצא לאור 2008
    An electronic book accessible through the World Wide Web; click to view
    אלקטרוני ספר אלקטרוני
  9. 9

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS מאת Yoeli, Michael, 1917-

    יצא לאור 2008
    An electronic book accessible through the World Wide Web; click to view
    אלקטרוני ספר אלקטרוני
  10. 10

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

    יצא לאור 2009
    An electronic book accessible through the World Wide Web; click to view
    אלקטרוני ספר אלקטרוני
  11. 11

    Verification and validation of 3D free-surface flow models

    יצא לאור 2009
    An electronic book accessible through the World Wide Web; click to view
    אלקטרוני ספר אלקטרוני
  12. 12

    Germ gambits the bioweapons dilemma, Iraq and beyond / מאת Smithson, Amy E.

    יצא לאור 2011
    An electronic book accessible through the World Wide Web; click to view
    אלקטרוני ספר אלקטרוני
  13. 13

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

    יצא לאור 2012
    An electronic book accessible through the World Wide Web; click to view
    אלקטרוני ספר אלקטרוני
  14. 14

    Software safety and security tools for analysis and verification /

    יצא לאור 2012
    An electronic book accessible through the World Wide Web; click to view
    אלקטרוני Conference Proceeding ספר אלקטרוני
  15. 15
  16. 16

    Deadly arsenals nuclear, biological, and chemical threats / מאת Cirincione, Joseph

    יצא לאור 2005
    An electronic book accessible through the World Wide Web; click to view
    אלקטרוני ספר אלקטרוני
  17. 17

    Detection of nuclear weapons and materials

    יצא לאור 2010
    An electronic book accessible through the World Wide Web; click to view
    אלקטרוני ספר אלקטרוני
  18. 18

    Engineering dependable software systems /

    יצא לאור 2013
    An electronic book accessible through the World Wide Web; click to view
    אלקטרוני Conference Proceeding ספר אלקטרוני
  19. 19

    Robot framework test automation / מאת Bisht, Sumit

    יצא לאור 2013
    An electronic book accessible through the World Wide Web; click to view
    אלקטרוני ספר אלקטרוני
  20. 20

    The software audit guide / מאת Helgeson, John W., 1945-

    יצא לאור 2009
    An electronic book accessible through the World Wide Web; click to view
    אלקטרוני ספר אלקטרוני