<--- Back to Details
First PageDocument Content
Instrument for Stability / European Union / United Nations Security Council Resolution / Nuclear proliferation / Proliferation Security Initiative / Weapon of mass destruction / Chemical /  biological /  radiological /  and nuclear / Organized crime / Framework Programmes for Research and Technological Development / Nuclear weapons / International relations / European Commission
Date: 2010-10-06 11:40:31
Instrument for Stability
European Union
United Nations Security Council Resolution
Nuclear proliferation
Proliferation Security Initiative
Weapon of mass destruction
Chemical
biological
radiological
and nuclear
Organized crime
Framework Programmes for Research and Technological Development
Nuclear weapons
International relations
European Commission

Add to Reading List

Source URL: eeas.europa.eu

Download Document from Source Website

File Size: 434,30 KB

Share Document on Facebook

Similar Documents

Virology / Microbiology / Computer viruses / Biology / Security / Virus / Influenza / HIV / Antivirus software / Viral marketing / Comparison of computer viruses / Viral neuronal tracing

A Plague of Viruses: Biological, Computer and Marketing12 Jeffrey Boase and Barry Wellman Abstract We analyze the transfer of biological, computer and marketing viruses. Despite differences between these three types of v

DocID: 1xW1S - View Document

Mathematics / Theoretical computer science / Mathematical logic / Formal languages / Order theory / Logic in computer science / Multiset / Path ordering / Term / Structure / Rewriting / Model theory

FBTCAn Intermediate Language for the Simulation of Biological Systems 1 Roberto Barbuti,2 Giulio Caravagna,3 Andrea Maggiolo–Schettini4 and Paolo Milazzo5

DocID: 1xVQS - View Document

Mathematics / Mathematical analysis / Theoretical computer science / Distribution / Functional analysis / Substitution / Denotational semantics / Markov chain

Experimental Biological Protocols with Formal Semantics Alessandro Abate2 , Luca Cardelli1,2 , Marta Kwiatkowska2 , Luca Laurenti2 , and Boyan Yordanov1 1

DocID: 1xVCq - View Document

Probabilistic CTL / Temporal logic / Markov chain

Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates Roberto Barbuti1 , Francesca Levi1 , Paolo Milazzo1 , and Guido Scatena2 1 2

DocID: 1xVCd - View Document

Environment of the United States / Natural environment / Biota / Conservation in the United States / Mammals of Asia / Endangered Species Act / Environment / United States Fish and Wildlife Service / Wildlife law / Endangered species / Beluga whale / Wolf

2011 ANNUAL REPORT CENTER FOR BIOLOGICAL DIVERSITY

DocID: 1xVBr - View Document