Showing 1 - 20 results of 2,337 for search '', 查詢時間: 0.10s Refine Results
  1. 1
    ENGINEERING NUCLEAR DISARMAMENT
    由 Shea, Thomas, 1940-
    出版 2018

    圖書
  2. 2
    Confidence-building, peace-making and aerial inspections in the Middle East /
    由 Krepon, Michael, 1946-
    出版 1992

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

    圖書
  4. 4
    Cooperation verification /
    由 Pieragostini, Karl, 1947-
    出版 1983

    圖書
  5. 5
    IEEE International High-Level Design Validation and Test Workshop : 8-10 November 2000, Berkeley, California : proceedings /
    出版 2000

    Conference Proceeding 圖書
  6. 6
    A guide to the destruction of small arms and light weapons : the approach of the South African National Defence Force /
    由 Meek, Sarah
    出版 2004

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

    圖書
  8. 8
    Designing and evaluating conventional arms control measures : the case of the Korean peninsula /
    由 Han, Yong-sŏp, 1955-
    出版 1993

    圖書
  9. 9
    Ist eine kernwaffenfreie Welt verifizierbar? /
    由 Schaper, Annette
    出版 1998

    圖書
  10. 10
    Writing testbenches : functional verification of HDL models /
    由 Bergeron, Janick
    出版 2003

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

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding 圖書
  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.)
    出版 2009

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

    Conference Proceeding 圖書
  14. 14
    Milton's prosody
    由 Bridges, Robert, 1844-1930
    出版 1901

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

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

    Conference Proceeding 圖書
  17. 17
    Verification revisited : the nuclear case /
    由 Asculai, Ephraim
    出版 2002

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

    圖書
  19. 19
    WMD in Iraq : evidence and implications /
    出版 2004

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

    圖書
檢索工具: 得到RSS訂閱 — 推薦此搜索