{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":4,"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":78,"n_cols":5,"rows_kept":78,"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],[11,2,11,3],[12,2,12,3],[15,2,15,3],[18,2,18,3],[18,4,18,5],[19,2,19,3],[19,4,19,5],[20,2,20,3],[21,2,21,3],[22,2,22,3],[23,2,23,3],[24,2,24,3],[32,2,32,3],[32,4,32,5],[33,2,33,3],[33,4,33,5],[34,2,34,3],[34,4,34,5],[35,2,35,3],[36,2,36,3],[39,2,39,3],[40,2,40,3],[41,2,41,3],[43,2,43,3],[44,2,44,3],[48,2,48,3],[50,2,50,3],[50,4,50,5],[51,2,51,3],[51,4,51,5],[52,2,52,3],[53,2,53,3],[54,2,54,3],[55,2,55,3],[56,2,56,3],[57,2,57,3],[58,2,58,3],[71,2,71,3],[72,2,72,3],[75,2,75,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910454512203321"]
[null,null,"Autore",null,"Dregni Eric <1968->"]
[null,null,"Titolo",null,"In cod we trust [[electronic resource] ] : living the Norwegian dream / / Eric Dregni"]
[null,null,"Pubbl/distr/stampa",null,"Minneapolis, : University of Minnesota Press, c2008"]
[null,null,"ISBN",null,"0-8166-6637-7"]
[null,null,"Descrizione fisica",null,"1 online resource (206 p.)"]
[null,null,"Disciplina",null,"914.81045"]
[null,null,"Soggetti",null,"National characteristics, Norwegian"]
[{"$nulls":4},"Electronic books."]
[{"$nulls":4},"Norway Social life and customs 20th century"]
[{"$nulls":4},"Norway Description and travel"]
[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; A Cambridge Education; From Colony to Homeland; A Beautiful Day in Hell; \"Screw Yourself\" at IKEA; Janteloven; The Chest; Munch Is Dårlig; Aliens; Living the Norwegian Dream; Porridge Night; Norsk Course; A to Å; Cabin Culture; A True Norwegian; Paul Bunyan's Blacksmith?; \"Take Everything for Good Fish\"; A Free Upbringing; Columbus Was Norwegian; On the Meat Bus; Bargain Babies; Earth Mothers at the Sick House; The Name of the Devil; Mørketid: The Dark Time; Tran!; Rakfisk: Riskier Than Lutefisk; Juletid; Fish in Lye; Born Wearing Skis; \"The World's Most Beautiful Voyage\""]
[{"$nulls":4},"Snowbound in BodøThe Knitting Hall of Fame; Døping the Baby; In Cod We Trust; Syttende Mai: Constitution Day; You Can't Eat Beauty; Acknowledgments; Snakker Du Norsk?"]
[null,null,null,"Sommario/riassunto","Eric Dregni's great-grandfather Ellef fled Norway in 1893 when it was the poorest country in Europe. More than one hundred years later, his great-grandson traveled back to find that-mostly due to oil and natural gas discoveries-it is now the richest. The circumstances of his return were serendipitous, as the notice that Dregni won a Fulbright Fellowship to go there arrived the same week as the knowledge that his wife Katy was pregnant. Braving a birth abroad and benefiting from a remarkably generous health care system, the Dregnis' family came full circle when their son Eilif was born in Norwa"]
[null,"2.","Record Nr.",null,"UNISA996394651603316"]
[null,null,"Titolo",null,"An ordinance of the Lords and Commons in Parliament assembled [[electronic resource] ] : for the continuation of excise or new-impost, untill the 29 of September, 1648. Die Sabbathi, 25. Aprill, 1646"]
[null,null,"Pubbl/distr/stampa",null,"[London, : printed by Ric Cotes. and R. Raworth, 1646]"]
[null,null,"Descrizione fisica",null,"p. 109-115, [3], 117-122"]
[null,null,"Soggetti",null,"Excise tax - England"]
[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","Caption title."]
[{"$nulls":4},"A fragment; quires R and S only. Leaf S1r is a separate dated title page which reads: Die Jovis, 6 Augusti, 1646. An ordinance of the Lords & Commons assembled in Parliament: for explanation of a former ordinance of Parliament of the 24th. November, 1645. for an additionall excise or new-impost for payment of artificers. .. London, printed by Ric. Cotes, and R. Raworth, 1646 (Wing E1891A)."]
[{"$nulls":4},"Includes \"An ordinance of the Lords and Commons in Parliament assembled for the discharge of the commissioners for one yeares accompts, ending the eleventh of September, 1644\" (caption title) R3-R4."]
[{"$nulls":4},"Copy filmed at UMI microfilm Early English Books 1641-1700 reel 2497 has \"Die Jovis, 6 Augusti, 1646. An ordinance of the Lords & Commons\" (Wing E1891A) only."]
[{"$nulls":4},"Reproduction of original in the Folger Shakespeare Library."]
[null,null,null,"Sommario/riassunto","eebo-0055"]
[null,"3.","Record Nr.",null,"UNINA9910788999903321"]
[null,null,"Autore",null,"Frank Adam <1962->"]
[null,null,"Titolo",null,"The constant fire [[electronic resource] ] : beyond the science vs. religion debate / / Adam Frank"]
[null,null,"Pubbl/distr/stampa",null,"Berkeley, : University of California Press, c2009"]
[null,null,"ISBN",null,"1-282-77235-X"]
[{"$nulls":4},"9786612772351"]
[{"$nulls":4},"0-520-94203-5"]
[null,null,"Descrizione fisica",null,"1 online resource (301 p.)"]
[null,null,"Disciplina",null,"201/.65"]
[null,null,"Soggetti",null,"Religion and science - History"]
[{"$nulls":4},"Bible and science - History"]
[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 (p. 269-281) and index."]
[null,null,"Nota di contenuto",null,"Front matter -- Contents -- Acknowledgments -- Prologue. House of the Rising Sun -- Part I. The Map: Reimagining Science, Myth, and the Sacred -- Part II. The Terrain: Sacred Narratives in Science and Myth -- Part III. A New Path to the Waterfall: Science, Myth, Truth, and the Future -- Epilogue. Fire in the Open Mind -- Notes -- Index"]
[null,null,null,"Sommario/riassunto","Eloquent, urgent, and inspiring, The Constant Fire tackles the acrimonious debate between science and religion, taking us beyond its stagnant parameters into the wider domain of human spiritual experience. From a Neolithic archaeological site in Ireland to modern theories of star formation, Adam Frank traverses a wide terrain, broadening our sights and allowing us to imagine an alternative perspective. Drawing from his experience as a practicing astrophysicist and from the writings of the great scholars of religion, philosophy, and mythology, Frank locates the connective tissue linking science and religion-their commonality as sacred pursuits-and finds their shared aspiration in pursuit of \"the True and the Real.\" Taking us from the burning of Giordano Bruno in 1600 to Einstein and on to today's pressing issues of global warming and resource depletion, The Constant Fire shows us how to move beyond this stale debate into a more profound experience of the world as sacred-a world that embraces science without renouncing human spirituality."]
[null,"4.","Record Nr.",null,"UNINA9910409680203321"]
[null,null,"Titolo",null,"Verified Software. Theories, Tools, and Experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers / / edited by Supratik Chakraborty, Jorge A. Navas"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020"]
[null,null,"ISBN",null,"3-030-41600-3"]
[null,null,"Edizione",null,"[1st ed. 2020.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XVI, 193 p. 221 illus., 30 illus. in color.)"]
[null,null,"Collana",null,"Programming and Software Engineering, , 2945-9168 ; ; 12031"]
[null,null,"Disciplina",null,"005.14"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Compilers (Computer programs)"]
[{"$nulls":4},"Electronic digital computers - Evaluation"]
[{"$nulls":4},"Computers, Special purpose"]
[{"$nulls":4},"Computers"]
[{"$nulls":4},"Professions"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Computer Science Logic and Foundations of Programming"]
[{"$nulls":4},"Compilers and Interpreters"]
[{"$nulls":4},"System Performance and Evaluation"]
[{"$nulls":4},"Special Purpose and Application-Based Systems"]
[{"$nulls":4},"The Computing Profession"]
[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,"Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework -- Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer -- Verifying Network Control Planes -- Verifiable Homomorphic Tallying for the Schulze Vote Counting Scheme -- Incremental Minimization of Symbolic Automata -- Seamless Interactive Program Verification -- Formal Verification of Work Flow Policies for Smart Contracts in Azure Blockchain -- Ghost Code in Action: Automated Verification of a Symbolic Interpreter -- DCSynth: Guided Reactive Synthesis with Soft Requirements -- Refinement type contracts for verification of scientific investigative software -- solc-"]
[{"$nulls":4},"verify: A Modular Verifier for Solidity Smart Contracts -- Intersection and Rotation of Assumption Literals Boosts Bug-Finding."]
[null,null,null,"Sommario/riassunto","This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019. The 9 full papers presented were carefully revised and selected from 17 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies."]