Suggested Topics within your search.
Showing 1 - 30 results of 30 for search '', query time: 0.07s Refine Results
  1. 1
    Detection of nuclear weapons and materials

    Detection of nuclear weapons and materials

    Published 2010
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  2. 2
    Technical issues related to the Comprehensive Nuclear Test Ban Treaty / Comprehensive nuclear test ban treaty

    Technical issues related to the Comprehensive Nuclear Test Ban Treaty / Comprehensive nuclear test ban treaty

    Published 2002
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  3. 3
    Principles of model checking

    Principles of model checking by Baier, Christel

    Published 2008
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  4. 4
    Practical design verification

    Practical design verification

    Published 2009
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  5. 5
    ASIC/SoC functional design verification : a comprehensive guide to technologies and methodologies

    ASIC/SoC functional design verification : a comprehensive guide to technologies and methodologies by Mehta, Ashok B.

    Published 2018
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  6. 6
    Comprehensive Functional Verification : the Complete Industry Cycle.

    Comprehensive Functional Verification : the Complete Industry Cycle. by Wile, Bruce

    Published 2005
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  7. 7
    Verification of infinite-state systems with applications to security

    Verification of infinite-state systems with applications to security

    Published 2006
    Full text (Emmanuel users only)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  8. 8
    Verification of systems and circuits using LOTOS, Petri Nets, and CCS

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS by Yoeli, Michael, 1917-

    Published 2008
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  9. 9
    The Iran nuclear issue

    The Iran nuclear issue

    Published 2010
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  10. 10
    Forensic seismology and nuclear test bans

    Forensic seismology and nuclear test bans by Douglas, Alan, 1936-2015

    Published 2013
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  11. 11
    Dependable software systems engineering

    Dependable software systems engineering

    Published 2015
    Full text (Emmanuel users only)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  12. 12
    Metamodeling-Driven IP Reuse for SoC Integration and Microprocessor Design.

    Metamodeling-Driven IP Reuse for SoC Integration and Microprocessor Design. by Mathaikutty, Deepak A.

    Published 2009
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  13. 13
    The software audit guide

    The software audit guide by Helgeson, John W., 1945-

    Published 2009
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  14. 14
    Engineering Dependable Software Systems.

    Engineering Dependable Software Systems. by Broy, M.

    Published 2013
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  15. 15
    The UN Inspections in Iraq : Lessons For On-site Verification

    The UN Inspections in Iraq : Lessons For On-site Verification by Bailey, Kathleen C.

    Published 2019
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  16. 16
    Education and ethics in the life sciences : strengthening the prohibition of biological weapons

    Education and ethics in the life sciences : strengthening the prohibition of biological weapons

    Published 2010
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  17. 17
    Germ Gambits : the Bioweapons Dilemma, Iraq and Beyond.

    Germ Gambits : the Bioweapons Dilemma, Iraq and Beyond. by Smithson, Amy

    Published 2011
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  18. 18
    Open skies : transparency, confidence-building, and the end of the Cold War

    Open skies : transparency, confidence-building, and the end of the Cold War by Jones, Peter L. (Peter Leslie), 1961-

    Published 2014
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  19. 19
    Software and systems safety : specification and verification

    Software and systems safety : specification and verification

    Published 2011
    Full text (Emmanuel users only)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  20. 20
    Computer-aided verification of coordinating processes : the automata-theoretic approach

    Computer-aided verification of coordinating processes : the automata-theoretic approach by Kurshan, R. P., 1943-

    Published 1994
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  21. 21
    The implementation of legally binding measures to strengthen the biological and toxin weapons convention

    The implementation of legally binding measures to strengthen the biological and toxin weapons convention

    Published 2004
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  22. 22
    The politics of weapons inspections : assessing WMD monitoring and verification regimes

    The politics of weapons inspections : assessing WMD monitoring and verification regimes by Busch, Nathan E., 1971-, Pilat, Joseph F.

    Published 2017
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  23. 23
    Software Safety and Security.

    Software Safety and Security. by Nipkow, T.

    Published 2012
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  24. 24
    SystemVerilog assertions and functional coverage : guide to language, methodology and applications

    SystemVerilog assertions and functional coverage : guide to language, methodology and applications by Mehta, Ashok B.

    Published 2016
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  25. 25
    Seismological Research Requirements for a Comprehensive Test-Ban Monitoring System.

    Seismological Research Requirements for a Comprehensive Test-Ban Monitoring System. by Staff, National Research Council

    Published 1900
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  26. 26
    Verification Techniques for System-Level Design.

    Verification Techniques for System-Level Design. by Fujita, Masahiro

    Published 2007
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  27. 27
    New Trends in Software Methodologies, Tools and Techniques : Proceedings of the Tenth SoMeT_11 / SoMeT_11

    New Trends in Software Methodologies, Tools and Techniques : Proceedings of the Tenth SoMeT_11 / SoMeT_11

    Published 2011
    Full text (Emmanuel users only)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  28. 28
    Deadly Arsenals : Nuclear, Biological, and Chemical Threats.

    Deadly Arsenals : Nuclear, Biological, and Chemical Threats. by Cirincione, Joseph

    Published 2011
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  29. 29
    Disarming Iraq

    Disarming Iraq by Blix, Hans

    Published 2004
    Publisher description
    Book
    Save to List
    Saved in:
  30. 30
    The United Nations and Iraq : defanging the viper

    The United Nations and Iraq : defanging the viper by Krasno, Jean E., 1943-

    Published 2003
    Book
    Save to List
    Saved in:

Search Tools: