Showing 1 - 20 results of 2,339 for search '', query time: 0.09s Refine Results
  1. 1
    ENGINEERING NUCLEAR DISARMAMENT
    by Shea, Thomas, 1940-
    Published 2018

    Book
  2. 2
    Confidence-building, peace-making and aerial inspections in the Middle East /
    by Krepon, Michael, 1946-
    Published 1992

    Book
  3. 3
    A world effectively controlled by the United Nations; a preliminary survey of one form of a stable military environment

    Book
  4. 4
    Cooperation verification /
    by Pieragostini, Karl, 1947-
    Published 1983

    Book
  5. 5
    IEEE International High-Level Design Validation and Test Workshop : 8-10 November 2000, Berkeley, California : proceedings /
    Published 2000

    Conference Proceeding Book
  6. 6
    A guide to the destruction of small arms and light weapons : the approach of the South African National Defence Force /
    by Meek, Sarah
    Published 2004

    Government Document Book
  7. 7
    Accuracy verification methods : theory and algorithms /

    Book
  8. 8
    Designing and evaluating conventional arms control measures : the case of the Korean peninsula /
    by Han, Yong-sŏp, 1955-
    Published 1993

    Book
  9. 9
    Ist eine kernwaffenfreie Welt verifizierbar? /
    by Schaper, Annette
    Published 1998

    Book
  10. 10
    Writing testbenches : functional verification of HDL models /
    by Bergeron, Janick
    Published 2003

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  11. 11
    Validation and verification of knowledge based systems : theory, tools, and practice /
    Published 1999

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  12. 12
    Hardware and software, verification and testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27 - 30, 2008 : proceedings / Hana Chockler ; Alan J. Hu (ed.)
    Published 2009

    Conference Proceeding Book
  13. 13
    Model checking software : 12th International SPIN Workshop, San Franscisco, CA, USA, August 22-24, 2005 : proceedings /
    Published 2005

    Conference Proceeding Book
  14. 14
    Milton's prosody
    by Bridges, Robert, 1844-1930
    Published 1901

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  15. 15
    Model Checking and Artificial Intelligence : 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers /
    Published 2008

    Conference Proceeding Book
  16. 16
    Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008 : proceedings /
    Published 2008

    Conference Proceeding Book
  17. 17
    Verification revisited : the nuclear case /
    by Asculai, Ephraim
    Published 2002

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  18. 18
    U.S. perspectives on arms control verification /
    by Porteous, Holly
    Published 1988

    Book
  19. 19
    WMD in Iraq : evidence and implications /
    Published 2004

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  20. 20
    Atombombe des kleinen Mannes? : die Bekämpfung der Weiterverbreitung von biologischen Waffen nach der Vierten Überprüfungskonferenz des Biowaffen-Übereinkommens /
    by Kelle, Alexander
    Published 1997

    Book
Search Tools: Get RSS Feed — Email this Search