Torthaí cuardaigh

  1. 1

    Technical issues related to the Comprehensive Nuclear Test Ban Treaty

    Foilsithe / Cruthaithe 2002
    An electronic book accessible through the World Wide Web; click to view
    Leictreonach Ríomhleabhar
  2. 2

    Seismological research requirements for a comprehensive test-ban monitoring system

    Foilsithe / Cruthaithe 1995
    An electronic book accessible through the World Wide Web; click to view
    Leictreonach Ríomhleabhar
  3. 3
  4. 4
  5. 5

    Comprehensive functional verification the complete industry cycle de réir Wile, Bruce

    Foilsithe / Cruthaithe 2005
    An electronic book accessible through the World Wide Web; click to view
    Leictreonach Ríomhleabhar
  6. 6

    Verification of infinite-state systems with applications to security

    Foilsithe / Cruthaithe 2006
    An electronic book accessible through the World Wide Web; click to view
    Leictreonach Imeacht comhdhála Ríomhleabhar
  7. 7

    The Chemical Weapons Convention implementation, challenges and opportunities /

    Foilsithe / Cruthaithe 2006
    An electronic book accessible through the World Wide Web; click to view
    Leictreonach Ríomhleabhar
  8. 8

    Verification techniques for system-level design de réir Fujita, Masahiro, 1956-

    Foilsithe / Cruthaithe 2008
    An electronic book accessible through the World Wide Web; click to view
    Leictreonach Ríomhleabhar
  9. 9

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS de réir Yoeli, Michael, 1917-

    Foilsithe / Cruthaithe 2008
    An electronic book accessible through the World Wide Web; click to view
    Leictreonach Ríomhleabhar
  10. 10

    Metamodeling-driven IP reuse for SoC integration and microprocessor design de réir Mathaikutty, Deepak A.

    Foilsithe / Cruthaithe 2009
    An electronic book accessible through the World Wide Web; click to view
    Leictreonach Ríomhleabhar
  11. 11

    Verification and validation of 3D free-surface flow models

    Foilsithe / Cruthaithe 2009
    An electronic book accessible through the World Wide Web; click to view
    Leictreonach Ríomhleabhar
  12. 12

    Germ gambits the bioweapons dilemma, Iraq and beyond / de réir Smithson, Amy E.

    Foilsithe / Cruthaithe 2011
    An electronic book accessible through the World Wide Web; click to view
    Leictreonach Ríomhleabhar
  13. 13

    Comprehensive nuclear test ban treaty technical issues for the United States /

    Foilsithe / Cruthaithe 2012
    An electronic book accessible through the World Wide Web; click to view
    Leictreonach Ríomhleabhar
  14. 14

    Software safety and security tools for analysis and verification /

    Foilsithe / Cruthaithe 2012
    An electronic book accessible through the World Wide Web; click to view
    Leictreonach Imeacht comhdhála Ríomhleabhar
  15. 15
  16. 16

    Deadly arsenals nuclear, biological, and chemical threats / de réir Cirincione, Joseph

    Foilsithe / Cruthaithe 2005
    An electronic book accessible through the World Wide Web; click to view
    Leictreonach Ríomhleabhar
  17. 17

    Detection of nuclear weapons and materials

    Foilsithe / Cruthaithe 2010
    An electronic book accessible through the World Wide Web; click to view
    Leictreonach Ríomhleabhar
  18. 18

    Engineering dependable software systems /

    Foilsithe / Cruthaithe 2013
    An electronic book accessible through the World Wide Web; click to view
    Leictreonach Imeacht comhdhála Ríomhleabhar
  19. 19

    Robot framework test automation / de réir Bisht, Sumit

    Foilsithe / Cruthaithe 2013
    An electronic book accessible through the World Wide Web; click to view
    Leictreonach Ríomhleabhar
  20. 20

    The software audit guide / de réir Helgeson, John W., 1945-

    Foilsithe / Cruthaithe 2009
    An electronic book accessible through the World Wide Web; click to view
    Leictreonach Ríomhleabhar