Gerard C. Smith - PDFSEARCH.IO - Document Search Engine

Gerard C. Smith
Results: 12

#	Item
1	Automated Testing of Planning Models Klaus Havelund, Alex Groce, Gerard Holzmann, Rajeev Joshi, Margaret Smith Jet Propulsion Laboratory? , California Institute of Technology 4800 Oak Grove Drive, Pasadena/Los Angeles, C Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:31:15 Model checkers Promela Computing Model checking SPIN model checker Gerard J. Holzmann Modeling language Mars Exploration Rover Economic model Theoretical computer science Notation
2	Microsoft Word - SMITH, GERARD C. Papers, [removed]doc Add to Reading List Source URL: eisenhower.archives.gov Language: English - Date: 2013-07-25 12:33:32 Soviet Union–United States relations Gerard C. Smith Nuclear proliferation Nuclear weapons Nuclear Non-Proliferation Treaty Strategic Defense Initiative Arms Control and Disarmament Agency Anti-ballistic missile Strategic Arms Limitation Talks International relations Arms control Missile defense
3	Microsoft Word - SMITH, GERARD C. Papers, [removed]doc Add to Reading List Source URL: www.eisenhower.archives.gov Language: English - Date: 2013-07-25 12:33:32 Soviet Union–United States relations Gerard C. Smith Nuclear proliferation Nuclear weapons Nuclear Non-Proliferation Treaty Strategic Defense Initiative Arms Control and Disarmament Agency Anti-ballistic missile Strategic Arms Limitation Talks International relations Arms control Missile defense
4	Statement of Harold Hongju Koh Dean and Gerard C. and Bernice Latrobe Smith Professor of International Law Yale Law School before the Senate Judiciary Committee regarding Add to Reading List Source URL: www.law.yale.edu Language: English - Date: 2006-05-04 10:20:59 Human rights abuses Torture Violence War on Terror Laws of war John Yoo Jay Bybee Torture Memos Abu Ghraib torture and prisoner abuse Ethics Presidency of George W. Bush Law
5	Microsoft Word - Scope_and_Content_Note.doc Add to Reading List Source URL: www.eisenhower.utexas.edu Language: English - Date: 2011-08-25 02:21:04 Rockefeller Foundation Allen Welsh Dulles Soviet Union–United States relations New Look Avery Dulles John W. Foster Robert Lansing Massive retaliation Gerard C. Smith United States Cold War John Foster Dulles
6	Microsoft Word - GERARD SMITH.doc Add to Reading List Source URL: www.eisenhower.utexas.edu Language: English - Date: 2011-08-25 02:20:58 Foreign relations of the Soviet Union Anti-communism NATO Gerard C. Smith Nikita Khrushchev Hans M. Kristensen Brinkmanship Military International relations Soviet people
7	Microsoft Word - GERARD SMITH.doc Add to Reading List Source URL: www.eisenhower.archives.gov Language: English - Date: 2011-08-25 02:20:58 Foreign relations of the Soviet Union Anti-communism NATO Gerard C. Smith Nikita Khrushchev Hans M. Kristensen Brinkmanship Military International relations Soviet people
8	Microsoft Word - GERARD SMITH.doc Add to Reading List Source URL: eisenhower.archives.gov Language: English - Date: 2011-08-25 02:20:58 Foreign relations of the Soviet Union Anti-communism NATO Gerard C. Smith Nikita Khrushchev Hans M. Kristensen Brinkmanship Military International relations Soviet people
9	Microsoft Word - Scope_and_Content_Note.doc Add to Reading List Source URL: eisenhower.archives.gov Language: English - Date: 2011-08-25 02:21:04 Rockefeller Foundation Allen Welsh Dulles Soviet Union–United States relations New Look Avery Dulles John W. Foster Robert Lansing Massive retaliation Gerard C. Smith United States Cold War John Foster Dulles
10	National Security Study Memoranda 28 Add to Reading List Source URL: www.nixonlibrary.gov Language: English - Date: 2007-07-05 14:13:02 International law Peace Strategic Arms Limitation Talks Arms Control and Disarmament Agency Gerard C. Smith International relations Nuclear weapons of the United States Arms control