{"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":56,"n_cols":5,"rows_kept":56,"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],[5,2,5,3],[6,2,6,3],[7,2,7,3],[14,2,14,3],[14,4,14,5],[15,2,15,3],[15,4,15,5],[16,2,16,3],[17,2,17,3],[18,2,18,3],[19,2,19,3],[20,2,20,3],[21,2,21,3],[22,2,22,3],[31,2,31,3],[32,2,32,3],[36,2,36,3],[39,2,39,3],[39,4,39,5],[40,2,40,3],[40,4,40,5],[41,2,41,3],[41,4,41,5],[42,2,42,3],[43,2,43,3],[44,2,44,3],[45,2,45,3],[51,2,51,3],[52,2,52,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996395292003316"]
[null,null,"Autore",null,"Dimsdale William"]
[null,null,"Titolo",null,"The Quake[r conv]erted: or The experimental knowledge [of Jes]us Christ crucified, in opposition to the principles of the Quakers, declared; [[electronic resource] ] : in a narrative of the conversion of one in Hartfordshire, who was for some years of their faith and principle, and inclined unto them. The manner how he was wrought off from them by the Lord. And several dealings of Christ with his spirit afterwards. With some things annexed for detection of their errors and delusions, and prevention of the growth thereof. / / Written by himself in his own words and phrases. Likewise an epistle dedicatory by W. Haworth, minister of the gospel at Hartford"]
[null,null,"Pubbl/distr/stampa",null,"London, : Printed for J. Robinson, at the Golden-Lion in Paul's Church-Yard, 1690"]
[null,null,"Descrizione fisica",null,"xiii, [1], 22 p"]
[null,null,"Soggetti",null,"Quakers"]
[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","Signed at end: W.D. [i.e. William Dimsdale]."]
[{"$nulls":4},"Wing attributes text to William Haworth, though he wrote the 'Epistle dedicatory' only."]
[{"$nulls":4},"Reproduction of original in the British Library."]
[{"$nulls":4},"Imperfect: t.p. torn with some loss of print."]
[null,null,null,"Sommario/riassunto","eebo-0018"]
[null,"2.","Record Nr.",null,"UNISA996466034303316"]
[null,null,"Titolo",null,"Foundations of Software Science and Computational Structures [[electronic resource] ] : 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings / / edited by Luca de Alfaro"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009"]
[null,null,"ISBN",null,"3-642-00596-9"]
[null,null,"Edizione",null,"[1st ed. 2009.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XV, 471 p.)"]
[null,null,"Collana",null,"Theoretical Computer Science and General Issues, , 2512-2029 ; ; 5504"]
[null,null,"Disciplina",null,"005.13"]
[null,null,"Soggetti",null,"Compilers (Computer programs)"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Machine theory"]
[{"$nulls":4},"Compilers and Interpreters"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Formal Languages and Automata Theory"]
[{"$nulls":4},"Computer Science Logic and Foundations of Programming"]
[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 Talks -- Facets of Synthesis: Revisiting Church’s Problem -- Temporal Reasoning about Program Executions -- Semantics -- Least and Greatest Fixpoints in Game Semantics -- Full Abstraction for Reduced ML -- Logics and Bisimulation Games for Concurrency, Causality and Conflict -- Logics and Automata -- Separating Graph Logic from MSO -- On the Completeness of Dynamic Logic -- Dependency Tree Automata -- On Global Model Checking Trees Generated by Higher-Order Recursion Schemes -- Algebras -- A Kleene Theorem for Polynomial Coalgebras -- Coalgebraic Hybrid Logic -- A Description of Iterative Reflections of Monads (Extended Abstract) -- Automata Theory -- Tighter Bounds for the Determinisation of Büchi Automata -- Lower Bounds on Witnesses for Nonemptiness of Universal Co-Büchi Automata -- Interrupt Timed Automata -- Parameter Reduction in Grammar-Compressed Trees -- Processes and Models -- "]
[{"$nulls":4},"The Calculus of Handshake Configurations -- On the Expressive Power of Restriction and Priorities in CCS with Replication -- Normal Bisimulations in Calculi with Passivation -- Reactive Systems, Barbed Semantics, and the Mobile Ambients -- Security -- On the Foundations of Quantitative Information Flow -- Cryptographic Protocol Composition via the Authentication Tests -- Bisimulation for Demonic Schedulers -- Probabilistic and Quantitative Models -- On Omega-Languages Defined by Mean-Payoff Conditions -- Minimal Cost Reachability/Coverability in Priced Timed Petri Nets -- Delayed Nondeterminism in Continuous-Time Markov Decision Processes -- Concurrency, ?-Algebras, and Probabilistic Fairness -- Synthesis -- Synthesis from Component Libraries -- Realizability of Concurrent Recursive Programs -- Program Analysis and Semantics -- Beyond Shapes: Lists with Ordered Data -- Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains -- Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types."]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers presented together with two invited talks were carefully reviewed and selected from 102 full paper submissions. The topics addressed are semantics, logics and automata, algebras, automata theory, processes and models, security, probabilistic and quantitative models, synthesis, and program analysis and semantics."]
[null,"3.","Record Nr.",null,"UNINA9910330456103321"]
[null,null,"Autore",null,"Amalvi Christian"]
[null,null,"Titolo",null,"La caricature au risque des autorités politiques et religieuses / / Dominique Avon"]
[null,null,"Pubbl/distr/stampa",null,"Rennes, : Presses universitaires de Rennes, 2019"]
[null,null,"ISBN",null,"2-7535-6751-4"]
[null,null,"Descrizione fisica",null,"1 online resource (204 p.)"]
[null,null,"Soggetti",null,"History"]
[{"$nulls":4},"caricature"]
[{"$nulls":4},"liberté d'expression"]
[{"$nulls":4},"image"]
[{"$nulls":4},"presse"]
[{"$nulls":4},"presse et politique"]
[null,null,"Lingua di pubblicazione",null,"Francese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Sommario/riassunto","Outil public placé sous le signe du « droit à la liberté d'expression », la caricature appliquée au domaine politico-religieux a été, en 2005-2006, à l'origine d'une crise internationale à laquelle ont pris part des représentants de l'islam, du christianisme et du judaïsme, des chefs d'État, des intellectuels de tous bords… jusqu'aux industriels. La même année, un trio d'historiens, Michel Dixmier, Jacqueline Lalouette et Didier Pasamonik, revenaient par ce biais à l'affrontement du camp « laïque » et du camp « catholique » dans la France des XIXe-XXe siècles : La République et l'Église. Images d'une querelle.  Le médium, étroitement lié à son contenu, flirte avec la limite de l'interdit qui participe de la structuration de sociétés plus ou moins marquées par l'empreinte religieuse. Il semble d'usage universel ce qui, en soi, est déjà un signe remarquable. C'est à l'exploration des différentes modalités de son usage que voudrait s'attacher l'ouvrage collectif ayant pour thème : La caricature au risque des autorités politiques et religieuses. L'intérêt majeur du projet réside dans la confrontation des approches et des possibilités offertes par des milieux tendus entre l'appel « moderne » de la critique possible de l'autorité (d'un homme, d'une parole, d'une expression de foi…) et la réplique « traditionnelle » du respect de celle-ci. L'affrontement premier est celui d'élites qui "]
[{"$nulls":4},"maîtrisent le verbe, mais il connaît de vastes prolongements populaires tant semble forte la puissance de l'image."]