Abschnitt | book
Verifying Iran's nuclear program: is the International community up to the task?
- Sprache
-
Englisch
- Anmerkungen
-
Pierre Goldschmidt
- Urheber
-
Goldschmidt, Pierre
- Beteiligte Personen und Organisationen
- Erschienen
-
Washington DC : Carnegie Endowment for International Peace , 2007
Halle (Saale) : Universitäts- und Landesbibliothek Sachsen-Anhalt , 2007
- Förderung
-
Deutsche Forschungsgemeinschaft
- DOI
-
doi:10.25673/106660
- URN
-
urn:nbn:de:gbv:3:5-61307
- Letzte Aktualisierung
-
17.03.2025, 08:39 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Martin-Luther-Universität Halle-Wittenberg, Universitäts- und Landesbibliothek Sachsen-Anhalt. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Martin-Luther-Universität Halle-Wittenberg, Universitäts- und Landesbibliothek Sachsen-Anhalt. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- book ; book ; Abschnitt
Beteiligte
- Goldschmidt, Pierre
- Carnegie Endowment for International Peace
Entstanden
- Washington DC : Carnegie Endowment for International Peace , 2007
- Halle (Saale) : Universitäts- und Landesbibliothek Sachsen-Anhalt , 2007
Ähnliche Objekte (12)
Verifying OPAL, Pt. 1.. Verifying in the small
Verifying Array Manipulating Programs with Full-Program Induction
Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions
Verifying and allocating real-time tasks on distributed processing units
Verifying and allocating real-time tasks on distributed processing units
Verifying the robustness of opinion inference
Verifying the robustness of opinion inference
The Nuclear Astrophysics program at n_TOF (CERN)
The Implications of Developing a Philippine Nuclear Energy Program
Finding and verifying the nucleolus of cooperative games
The program system UFOMOD for assessing the consequences of nuclear accidents
Dealing with Iran's nuclear program
Verifying OPAL, Pt. 1.. Verifying in the small
Verifying Array Manipulating Programs with Full-Program Induction
Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions
Verifying and allocating real-time tasks on distributed processing units
Verifying and allocating real-time tasks on distributed processing units
Verifying the robustness of opinion inference
Verifying the robustness of opinion inference
The Nuclear Astrophysics program at n_TOF (CERN)
The Implications of Developing a Philippine Nuclear Energy Program
Finding and verifying the nucleolus of cooperative games
The program system UFOMOD for assessing the consequences of nuclear accidents
Dealing with Iran's nuclear program
Verifying OPAL, Pt. 1.. Verifying in the small
Verifying Array Manipulating Programs with Full-Program Induction
Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions
Verifying and allocating real-time tasks on distributed processing units
Verifying and allocating real-time tasks on distributed processing units
Verifying the robustness of opinion inference
Verifying the robustness of opinion inference
The Nuclear Astrophysics program at n_TOF (CERN)
The Implications of Developing a Philippine Nuclear Energy Program
Finding and verifying the nucleolus of cooperative games
The program system UFOMOD for assessing the consequences of nuclear accidents