Zobrazuji výsledky 1 - 20 z 2 337 pro vyhledávání '', doba hledání: 0,11 s. Upřesnit hledání
  1. 1
    ENGINEERING NUCLEAR DISARMAMENT
    Autor Shea, Thomas, 1940-
    Vydáno 2018

    Kniha
  2. 2
    Confidence-building, peace-making and aerial inspections in the Middle East /
    Autor Krepon, Michael, 1946-
    Vydáno 1992

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

    Kniha
  4. 4
    Cooperation verification /
    Autor Pieragostini, Karl, 1947-
    Vydáno 1983

    Kniha
  5. 5
    IEEE International High-Level Design Validation and Test Workshop : 8-10 November 2000, Berkeley, California : proceedings /
    Vydáno 2000

    Konferenční příspěvek Kniha
  6. 6
    A guide to the destruction of small arms and light weapons : the approach of the South African National Defence Force /
    Autor Meek, Sarah
    Vydáno 2004

    Vládní dokument Kniha
  7. 7
    Accuracy verification methods : theory and algorithms /

    Kniha
  8. 8
    Designing and evaluating conventional arms control measures : the case of the Korean peninsula /
    Autor Han, Yong-sŏp, 1955-
    Vydáno 1993

    Kniha
  9. 9
    Ist eine kernwaffenfreie Welt verifizierbar? /
    Autor Schaper, Annette
    Vydáno 1998

    Kniha
  10. 10
    Writing testbenches : functional verification of HDL models /
    Autor Bergeron, Janick
    Vydáno 2003

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

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Konferenční příspěvek Kniha
  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.)
    Vydáno 2009

    Konferenční příspěvek Kniha
  13. 13
    Model checking software : 12th International SPIN Workshop, San Franscisco, CA, USA, August 22-24, 2005 : proceedings /
    Vydáno 2005

    Konferenční příspěvek Kniha
  14. 14
    Milton's prosody
    Autor Bridges, Robert, 1844-1930
    Vydáno 1901

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

    Konferenční příspěvek Kniha
  16. 16
    Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008 : proceedings /
    Vydáno 2008

    Konferenční příspěvek Kniha
  17. 17
    Verification revisited : the nuclear case /
    Autor Asculai, Ephraim
    Vydáno 2002

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

    Kniha
  19. 19
    WMD in Iraq : evidence and implications /
    Vydáno 2004

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

    Kniha
Vyhledávací nástroje: RSS — Poslat e-mailem