01397nam2-2200409li-450 99000020578020331620180312154650.03-540-63406-10020578USA010020578(ALEPH)000020578USA01002057820001109d1997----km-y0itay0103----baengGWModular compiler verificationa refinement-algebraic approach advocating stepwise abstractionMarkus Muller-OlmBerlinoSpringer-Verlagcopyr. 1997XII, 250 p.ill.23 cmLecture notes in computer science128300100202642001Lecture notes in computer sciencelinguaggi di programmazionesoftwareprogettazionesoftwareverifica0051Programmazione. Tecnica di sviluppo dei programmiMuller-Olm,Markus508822Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000205780203316001 LNCS (1283)002083400100104039BKSCI1997112220001110USA011714ALANDI9020010202USA01150320020403USA011628PATRY9020040406USA011615Modular compiler verification1489174UNISA01185nam a2200301 i 450099100255233970753620020508202219.0010215s|||| us ||| | eng 0198152477b11027009-39ule_instPARLA164952ExLDip.to Scienze dell'Antichitàita937R-XV/A 130Liebeschuetz, John Hugo Wolfgang Gideon207832The decline and fall of the Roman city /J.H.W.G. LiebeschuetzOxford ; New York :Oxford university press,2001xvii, 479 p. ;24 cmBibliografia: p. [417]-462. IndiciImpero bizantinoStoriaRoma anticaStoriaImpero.b1102700902-04-1428-06-02991002552339707536LE015 937 - 37912015000056078le007-E0.00-l- 01010.i1114728328-06-02LE027 R-XV/A 1301LE027-12410le027-E112.50-l- 00000.i1303618x02-12-03Decline and fall of the roman city86978UNISALENTOle007le02701-01-01ma -engus 4104490nam 22006135 450 991030343530332120240709132150.09783030011086303001108910.1007/978-3-030-01108-6(CKB)4100000007334929(MiAaPQ)EBC5626868(DE-He213)978-3-030-01108-6(PPN)24151830X(Perlego)3494862(EXLCZ)99410000000733492920181228d2018 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierDemocratic Representation in Plurinational States The Kurds in Turkey /edited by Ephraim Nimni, Elçin Aktoprak1st ed. 2018.Cham :Springer International Publishing :Imprint: Palgrave Macmillan,2018.1 online resource (260 pages)Comparative Territorial Politics,2947-81709783030011079 3030011070 1. Democratic Nation States and the Antinomies of Minority Representation: The Impact on the Turkish Republic -- 2. Re-Politicizing Non-Territorial Autonomy -- 3. Democratic Autonomy as a Means of Conflict Resolution and Self-Government? -- 4. National Cultural Autonomy in Central and Eastern Europe -- 5. Non-Territorial Autonomy and Western European Diversity Management Regimes: Lessons and Examples for the Turkish Republic -- 6. A Nation-State or a Multinational State? National Conceptions, Minorities and Self-Determination in Spain -- 7. The Kurdish Opening in Turkey: Between Authoritarianism and Peace -- 8. Are Non-Turkish Languages Banned in Turkey? -- 9. Kurdish Movement's Democratic Autonomy Proposal in Turkey -- 10. Territorial Autonomy and Democratization in Turkey: Prospects and Predicaments.-11. Mapping Rojava: Ideas of Democratic Confederalism and Non-Territorial Autonomy.This book examines modalities for the recognition and political participation of minorities in plurinational states in theory and in practice, with a specific reference to the Republic of Turkey and the resolution of the Kurdish question. Drawing on the experience of Spain and Eastern Europe and other recent novel models for minority accommodation, including the Ottoman experience of minority autonomy (the Millet System), the volume brings together researchers from Turkey and Europe more broadly to develop an ongoing dialogue that analytically examines various models for national minority accommodation. These models promise to protect the state's integrity and provide governmental mechanisms that satisfy demands for collective representation of national communities in the framework of a plurinational state. Ephraim Nimni is Visiting Fellow in the Centre for the Study of Ethnic Conflict at Queen's University Belfast, UK. He has published widely on minority rights,models of national self-determination that do not require separate nation states, multiculturalism and the applicability of the national cultural autonomy model to contemporary multination states, and on the Israeli Palestinian conflict. Elçin Aktoprak was Assistant Professor at the Faculty of Political Sciences, Ankara University, Turkey, until she was dismissed as per the emergency decree in February 2017. Her research interests are theories of nationalism, minority issues in Europe, the Kurdish question, conflict resolution and peace studies. .Comparative Territorial Politics,2947-8170Middle EastPolitics and governmentEuropePolitics and governmentPolitical scienceMiddle Eastern PoliticsEuropean PoliticsPolitical ScienceGovernance and GovernmentMiddle EastPolitics and government.EuropePolitics and government.Political science.Middle Eastern Politics.European Politics.Political Science.Governance and Government.323.1191/5970561320.089Nimni Ephraimedthttp://id.loc.gov/vocabulary/relators/edtAktoprak Elçinedthttp://id.loc.gov/vocabulary/relators/edtBOOK9910303435303321Democratic Representation in Plurinational States2004305UNINA