| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910792156803321 |
|
|
Autore |
Brummer Klaus |
|
|
Titolo |
Aussenpolitikanalyse / / von Dr. Klaus Brummer und Dr. habil. Kai Oppermann |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Munich, Germany : , : Oldenbourg Verlag, , 2014 |
|
©2014 |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (238 p.) |
|
|
|
|
|
|
Collana |
|
Lehr- und Handbücher der Politikwissenschaft |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
International relations - Methodology |
International relations - Philosophy |
Decision making - Psychological aspects |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Frontmatter -- Vorwort -- Inhaltsverzeichnis -- Verzeichnis der Tabellen und Abbildungen -- 1. Einleitung -- Teil I. Großtheorien der Internationalen Beziehungen -- 2. Realismus -- 3. Liberalismus -- 4. Konstruktivismus -- Teil II. Innenpolitische Erklärungsansätze -- 5. Der Zwei-Ebenen-Ansatz -- 6. Der organisationstheoretische Ansatz -- 7. Der bürokratietheoretische Ansatz -- Teil III. Psychologische und kognitive Erklärungsansätze -- 8. Prospect Theory -- 9. Der Operational Code-Ansatz -- 10. Poliheuristic Theory -- 11. Das Groupthink-Modell -- 12. Ausblick -- Index |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Der Band bietet die erste systematische und umfassende Darstellung der zentralen theoretischen Erklärungsansätze außenpolitischer Entscheidungen in deutscher Sprache. Er diskutiert insgesamt elf Theorien der Außenpolitikforschung, die in drei Abschnitte untergliedert sind. Der erste Teil widmet sich den Großtheorien der Internationalen Beziehungen und arbeitet heraus, in welcher Art und Weise diese für die Analyse von Außenpolitik fruchtbar gemacht werden können. Der zweite Block diskutiert Erklärungsansätze, die außenpolitische Entscheidungen auf innenpolitische Einflüsse und Zwänge zurückführen. Die im dritten Abschnitt des Bandes behandelten Theorien richten ihren Fokus schließlich auf kognitive und |
|
|
|
|
|
|
|
|
|
|
|
|
|
psychologische Erklärungsfaktoren auf der Ebene individueller außenpolitischer Entscheidungsträger. Damit gibt der Band einen einführenden Überblick über den aktuellen Stand der Theorieentwicklung in der Disziplin der Außenpolitikforschung. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9911016073503321 |
|
|
Titolo |
Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV / / edited by Ruzica Piskac, Zvonimir Rakamarić |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2025.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XXVI, 422 p. 122 illus., 100 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 15934 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Algorithms |
Software engineering |
Artificial Intelligence |
Design and Analysis of Algorithms |
Software Engineering |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025. The 51 regular papers presented together 24 tool papers, 4 casestudy papers in these proceedings were carefully reviewed and selected from 305 submissions. The accepted papers cover a wide spectrum of topics, from theoretical results to applications of formal methods. These papers apply or extend formal methods to a wide range of domains such as concurrency, machine learning and neural networks, quantum systems, as well as hybrid and stochastic systems. . |
|
|
|
|
|
|
|
| |