खोज परिणाम

  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
    इलेक्ट्रोनिक सम्मेलन की कार्यवाही ई-पुस्तक
  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
    इलेक्ट्रोनिक सम्मेलन की कार्यवाही ई-पुस्तक
  15. 15

    Atomic testing in Mississippi Project Dribble and the quest for nuclear weapons treaty verification in the Cold War era / द्वारा Burke, David Allen, 1967-

    प्रकाशित 2012
    An electronic book accessible through the World Wide Web; click to view
    इलेक्ट्रोनिक ई-पुस्तक
  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
    इलेक्ट्रोनिक सम्मेलन की कार्यवाही ई-पुस्तक
  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
    इलेक्ट्रोनिक ई-पुस्तक