{"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":77,"n_cols":5,"rows_kept":77,"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],[13,2,13,3],[14,2,14,3],[15,2,15,3],[18,2,18,3],[19,2,19,3],[23,2,23,3],[26,2,26,3],[26,4,26,5],[27,2,27,3],[27,4,27,5],[28,2,28,3],[28,4,28,5],[29,2,29,3],[30,2,30,3],[33,2,33,3],[34,2,34,3],[35,2,35,3],[39,2,39,3],[40,2,40,3],[43,2,43,3],[46,2,46,3],[46,4,46,5],[47,2,47,3],[47,4,47,5],[48,2,48,3],[49,2,49,3],[50,2,50,3],[51,2,51,3],[52,2,52,3],[53,2,53,3],[56,2,56,3],[57,2,57,3],[70,2,70,3],[71,2,71,3],[74,2,74,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910457441303321"]
[null,null,"Autore",null,"Woods Kevin M."]
[null,null,"Titolo",null,"The Saddam tapes : the inner workings of a tyrant's regime, 1978-2001 / / Kevin M. Woods, David D. Palkki, Mark E. Stout [[electronic resource]]"]
[null,null,"Pubbl/distr/stampa",null,"Cambridge : , : Cambridge University Press, , 2011"]
[null,null,"ISBN",null,"1-107-23055-1"]
[{"$nulls":4},"1-280-56889-5"]
[{"$nulls":4},"1-139-22312-7"]
[{"$nulls":4},"9786613598493"]
[{"$nulls":4},"1-139-06150-X"]
[{"$nulls":4},"1-139-22484-0"]
[{"$nulls":4},"1-139-21832-8"]
[{"$nulls":4},"1-139-21523-X"]
[{"$nulls":4},"1-139-22141-8"]
[null,null,"Descrizione fisica",null,"1 online resource (xx, 372 pages) : digital, PDF file(s)"]
[null,null,"Disciplina",null,"956.7044092"]
[null,null,"Soggetti",null,"Authoritarianism - Iraq - History - 20th century"]
[{"$nulls":4},"Iraq Politics and government 1979-1991 Sources"]
[{"$nulls":4},"Iraq Politics and government 1991-2003 Sources"]
[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","Title from publisher's bibliographic system (viewed on 05 Oct 2015)."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"1. The United States -- 2. The 'Zionist entity' -- 3. The Arab world -- 4. Qadisiyyah Saddam (the Iran-Iraq War) -- 5. The mother of all battles -- 6. Special munitions -- 7. The embargo and the special commission -- 8. Hussein Kamil."]
[null,null,null,"Sommario/riassunto","During the 2003 war that ended Saddam Hussein's regime, coalition forces captured thousands of hours of secret recordings of meetings, phone calls and conferences. Originally prepared by the Institute for Defense Analyses for the Office of the Undersecretary of Defense for Policy, this study presents annotated transcripts of Iraqi audio recordings of meetings between Saddam Hussein and his inner circle. The Saddam Tapes, along with the much larger digital collection of captured records at the National Defense University's Conflict Records Research Center, will provide researchers with important insights into the inner workings of the regime and, it is hoped, the nature of "]
[{"$nulls":4},"authoritarian regimes more generally. The collection has implications for a range of historical questions. How did Saddam react to the pressures of his wars? How did he manage the Machiavellian world he created? How did he react to the signals and actions of the international community on matters of war and peace? Was there a difference between the public and the private Saddam on critical matters of state? A close examination of this material in the context of events and other available evidence will address these and other questions."]
[null,"2.","Record Nr.",null,"UNINA9910816101003321"]
[null,null,"Autore",null,"McGrath John (Guitarist)"]
[null,null,"Titolo",null,"Samuel Beckett, repetition and modern music / / John McGrath"]
[null,null,"Pubbl/distr/stampa",null,"Abingdon, Oxon ; ; New York, NY : , : Routledge, , 2018"]
[null,null,"ISBN",null,"1-317-05965-4"]
[{"$nulls":4},"1-315-60756-5"]
[{"$nulls":4},"1-317-05964-6"]
[null,null,"Descrizione fisica",null,"1 online resource (191 pages) : illustrations"]
[null,null,"Disciplina",null,"780/.082"]
[null,null,"Soggetti",null,"Music and literature"]
[{"$nulls":4},"Music - 20th century - History and criticism"]
[{"$nulls":4},"Repetition in literature"]
[{"$nulls":4},"Repetition in music"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"chapter 1 Music and literature / John McGrath -- chapter 2 Repetition in music and literature / John McGrath -- chapter 3 Musico-literary interaction in modern Ireland and the musical aesthetic of Samuel Beckett / John McGrath -- chapter 4 Beckett’s semantic fluidity -- Repetition in the later work / John McGrath -- chapter 5 Beckett and Feldman -- Time, repetition and the liminal space / John McGrath -- chapter 6 Improvising Beckett -- Chance, silence and repetition / John McGrath."]
[null,null,null,"Sommario/riassunto","\"Music abounds in twentieth- century Irish literature. Whether it be the \"thought-tormented\" music of Joyce's \"The Dead\", the folk tunes and opera that resound throughout Ulysses, or the four- part threnody in Beckett's Watt, it is clear that the influence of music on the written word in Ireland is deeply significant. Samuel Beckett arguably went further than any other writer in the incorporation of musical ideas into his work. Musical quotations inhabit his texts, and structural devices such as the da capo are metaphorically employed. Perhaps most striking is the erosion of explicit meaning in Beckett's later prose brought about through an extensive use of repetition, influenced by his reading of Schopenhauer's philosophy of music. Exploring this notion of \"semantic fluidity\", John McGrath discusses the ways in which Beckett utilised extreme repetition to create texts that operate and are received more like music. Beckett's writing has attracted the attention of numerous "]
[{"$nulls":4},"contemporary composers and an investigation into how this Beckettian \"musicalised fiction\" has been retranslated into contemporary music forms the second half of the book. Close analyses of the Beckett- inspired music of experimental composer Morton Feldman and the structured improvisations of avantjazz guitarist Scott Fields illustrate the cross- genre appeal of Beckett to musicians, but also demonstrate how repetition operates in diverse ways. Through the examination of the pivotal role of repetition in both modernist music and literature of the twentieth century, John McGrath's book is a significant contribution to the field of Word and Music Studies.\"--Provided by publisher"]
[null,"3.","Record Nr.",null,"UNINA9910484799703321"]
[null,null,"Titolo",null,"Computer Science Logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings / / edited by Erich Grädel, Reinhard Kahle"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009"]
[null,null,"ISBN",null,"3-642-04027-6"]
[null,null,"Edizione",null,"[1st ed. 2009.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XI, 567 p.)"]
[null,null,"Collana",null,"Theoretical Computer Science and General Issues, , 2512-2029 ; ; 5771"]
[null,null,"Classificazione",null,"DAT 540f"]
[{"$nulls":4},"DAT 706f"]
[{"$nulls":4},"SS 4800"]
[null,null,"Disciplina",null,"004.015113"]
[null,null,"Soggetti",null,"Artificial intelligence"]
[{"$nulls":4},"Mathematical logic"]
[{"$nulls":4},"Machine theory"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Computer science - Mathematics"]
[{"$nulls":4},"Coding theory"]
[{"$nulls":4},"Information theory"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Mathematical Logic and Foundations"]
[{"$nulls":4},"Formal Languages and Automata Theory"]
[{"$nulls":4},"Computer Science Logic and Foundations of Programming"]
[{"$nulls":4},"Symbolic and Algebraic Manipulation"]
[{"$nulls":4},"Coding and Information Theory"]
[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","Includes index."]
[null,null,"Nota di contenuto",null,"Invited Talks -- Algebra for Tree Languages -- Forcing and Type Theory -- Functional Interpretations of Intuitionistic Linear Logic -- Fixed-Point Definability and Polynomial Time -- Special Invited Talk to Commemorate the Centenary of Stephen Cole Kleene -- Kleene’s Amazing Second Recursion Theorem -- Contributed Papers -- Typed Applicative Structures and Normalization by Evaluation for System F ?  -- Jumping Boxes -- Tree-Width for First Order Formulae -- Algorithmic Analysis of Array-Accessing Programs -- Decidable Relationships between Consistency Notions for Constraint Satisfaction "]
[{"$nulls":4},"Problems -- Cardinality Quantifiers in MLO over Trees -- From Coinductive Proofs to Exact Real Arithmetic -- On the Relation between Sized-Types Based Termination and Semantic Labelling -- Expanding the Realm of Systematic Proof Theory -- EXPTIME Tableaux for the Coalgebraic ?-Calculus -- On the Word Problem for -Categories, and the Properties of Two-Way Communication -- Intersection, Universally Quantified, and Reference Types -- Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata -- Enriching an Effect Calculus with Linear Types -- Degrees of Undecidability in Term Rewriting -- Upper Bounds on Stream I/O Using Semantic Interpretations -- Craig Interpolation for Linear Temporal Languages -- On Model Checking Boolean BI -- Efficient Type-Checking for Amortised Heap-Space Analysis -- Deciding the Inductive Validity of ????* Queries -- On the Parameterised Intractability of Monadic Second-Order Logic -- Automatic Structures of Bounded Degree Revisited -- Nondeterminism and Observable Sequentiality -- A Decidable Spatial Logic with Cone-Shaped Cardinal Directions -- Focalisation and Classical Realisability -- Decidable Extensions of Church’s Problem -- NestedHoare Triples and Frame Rules for Higher-Order Store -- A Complete Characterization of Observational Equivalence in Polymorphic ?-Calculus with General References -- Non-Commutative First-Order Sequent Calculus -- Model Checking FO(R) over One-Counter Processes and beyond -- Confluence of Pure Differential Nets with Promotion -- Decision Problems for Nash Equilibria in Stochastic Games -- On the Complexity of Branching-Time Logics -- Nominal Domain Theory for Concurrency -- The Ackermann Award 2009."]
[null,null,null,"Sommario/riassunto","The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, was held in Coimbra (Portugal), September 7–11, 2009. The conference series started as a programme of International Workshops on Computer Science Logic, and then at its sixth meeting became the Annual C- ference of the EACSL. This conference was the 23rd meeting and 18th EACSL conference; it was organized at the Department of Mathematics, Faculty of S- ence and Technology, University of Coimbra. In response to the call for papers, a total of 122 abstracts were submitted to CSL 2009of which 89 werefollowedby a full paper. The ProgrammeCommittee selected 34 papers for presentation at the conference and publication in these proceedings. The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. The awardrecipient for 2009 was Jakob Nordstr¨ om. Citation of the award, abstract of the thesis, and a biographical sketch of the recipient may be found at the end of the proceedings. The award was sponsored for the years 2007–2009 by Logitech S.A."]