Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Les principes des politiques de lutte contre la prolifération américains et soviétiques/russes sont demeurés constants et en symbiose. Cette thématique a été le terreau d’une forme d’entente américano-soviétique surplombant leur réalité bipolaire au vu des enjeux vitaux qu’elle mettait intrinsèquement en péril. Malgré leur convergence de vue quant à la prolifération, la question nucléaire iranienne a été une pierre d’achoppement dans les relations russo-américaines. C’est finalement plusieurs superpositions de convergences qui ont permis une dynamique d’avancée significative entre 2013 et 2015. D’une part, il existe un point de rencontre d’intérêts irano-américains. D’autre part, un second jeu de convergences s’établit en parallèle, celui entre les États-Unis et la Russie. Cette dernière a oscillé au fil des débats, cherchant à sauvegarder les intérêts qu’elle avait en Iran tout en ne rompant jamais totalement avec les partenaires occidentaux. La Russie s’est positionnée en détractrice de l’attitude américaine et de son régime de sanctions qu’elle cherchait à étendre au niveau multilatéral. Moscou utilise le levier iranien pour réaffirmer sa puissance « réémergente » dans un monde en passe d’être multipolaire.
Côté américain, nous estimons que le pragmatisme renouvelé, suite à l’arrivée d’Obama à la Maison Blanche, est imputable à la politique plus globale de retrait des États-Unis de la région moyen-orientale en vue de disposer de plus grandes marges de manœuvre sur des terrains devenus davantage pressants, tels que le pivot asiatique.
Les deux puissances et parties aux négociations internationales au sein du P5+1 ont donc largement laissé primer leurs intérêts nationaux respectifs pour résoudre le casse-tête iranien qui perdurait depuis douze années.

Iran --- nucléaire --- rapport de force --- intérêts --- réalisme --- Etats-Unis --- Russie --- Accords de Vienne 2015 --- JCPOA --- P5+1 --- Droit, criminologie & sciences politiques > Sciences politiques, administration publique & relations internationales

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

#TCPW P3.0 --- #TCPW P5.1 --- 681.3*A0 --- 681.3*F3 --- 681.3*F4 --- General --- Logics and meanings of programs (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*A0 General

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

History of Programming Languages

Programming --- History --- Programming languages (Electronic computers) --- Congresses --- -#TCPW P5.1 --- #TCPW P1.1 --- 681.3*D32 --- 681.3*K2 --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- History of computing: hardware; people; software; systems; theory --- Congresses. --- 681.3*K2 History of computing: hardware; people; software; systems; theory --- 681.3*D32 language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- #TCPW P5.1 --- History&delete& --- Programming languages (Electronic computers) - History - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Machine theory --- Formal languages --- Computer programming --- Automates mathématiques, Théorie des --- Langages formels --- Programmation (Informatique) --- Congresses --- Congrès --- Automates mathématiques, Théorie des --- Congrès --- #TCPW P3.0 --- #TCPW P4.1 --- 681.3*A0 --- 681.3*F1 --- Computation by abstract devices --- 681.3*F1 Computation by abstract devices --- 681.3*A0 General --- Computer science --- #TCPW P5.1 --- 681.3*D3 --- 681.3*F0 --- 681.3*D3 Programming languages --- Programming languages --- General --- Computerwetenschap--?*F0 --- Information theory. --- Computer science. --- Theory of Computation. --- Computer Science, general. --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Langages de programmation --- Programmation système (informatique)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer architecture. Operating systems --- Programmierung [EDV] --- Software. --- Computer programming. --- Computer programming --- #TCPW P6.3 --- #TCPW P5.1 --- #TCPW:boek --- 519.6 --- 681.3.06 --- programmeren --- Computational mathematics. Numerical analysis. Computer programming --- Computerwetenschap--?.06 --- Programmierung [EDV]. --- 519.6 Computational mathematics. Numerical analysis. Computer programming --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Programming --- Programmation des ordinateurs --- -681.3*D1 --- Automatic digital computers --- Computers, Electronic digital --- Digital computers, Electronic --- Hybrid computers --- Sequential machine theory --- Programming techniques--See also {681.3*E} --- Software engineering: protection mechanisms standards--See also {681.3*K63} {681.3*K51} --- 681.3*D2 Software engineering: protection mechanisms standards--See also {681.3*K63} {681.3*K51} --- 681.3*D1 Programming techniques--See also {681.3*E} --- 681.3*D1 --- 681.3*D2 --- 681.3*I2 --- 681.3*I2 Artificial intelligence. AI --- Artificial intelligence. AI --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Electronic digital computers programming --- Electronic digital computers - Programming --- Electronic digital computers. Programming --- proof --- Correctness --- Methodology --- Program Theory --- Program Design