Showing 1 - 20 results of 2,337 for search '', tempo de consulta: 0.09s Limitar resultados
  1. 1
    ENGINEERING NUCLEAR DISARMAMENT
    por Shea, Thomas, 1940-
    Publicado 2018

    Libro
  2. 2
    Confidence-building, peace-making and aerial inspections in the Middle East /
    por Krepon, Michael, 1946-
    Publicado 1992

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

    Libro
  4. 4
    Cooperation verification /
    por Pieragostini, Karl, 1947-
    Publicado 1983

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

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

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

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

    Libro
  9. 9
    Ist eine kernwaffenfreie Welt verifizierbar? /
    por Schaper, Annette
    Publicado 1998

    Libro
  10. 10
    Writing testbenches : functional verification of HDL models /
    por Bergeron, Janick
    Publicado 2003

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

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

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

    Conference Proceeding Libro
  14. 14
    Milton's prosody
    por Bridges, Robert, 1844-1930
    Publicado 1901

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

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

    Conference Proceeding Libro
  17. 17
    Verification revisited : the nuclear case /
    por Asculai, Ephraim
    Publicado 2002

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

    Libro
  19. 19
    WMD in Iraq : evidence and implications /
    Publicado 2004

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

    Libro
Ferramentas de procura: RSS — Enviar por correo electrónico esta procura