{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":3,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":66,"n_cols":5,"rows_kept":66,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[10,2,10,3],[11,2,11,3],[13,2,13,3],[14,2,14,3],[18,2,18,3],[21,2,21,3],[21,4,21,5],[22,2,22,3],[22,4,22,5],[23,2,23,3],[25,2,25,3],[26,2,26,3],[27,2,27,3],[28,2,28,3],[29,2,29,3],[30,2,30,3],[32,2,32,3],[33,2,33,3],[37,2,37,3],[40,2,40,3],[40,4,40,5],[41,2,41,3],[41,4,41,5],[42,2,42,3],[42,4,42,5],[43,2,43,3],[45,2,45,3],[46,2,46,3],[47,2,47,3],[48,2,48,3],[49,2,49,3],[58,2,58,3],[59,2,59,3],[63,2,63,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910453302603321"]
[null,null,"Autore",null,"Laurence Jonathan"]
[null,null,"Titolo",null,"The emancipation of Europe's muslims [[electronic resource] ] : the state's role in minority integration / / Jonathan Laurence"]
[null,null,"Pubbl/distr/stampa",null,"Princeton, N.J., : Princeton University Press, 2012"]
[null,null,"ISBN",null,"1-283-38006-4"]
[{"$nulls":4},"1-4008-4037-6"]
[{"$nulls":4},"9786613380067"]
[null,null,"Edizione",null,"[Course Book]"]
[null,null,"Descrizione fisica",null,"1 online resource (393 p.)"]
[null,null,"Collana",null,"Princeton studies in Muslim politics"]
[null,null,"Disciplina",null,"305.697094"]
[null,null,"Soggetti",null,"Social integration - Religious aspects - Islam"]
[{"$nulls":4},"Electronic books."]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Front matter -- Contents -- Illustrations -- Tables -- Abbreviations -- Preface -- Chapter One. A Leap in the Dark: Muslims and the State in Twenty-first-Century Europe -- Chapter Two. European Outsourcing and Embassy Islam: L'islam, c'est moi -- Chapter Three. A Politicized Minority: The Qur'ân is our Constitution -- Chapter Four. Citizens, Groups, and the State -- Chapter Five. The Domestication of State-Mosque Relations -- Chapter Six. Imperfect Institutionalization: Islam Councils in Europe -- Chapter Seven. The Partial Emancipation: Muslim Responses to the State-Islam Consultations -- Chapter Eight. Muslim Integration and European Islam in the Next Generation -- Notes -- Interviews -- Bibliography -- Index"]
[null,null,null,"Sommario/riassunto","The Emancipation of Europe's Muslims traces how governments across Western Europe have responded to the growing presence of Muslim immigrants in their countries over the past fifty years. Drawing on hundreds of in-depth interviews with government officials and religious leaders in France, Germany, Italy, the Netherlands, the United Kingdom, Morocco, and Turkey, Jonathan Laurence challenges the widespread notion that Europe's Muslim minorities represent a threat to liberal democracy. He documents how European governments in the 1970's and 1980's excluded Islam from domestic institutions, instead inviting foreign powers like Saudi Arabia, Algeria, and Turkey to oversee the practice of Islam among immigrants in European host societies. But since the 1990's, amid rising integration problems and fears about "]
[{"$nulls":4},"terrorism, governments have aggressively stepped up efforts to reach out to their Muslim communities and incorporate them into the institutional, political, and cultural fabrics of European democracy. The Emancipation of Europe's Muslims places these efforts--particularly the government-led creation of Islamic councils--within a broader theoretical context and gleans insights from government interactions with groups such as trade unions and Jewish communities at previous critical junctures in European state-building. By examining how state-mosque relations in Europe are linked to the ongoing struggle for religious and political authority in the Muslim-majority world, Laurence sheds light on the geopolitical implications of a religious minority's transition from outsiders to citizens. This book offers a much-needed reassessment that foresees the continuing integration of Muslims into European civil society and politics in the coming decades."]
[null,"2.","Record Nr.",null,"UNINA9910768476303321"]
[null,null,"Titolo",null,"Computer safety, reliability and security : 18th international conference, safecomp'99, toulouse, france, september 27-29, 1999, proceedings / / edited by Massimo Felici, Karama Kanoun, Alberto Pasquini"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Germany ; ; New York, New York : , : Springer, , [1999]"]
[{"$nulls":4},"Â©1999"]
[null,null,"ISBN",null,"3-540-48249-0"]
[null,null,"Edizione",null,"[1st ed. 1999.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XVIII, 490 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 1698"]
[null,null,"Disciplina",null,"005.1"]
[null,null,"Soggetti",null,"Computer systems - Reliability"]
[{"$nulls":4},"Computer security"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Invited Talk -- Software Reliability Engineering in Industry -- Assessment and Certification -- A Systematic Approach to Safety Case Maintenance -- SQUALE Dependability Assessment Criteria -- Assessment and Certification of Safety-Critical Digital Architectures — the ACRuDA Project -- Safety Assessment and Human Factors (Poster Session) -- Safety Evaluation of a Train Leader Telephone System -- Safety Analysis Techniques for Validating Formal Models during Verification -- Evaluating the Contribution of DesktopVR for Safety—Critical Applications -- Human Performance Reliability in the Design-for-Usability Life Cycle for Safety Human-Computer Interfaces -- The Impact of Different Media on Safety and Usability of Interactive ATC Applications -- Human Factors -- Patterns for Safer Human-Computer Interfaces -- Impact of Communication on Systems Dependability: Human Factors Perspectives -- A Method for Operator Error Detection Based on Plan Recognition -- Safety Assessment -- Hierarchically Performed Hazard Origin and Propagation Studies -- Hardware Redundant Vital Computers — Demonstration of Safety on the Basis of Current Standards -- Design for Safety (Poster Session) -- System and Software Safety Analysis for the ERA Control Computer -- Safety Markup Language: Concept and Application -- Extendable Ground-to-Air Communication Architecture for CoDySa -- Hierarchical Reliability and Safety Models of Fault Tolerant Distributed Industrial Control Systems -- The Development of a Commercial “Shrink-Wrapped "]
[{"$nulls":4},"Application” to Safety Integrity Level 2: the DUST-EXPERT™ Story -- Verification and Testing -- Safety Verification of ADA95 Programs Using Software Fault Trees -- Programming Rule Static Verification for Reliable Software -- Automated Black-Box Testing with Abstract VDM Oracle -- Towards Statistical Control of an Industrial Test Process -- Design for Safety -- Choosing Effective Methods for Diversity — How to Progress from Intuition to Science -- A First Step Towards the Integration of Accident Reports and Constructive Design Documents -- A Holistic Design Concept to Improve Safety Related Control Systems -- Dependability Analysis and Evaluation -- Comparing Fault Trees and Bayesian Networks for Dependability Analysis -- FlexFi: A Flexible Fault Injection Environment for Microprocessor-Based Systems -- Structural Software Reliability Estimation -- Formal Methods and Security (Poster Session) -- Hazard Analysis in Formal Specification -- Modeling Safety-Critical Systems with Z and Petri Nets -- On Formal Languages for Sequences of Authorization Transformations -- Scheduling Fault-Tolerant Programs on Multiple Processors to Maximize Schedule Reliability -- Formal Methods -- Forma Design of Distributed Control Systems with Lustre -- Formal Specification and Development of a Safety-Critical Train Management System -- Formal Validation of the GUARDS Inter-consistency Mechanism -- A Graphical Environment for the Specification and Verification of Reactive Systems -- Security -- Dependability Requirements and Security Architectures for the Healthcare/Medical Sector -- Three-Pass Hybrid Key Establishment Protocol Based on ESIGN Signature -- The Integration of Safety and Security Requirements."]
[null,null,null,"Sommario/riassunto","The European Commission emphasizes, in its Fifth Research Framework, the “. . . emerging generic dependability requirements in the information society, stemming both from the ubiquity and volume of embedded and networked systems and services as well as from the global and complex nature of large scale information and communication infrastructures, from citizens, administrations and business in terms of technologies, tools, systems, applications and services\". The series of Conference on Computer Safety, Reliability, and Security (Safecomp) contributes to satisfy these requirements by reviewing the state of the art, experiences, and new trends in the relevant scientific and industrial areas. Safecomp is intended to be a platform for technology transfer among academia, industry, and research institutions, providing the opportunity for exchange of ideas, opinions, and visions among experts. This year Safecomp celebrates the 20th anniversary, its first Conference having been organized in Stuttgart by EWICS (European Workshop on Industrial Computer Systems) in 1979, and we hope these Proceedings will contribute to the celebration by supporting Safecomp aims. The Proceedings include the 25 papers that have been presented orally at the Conference and the full version of the 14 papers that have been presented as posters, all of which were selected from 76 submissions. Papers almost uniformly take up Safecomp topics, dealing with the issues of Safety Assessment and Human Factors, Verification and Validation, Design for Safety, Formal Methods, and Security."]
[null,"3.","Record Nr.",null,"UNINA9910787055203321"]
[null,null,"Autore",null,"Beckman Gary M"]
[null,null,"Titolo",null,"The babilili-Ritual from Hattusa (CTH 718) / Gary M. Beckman"]
[null,null,"Pubbl/distr/stampa",null,"Winona Lake, Indiana : , : Eisenbrauns, , 2014, cop 2014"]
[{"$nulls":4},"©2014, cop 2014"]
[null,null,"ISBN",null,"1-57506-893-1"]
[null,null,"Descrizione fisica",null,"1 online resource (114 p.)"]
[null,null,"Collana",null,"Mesopotamian civilizations ; ; 19"]
[null,null,"Disciplina",null,"299/.199"]
[null,null,"Soggetti",null,"Religion"]
[{"$nulls":4},"Hittites - Religion"]
[{"$nulls":4},"Akkadian language"]
[{"$nulls":4},"Akkadien (langue) - Textes"]
[{"$nulls":4},"Religion hittite"]
[{"$nulls":4},"Akkadian language - Texts"]
[{"$nulls":4},"Texts."]
[{"$nulls":4},"Kizzuwatna (royaume) Histoire Sources"]
[{"$nulls":4},"Kizzuwatna (Cilicia) Religion"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Transcription et traduction en anglais de textes en akkadien et en hittite."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"\"\"Contents\"\"; \"\"Acknowledgments\"\"; \"\"Register of Texts CTH 718\"\"; \"\"Introduction\"\"; \"\"The Main Texts: Transliterations\"\"; \"\"The Main Texts: Translations\"\"; \"\"The Fragments\"\"; \"\"The Commentary\"\"; \"\"The Incantations\"\"; \"\"Bibliography\"\"; \"\"Indexes\"\""]
[null,null,null,"Sommario/riassunto","Hittite culture of the second millennium B.C.E. was strongly influenced by Mesopotamian culture, in part through the mediation of the peripheral cuneiform civilizations of northern Syria, in part through direct contact with Babylonia and Assyria. The text edited here (CTH 718) presents an extreme example of this cultural impact, featuring incantations in the Akkadian language (Hittite babilili) embedded within a ceremony set forth in the Hittite tongue. This ritual program has therefore become known to scholars as the \"babilili-ritual.\" With almost 400 preserved lines, this ceremony is one of the longest religious compositions recovered from the Hittite capital, and there are indications that a significant additional portion has been lost. The divine figure to whom the rite is addressed is Pirinkir, a variety of the "]
[{"$nulls":4},"well-known Ishtar of Mesopotamia. Its purpose seems to be the elimination of the sins of a member of the royal family. Many of the ritual activities and offering materials employed here are characteristic of the cult practice of the Classical Cilician region known as Kizzuwatna, which was introduced into the central Hittite realm during the final two centuries of the state's existence. Nonetheless, the Akkadian of the incantations is neither the Akkadian employed in the Hurrian-influenced area of Syria and eastern Anatolia nor that otherwise known from the Hittite royal archives; rather, it is closer to the language of the later Old Babylonian period, even if no precise Mesopotamian forerunners can yet be identified."]