| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910968664703321 |
|
|
Autore |
Askari H |
|
|
Titolo |
Collaborative Colonialism : The Political Economy of Oil in the Persian Gulf / / by H. Askari |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York : , : Palgrave Macmillan US : , : Imprint : Palgrave Macmillan, , 2013 |
|
|
|
|
|
|
|
|
|
ISBN |
|
9781349469741 |
1349469742 |
9781137353771 |
1137353775 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2013.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (221 p.) |
|
|
|
|
|
|
Disciplina |
|
338.2/72809536 |
338.272809536 |
|
|
|
|
|
|
|
|
Soggetti |
|
International economic relations |
Ethnology - Middle East |
Culture |
Middle East - Politics and government |
International relations |
Economic policy |
Political science |
International Political Economy' |
Middle Eastern Culture |
Middle Eastern Politics |
International Relations |
Economic Policy |
Political Science |
|
|
|
|
|
|
|
|
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 |
|
Before oil-political and economic conditions in the Persian Gulf -- Oil-discovery and production in the Persian Gulf (1900-1945) -- Oil-the early years, OPEC, and its empowerment (1945-1979) -- Oil-the turbulent years (1979-2001) -- Oil-the most recent years (2001-2013) -- Oil-Islam, ownership, and institutions -- Oil-foreign interference -- |
|
|
|
|
|
|
|
|
|
|
|
|
|
Oil-the fallout in the Persian Gulf -- After oil-transition to oil-less economies -- Conclusion. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book is an analysis of how oil has affected governance and human, political, and economic development in the countries of the Persian Gulf and shaped these countries' relations with the rest of the world. |
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996691673003316 |
|
|
Autore |
D´Souza Meenakshi |
|
|
Titolo |
Automated Technology for Verification and Analysis : 23rd International Symposium, ATVA 2025, Bengaluru, India, October 27–31, 2025, Proceedings / / edited by Meenakshi D´Souza, Raghavan Komondoor, B. Srivathsan |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026 |
|
|
|
|
|
|
|
ISBN |
|
9783032087072 |
9783032087065 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2026.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (877 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 16145 |
|
|
|
|
|
|
Altri autori (Persone) |
|
KomondoorRaghavan |
SrivathsanB |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer engineering |
Computer networks |
Artificial intelligence |
Computers |
Computer science |
Software Engineering |
Computer Engineering and Networks |
Artificial Intelligence |
Computer Hardware |
Theory of Computation |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 23rd International Symposium on Automated Technology for Verification and Analysis, ATVA 2025, held in Bengaluru, India, from October 27–31, 2025. The 17 full papers and 4 short papers included in the proceedings were carefully reviewed and selected from 59 submissions. They were organized in topical sections as follows: Automata and temporal logic; games and controller synthesis; monitoring and runtime verification; probabilistic verification and quantum computing; learning; hybrid and dynamical systems; and verification. . |
|
|
|
|
|
|
|
| |