A mostrar 1 - 20 resultados de 2,337 para a pesquisa '', tempo de pesquisa: 0.12seg Refinar resultados
  1. 1
    ENGINEERING NUCLEAR DISARMAMENT
    Por Shea, Thomas, 1940-
    Publicado em 2018

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

    Livro
  3. 3
    A world effectively controlled by the United Nations; a preliminary survey of one form of a stable military environment
    Por Bloomfield, Lincoln P., 1920-2013
    Publicado em 1962

    Livro
  4. 4
    Cooperation verification /
    Por Pieragostini, Karl, 1947-
    Publicado em 1983

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

    Conference Proceeding Livro
  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 em 2004

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

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

    Livro
  9. 9
    Ist eine kernwaffenfreie Welt verifizierbar? /
    Por Schaper, Annette
    Publicado em 1998

    Livro
  10. 10
    Writing testbenches : functional verification of HDL models /
    Por Bergeron, Janick
    Publicado em 2003

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

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

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

    Conference Proceeding Livro
  14. 14
    Milton's prosody
    Por Bridges, Robert, 1844-1930
    Publicado em 1901

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

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

    Conference Proceeding Livro
  17. 17
    Verification revisited : the nuclear case /
    Por Asculai, Ephraim
    Publicado em 2002

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

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

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Livro
  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 em 1997

    Livro
Ferramentas de pesquisa: Obter Feed RSS — Enviar pesquisa por email