{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":7,"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":110,"n_cols":5,"rows_kept":110,"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],[7,2,7,3],[8,2,8,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],[20,2,20,3],[21,2,21,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],[31,2,31,3],[32,2,32,3],[33,2,33,3],[34,2,34,3],[38,2,38,3],[39,2,39,3],[42,2,42,3],[42,4,42,5],[43,2,43,3],[43,4,43,5],[44,2,44,3],[45,2,45,3],[46,2,46,3],[47,2,47,3],[48,2,48,3],[53,2,53,3],[53,4,53,5],[54,2,54,3],[54,4,54,5],[55,2,55,3],[55,4,55,5],[56,2,56,3],[57,2,57,3],[60,2,60,3],[61,2,61,3],[62,2,62,3],[69,2,69,3],[70,2,70,3],[73,2,73,3],[75,2,75,3],[75,4,75,5],[76,2,76,3],[76,4,76,5],[77,2,77,3],[77,4,77,5],[78,2,78,3],[79,2,79,3],[80,2,80,3],[81,2,81,3],[82,2,82,3],[83,2,83,3],[84,2,84,3],[86,2,86,3],[86,4,86,5],[87,2,87,3],[87,4,87,5],[88,2,88,3],[89,2,89,3],[90,2,90,3],[91,2,91,3],[92,2,92,3],[93,2,93,3],[94,2,94,3],[105,2,105,3],[106,2,106,3],[108,2,108,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996386311603316"]
[null,null,"Autore",null,"Winstanley William <1628?-1698.>"]
[null,null,"Titolo",null,"The Protestant almanack for the year 1692 [[electronic resource] ] : since [brace] the creation of the world 5698, the incarnation of Jesus Christ 1692, England received the Christian faith 1502, Martin Luther wrote against the pope 176, our deliverance from popery by Queen Elizabeth 133, the horrid design of the gun-powder plot 87, the burning of the city of London 26, our second deliverance from popery by K. Will. & Q. Mary 4 : being the bissextile or leap-year ... calculated according to art, for the meridian of Babylon ...and may without sensible errour, indifferently serve the whole papacy / / by Philoprotest ."]
[null,null,"Pubbl/distr/stampa",null,"London, : Printed by John Richardson for the Company of Stationers, 1692"]
[null,null,"Descrizione fisica",null,"[48] p. : ill"]
[null,null,"Soggetti",null,"Almanacs, English"]
[{"$nulls":4},"Astrology"]
[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","Philoprotest is a pseudonym for William Winstanley. cf. LCNA."]
[{"$nulls":4},"\"Licensed, August 14, 1691, Rob. Midgley.\""]
[{"$nulls":4},"Reproduction of original in the Huntington Library."]
[null,null,null,"Sommario/riassunto","eebo-0113"]
[null,"2.","Record Nr.",null,"UNISA996393494703316"]
[null,null,"Titolo",null,"By the King, a proclamation for the apprehending certain offenders therein named and for the better security of His Majesty and his government from dangers arising from popish recusants [[electronic resource]]"]
[null,null,"Pubbl/distr/stampa",null,"London, : Printed by John Bill, Christopher Barker, Thomas Newcomb, and Henry Hills, ..., 1678"]
[null,null,"Descrizione fisica",null,"1 broadside"]
[null,null,"Soggetti",null,"Popish Plot, 1678"]
[{"$nulls":4},"Great Britain History Charles II, 1660-1685"]
[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","\"Given at the court at Whitehall, the seventeenth day of November, in the thirtieth year of His Majesties reign.\""]
[{"$nulls":4},"Reproduction of the original in the Huntington Library."]
[null,null,null,"Sommario/riassunto","eebo-0113"]
[null,"3.","Record Nr.",null,"UNINA9910151933603321"]
[null,null,"Autore",null,"Christodoulou Demetrios"]
[null,null,"Titolo",null,"The Formation of Black Holes in General Relativity [[electronic resource] /] / Demetrios Christodoulou"]
[null,null,"Pubbl/distr/stampa",null,"Zuerich, Switzerland, : European Mathematical Society Publishing House, 2009"]
[null,null,"ISBN",null,"3-03719-568-1"]
[null,null,"Descrizione fisica",null,"1 online resource (599 pages)"]
[null,null,"Collana",null,"EMS Monographs in Mathematics (EMM) ; , 2523-5192"]
[null,null,"Classificazione",null,"83-xx35-xx58-xx"]
[null,null,"Soggetti",null,"General relativity"]
[{"$nulls":4},"Relativity and gravitational theory"]
[{"$nulls":4},"Partial differential equations"]
[{"$nulls":4},"Global analysis, analysis on manifolds"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Sommario/riassunto","In 1965 Penrose introduced the fundamental concept of a trapped surface, on the basis of which he proved a theorem which asserts that a spacetime containing such a surface must come to an end. The presence of a trapped surface implies, moreover, that there is a region of spacetime, the black hole, which is inaccessible to observation from infinity.  A major challenge since that time has been to find out how trapped surfaces actually form, by analyzing the dynamics of gravitational collapse. The present monograph achieves this aim by establishing the formation of trapped surfaces in pure general relativity through the focusing of gravitational waves.  The theorems proved in the present monograph constitute the first foray into the long-time dynamics of general relativity in the large, that is, when the initial data are no longer confined to a suitable neighborhood of trivial data. The main new method, the short pulse method, applies to general systems of Euler-Lagrange equations of hyperbolic type, and provides the means to tackle problems which have hitherto seemed unapproachable.  This monograph will be of interest to people working in general relativity, geometric analysis, and partial differential equations."]
[null,"4.","Record Nr.",null,"UNISALENTO991001395689707536"]
[null,null,"Titolo",null,"Gli antichi e i moderni : studi in onore di Roberto Cardini / a cura di Lucia Bertolini, Donatella Coppini"]
[null,null,"Pubbl/distr/stampa",null,"Firenze : Polistampa, 2010"]
[null,null,"ISBN",null,"9788859608981"]
[null,null,"Descrizione fisica",null,"3 v. (1536 p. compless.) : ill. ; 25 cm."]
[null,null,"Lingua di pubblicazione",null,"Italiano"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Saggi"]
[{"$nulls":4},"Testi, francese, italiano, spagnolo"]
[null,null,null,"Nota di bibliografia","Cont. riferimenti bibl."]
[null,"5.","Record Nr.",null,"UNINA9910781000803321"]
[null,null,"Autore",null,"Kurtz Karl T. <1945->"]
[null,null,"Titolo",null,"Institutional Change in American Politics [[electronic resource] ] : The Case of Term Limits"]
[null,null,"Pubbl/distr/stampa",null,"Ann Arbor, : University of Michigan Press, 2009"]
[null,null,"ISBN",null,"1-282-44533-2"]
[{"$nulls":4},"9786612445330"]
[{"$nulls":4},"0-472-02478-7"]
[null,null,"Descrizione fisica",null,"1 online resource (241 p.)"]
[null,null,"Disciplina",null,"328.73/073"]
[null,null,"Soggetti",null,"Legislators -- Term of office -- United States -- States"]
[{"$nulls":4},"Term limits (Public office) -- United States -- States"]
[{"$nulls":4},"Term limits (Public office) - States - United States"]
[{"$nulls":4},"Legislators - States - Term of office - United States"]
[{"$nulls":4},"State Government - U.S"]
[{"$nulls":4},"Government - U.S"]
[{"$nulls":4},"Law, Politics & Government"]
[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,"Nota di contenuto",null,"Contents ; List of Illustrations; Introduction / Karl T. Kurtz, Richard G. Niemi, and Bruce Cain; 1. Term Limits in State Legislatures / Jennie Drage Bowser and Gary Moncrief; 2. Composition of Legislatures / Gary Moncrief, Lynda W. Powell, and Tim Storey; 3. Constituent Attention and Interest Representation / Lynda W. Powell, Richard G. Niemi, and Michael Smith; 4. Legislative Leadership / Thomas H. Little and Rick Farmer; 5. Committees / Bruce Cain and Gerald Wright; 6. Legislative Staff / Brian Weberg and Karl T. Kurtz; 7. Legislative Climate / David R. Berman"]
[{"$nulls":4},"8. Lobbyists and Interest Groups / Christopher Z. Mooney9. Executive-Legislative Relations / Richard J. Powell; 10. Budgets and the Policy Process / Thad Kousser and John Straayer; 11. Education and Training of Legislators / Alan Rosenthal; 12. Conclusion and Implications / Bruce Cain, Karl T. Kurtz, and Richard G. Niemi; Appendix; References; Contributors; Index"]
[null,"6.","Record Nr.",null,"UNIORUON00268847"]
[null,null,"Autore",null,"KING, Charles"]
[null,null,"Titolo",null,"The Black Sea : A History / Charles King"]
[null,null,"Pubbl/distr/stampa",null,"Oxford, : Oxford University Press, 2005"]
[null,null,"ISBN",null,"01-992839-4-X"]
[null,null,"Descrizione fisica",null,"XX, 276 p. : tav. ; 23 cm."]
[null,null,"Disciplina",null,"909.096389"]
[null,null,"Soggetti",null,"MAR NERO - STORIA"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"7.","Record Nr.",null,"UNISA996594169803316"]
[null,null,"Titolo",null,"Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I / / edited by Naoki Kobayashi, James Worrell"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024"]
[null,null,"ISBN",null,"3-031-57228-9"]
[null,null,"Edizione",null,"[1st ed. 2024.]"]
[null,null,"Descrizione fisica",null,"1 online resource (290 pages)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 1611-3349 ; ; 14574"]
[null,null,"Disciplina",null,"40,151"]
[null,null,"Soggetti",null,"Computer science"]
[{"$nulls":4},"Mathematical logic"]
[{"$nulls":4},"Data structures (Computer science)"]
[{"$nulls":4},"Information theory"]
[{"$nulls":4},"Computer systems"]
[{"$nulls":4},"Computer science - Mathematics"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Mathematical Logic and Foundations"]
[{"$nulls":4},"Data Structures and Information Theory"]
[{"$nulls":4},"Computer System Implementation"]
[{"$nulls":4},"Mathematics of Computing"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"Invited Talk -- Ackermannian Completion of Separators -- Infinite Games -- Fair Omega-regular Games -- Stochastic Window Mean-Payoff Games -- Symbolic Solution of Emerson-Lei Games for Reactive Synthesis -- Parity Games on Temporal Graphs -- Categorical Semantics -- Drawing from an Urn is Isometric -- Enriching Diagrams with Algebraic Operations -- Monoidal Extended Stone Duality -- Towards a Compositional Framework for Convex Analysis (with Applications to Probability Theory) -- Automata and Synthesis -- Determinization of Integral Discounted-Sum Automata is Decidable -- Checking History-Determinism is NP-hard for Parity Automata -- Tighter Construction of Tight Büchi Automata -- Synthesis with Privacy Against an Observer."]
[null,null,null,"Sommario/riassunto","The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024. The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Part I: Infinite games; categorical semantics; automata and synthesis; Part II: Types and programming languages; logic and proofs; infinite-state systems."]