wyszukanych pozycji: 14
Safeguards Systems Analysis: With Applications to Nuclear Material Safeguards and Other Inspection Problems
ISBN: 9780306421693 / Angielski / Twarda / 1986 / 364 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Adequate verification is the key issue not only in today's arms control, arms limitation, and disarmament regimes, but also in less spectacular areas like auditing in economics or control of environmental pollution. Statistical methodologies and system analytical approaches are the tools developed over the past decades for quantifying those components of adequate verification which are quantifiable, i. e., numbers, inventories, mass transfers, etc., together with their uncertainties. In his book Safeguards Systems Analy sis, Professor Rudolf Avenhaus condenses the experience and expertise he...
Adequate verification is the key issue not only in today's arms control, arms limitation, and disarmament regimes, but also in less spectacular areas ...
|
|
cena:
583,65 zł |
Diplomacy Games: Formal Models and International Negotiations
ISBN: 9783642087929 / Angielski / Miękka / 2010 / 350 str. Termin realizacji zamówienia: ok. 20 dni roboczych. In this book, leading experts in international negotiations present formal models of conflict resolution and international negotiations. It examines how the abstract concept of formal models can be made more understandable to those not trained to work with them, what can be done to encourage the use of formal methods in the real world, and ways in which politicians and diplomats can apply formal methods to the problems they are currently facing. In this book, leading experts in international negotiations present formal models of conflict resolution and international negotiations. It examine... |
|
cena:
583,65 zł |
Compliance Quantified: An Introduction to Data Verification
ISBN: 9780521019194 / Angielski / Miękka / 2005 / 272 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) International agreements, such as those governing arms control and the environment, virtually always require some degree of verification so that compliance can be established. To ensure that the verification process is regarded as efficient, effective and impartial, it is important to model it mathematically. One such model can be derived by applying methods from statistics and the theory of noncooperative games, developed in part by John Nash, who received a Nobel Prize in 1994 for his work. The methods permit the development of rational verification strategies, as well as such fundamental...
International agreements, such as those governing arms control and the environment, virtually always require some degree of verification so that compl...
|
|
cena:
253,42 zł |
Safeguards Systems Analysis: With Applications to Nuclear Material Safeguards and Other Inspection Problems
ISBN: 9781489905796 / Angielski / Miękka / 2013 / 364 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Adequate verification is the key issue not only in today's arms control, arms limitation, and disarmament regimes, but also in less spectacular areas like auditing in economics or control of environmental pollution. Statistical methodologies and system analytical approaches are the tools developed over the past decades for quantifying those components of adequate verification which are quantifiable, i. e., numbers, inventories, mass transfers, etc., together with their uncertainties. In his book Safeguards Systems Analy- sis, Professor Rudolf Avenhaus condenses the experience and expertise he...
Adequate verification is the key issue not only in today's arms control, arms limitation, and disarmament regimes, but also in less spectacular areas ...
|
|
cena:
583,65 zł |
Verifying Treaty Compliance: Limiting Weapons of Mass Destruction and Monitoring Kyoto Protocol Provisions
ISBN: 9783642070389 / Angielski / Miękka / 2010 / 629 str. Termin realizacji zamówienia: ok. 20 dni roboczych. International treaties requiring binding commitments on the part of the member states and appropriate compliance verification by an international authority constitute a primary assurance against risks posed by the spread of sensitive technologies that can be used to produce weapons of mass destruction or risks posed by climate changes due to global human activities. This book presents in an interdisciplinary manner experts' analyses International treaties requiring binding commitments on the part of the member states and appropriate compliance verification by an international a... |
|
cena:
778,22 zł |
Diplomacy Games: Formal Models and International Negotiations
ISBN: 9783540683032 / Angielski / Twarda / 2007 / 350 str. Termin realizacji zamówienia: ok. 20 dni roboczych. In this book, leading experts in international negotiations present formal models of conflict resolution and international negotiations. It examines how the abstract concept of formal models can be made more understandable to those not trained to work with them, what can be done to encourage the use of formal methods in the real world, and ways in which politicians and diplomats can apply formal methods to the problems they are currently facing. In this book, leading experts in international negotiations present formal models of conflict resolution and international negotiations. It examine... |
|
cena:
583,65 zł |
Quantitative Assessment in Arms Control: Mathematical Modeling and Simulation in the Analysis of Arms Control Problems
ISBN: 9781461297277 / Angielski / Miękka / 2011 / 480 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book originates in a series of contributions to the 1983 Systems Science Seminar at the Computer Science Department of the German Armed Forces University Munich. Under the topic "Quantita tive Approaches to Arms Control" that seminar attempted to review the present state-of-the-art of systems analysis and numerate meth ods in arms control. To this end, the editors invited a number of experts from Europe, the United St tes and Canada to share and dis cuss their views and assessments with the faculty and upper class computer science students of the university as well as numerous guests...
This book originates in a series of contributions to the 1983 Systems Science Seminar at the Computer Science Department of the German Armed Forces Un...
|
|
cena:
194,52 zł |
Negotiated Risks: International Talks on Hazardous Issues
ISBN: 9783642100956 / Angielski / Miękka / 2010 / 369 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The International Institute for Applied Systems Analysis (IIASA) has had risk as a research topic on its agenda right from its inception in 1972. Risk has played a - jor role in the Energy Program, with research being carried out both in-house and in cooperationwith other internationalinstitutions like the InternationalAtomic - ergy Agency (IAEA) and national research centers. Research areas were primarily the evaluationof all possible risks within one categoryof energysupply like nuclear ?ssion or fusion or fossil fuels and, even more important, the comparisonof risks of different...
The International Institute for Applied Systems Analysis (IIASA) has had risk as a research topic on its agenda right from its inception in 1972. Risk...
|
|
cena:
389,09 zł |
Containing the Atom: International Negotiations on Nuclear Security and Safety
ISBN: 9780739103876 / Angielski / Twarda / 2002 / 464 str. Termin realizacji zamówienia: ok. 30 dni roboczych. Containing the Atom is a comprehensive study of the theory and practice of international nuclear negotiations.
Containing the Atom is a comprehensive study of the theory and practice of international nuclear negotiations.
|
|
cena:
731,77 zł |
Reduktionssysteme: Rechnen Und Schließen in Gleichungsdefinierten Strukturen
ISBN: 9783540585596 / Niemiecki / Miękka / 1995 / 261 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Reduktions- und Vervollstandigungstechniken dienen zum Rechnen und Schliessen in gleichungsdefinierten algebraischen Strukturen wie Abstrakten Datentypen. In dieser ersten systematischen Einfuhrung in das Gebiet der Reduktionssysteme werden die Grundlagen entwickelt und auf unterschiedliche Ersetzungssysteme angewandt. Themenschwerpunkte sind: 1. denotationale, operationale und rewrite-basierte Semantik, 2. effiziente und nachweisbar korrekte Vervollstandigungsalgorithmen, 3. Inferenzsysteme, die auf Beweistransformation und Beweisordnung basieren, und 4. prinzipielle Entscheidbarkeit...
Reduktions- und Vervollstandigungstechniken dienen zum Rechnen und Schliessen in gleichungsdefinierten algebraischen Strukturen wie Abstrakten Datenty...
|
|
cena:
199,97 zł |
Verifying Treaty Compliance: Limiting Weapons of Mass Destruction and Monitoring Kyoto Protocol Provisions
ISBN: 9783540338536 / Angielski / Twarda / 2006 / 629 str. Termin realizacji zamówienia: ok. 20 dni roboczych. International treaties requiring binding commitments on the part of the member states and appropriate compliance verification by an international authority constitute a primary assurance against risks posed by the spread of sensitive technologies that can be used to produce weapons of mass destruction or risks posed by climate changes due to global human activities. This book presents in an interdisciplinary manner experts' analyses International treaties requiring binding commitments on the part of the member states and appropriate compliance verification by an international a... |
|
cena:
778,22 zł |
Negotiated Risks: International Talks on Hazardous Issues
ISBN: 9783540929925 / Angielski / Twarda / 2009 / 392 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The International Institute for Applied Systems Analysis (IIASA) has had risk as a research topic on its agenda right from its inception in 1972. Risk has played a - jor role in the Energy Program, with research being carried out both in-house and in cooperationwith other internationalinstitutions like the InternationalAtomic - ergy Agency (IAEA) and national research centers. Research areas were primarily the evaluationof all possible risks within one categoryof energysupply like nuclear ?ssion or fusion or fossil fuels and, even more important, the comparisonof risks of different...
The International Institute for Applied Systems Analysis (IIASA) has had risk as a research topic on its agenda right from its inception in 1972. Risk...
|
|
cena:
389,09 zł |
Modelling and Analysis in Arms Control
ISBN: 9783642829451 / Angielski / Miękka / 2011 / 492 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book presents the results of an international workshop on Modelling and Analysis of Arms Control Problems held in Spitzingsee near Munich in October 1985 under the joint sponsorship of NATO's Scientific Affairs Division and the Volkswagen Foundation. The idea for this workshop evolved in 1983, as a consequence of discussions in the annual Systems Science Seminar at the Computer Science Department of the Federal Armed Forces University 1unich on the topic of Quantitative Assessment in Arms Control 1) There was wide agreement among the contribu tors to that seminar and its participants...
This book presents the results of an international workshop on Modelling and Analysis of Arms Control Problems held in Spitzingsee near Munich in Octo...
|
|
cena:
389,09 zł |
Compliance Quantified: An Introduction to Data Verification
ISBN: 9780521553667 / Angielski / Twarda / 1996 / 272 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. International agreements, such as those governing arms control and the environment, virtually always require some degree of verification so that compliance can be established. To ensure that the verification process is regarded as efficient, effective and impartial, it is important to model it mathematically. One such model can be derived by applying methods from statistics and the theory of noncooperative games, developed in part by John Nash, who received a Nobel Prize in 1994 for his work. The methods permit the development of rational verification strategies, as well as such fundamental...
International agreements, such as those governing arms control and the environment, virtually always require some degree of verification so that compl...
|
|
cena:
551,00 zł |