-
1
Iraq confidential : the untold story of the intelligence conspiracy to undermine the UN and overthrow Saddam Hussein
[New York, N.Y.] : Nation Books, 2005Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
2
DHS coordination of nuclear detection efforts. part I & II : hearing before the Subcommittee on Prevention of Nuclear and Biological Attack of the Committee on Homeland Security, H...
Washington :; Washington : U.S. G.P.O. : For sale by the Supt. of Docs., U.S. G.P.O., 2005Format: Government Document eBook -
3
Compliance and the future of arms control : report of a project sponsored by the Center for International Security and Arms Control, Stanford University, and Global Outlook
Cambridge, Mass. : Ballinger, 1988Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
4
Comprehensive Nuclear Test-Ban Treaty.
Washington, DC : U.S. Arms Control and Disarmament Agency : For sale by the U.S. G.P.O., Supt. of Docs., 1998Format: Government Document Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
5
International Plutonium Control Act--H.R. 2403 : hearing before the Committee on Foreign Affairs and its Subcommittee on Arms Control, International Security, and Science, House of...
Washington : U.S. G.P.O. : For sale by the Supt. of Docs., Congressional Sales Office, U.S. G.P.O., 1990Format: Government Document Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
6
Environmental monitoring for nuclear safeguards.
Washington, DC :; Washington, DC : Office of Technology Assessment, Congress of the U.S. : For sale by the U.S. G.P.O., Supt. of Docs., 1995Format: Government Document Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
7
Metamodeling-driven IP reuse for SoC integration and microprocessor design
Boston : Artech House, 2009Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
8
Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings
Berlin ; New York : Springer, 2004Format: Electronic Conference Proceeding eBook -
9
Coming to terms with security : a handbook on verification and compliance.
Geneva, Switzerland : London : UNIDIR ; VERTIC, 2003Format: Government Document Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
10
The Six-party process progress and perils in North Korea's denuclearization : joint hearing before the Subcommittee on Asia, the Pacific, and the Global Environment and the Subcomm...
Washington : U.S. G.P.O. : For sale by the Supt. of Docs., U.S. G.P.O., 2008Format: Government Document Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
11
A research review of quality assessment for software
[Clear Lake City, Tex.] : [Houston, Tex.] : Research Institute for Computing and Information Systems, University of Houston-Clear Lake ; NASA Johnson Space Center, Information Systems Directorate, Information Technology Division, 1991Format: Government Document Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
12
A practical introduction to PSL
New York : Springer, 2006Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
13
Verification technologies : cooperative aerial surveillance in international agreements.
Washington, DC :; Washington, DC : Congress of the U.S., Office of Technology Assessment : For sale by the Supt. of Docs., U.S. G.P.O.,; Congress of the United States, Office of Technology Assessment : For sale by the Supt. of Docs., U.S. G.P.O., 1991Format: Government Document Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
14
Verification and response in disarmament agreements, Woods Hole Summer Study, summary report
Washington : Institute for Defense Analyses, 1962Format: Conference Proceeding Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
15
Runtime verification : 8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers
Berlin : Springer, 2008Format: Conference Proceeding Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
16
U.S. cooperative threat reduction and nonproliferation programs joint hearings before the Subcommittee on Europe and the Subcommittee on International Terrorism, Nonproliferation a...
Washington : U.S. G.P.O. : For sale by the Supt. of Docs., U.S. G.P.O., 2003Format: Government Document Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
17
Engineering dependable software systems
Amsterdam : IOS Press, 2013Format: Conference Proceeding Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
18
Deadly arsenals : tracking weapons of mass destruction
Washington, D.C. : Carnegie Endowment for International Peace, 2002Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
19
Iran's political/ nuclear ambitions and U.S. policy options : a compilation of statements by witnesses before the Committee on Foreign Relations, United States Senate, One Hundred...
Washington :; Washington : U.S. G.P.O. : For sale by the Supt. of Docs., U.S. G.P.O., 2006Format: Government Document eBook -
20
The greatest threat : Iraq, weapons of mass destruction, and the crisis of global security
New York : PublicAffairs, 2001Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?>