{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"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":46,"n_cols":5,"rows_kept":46,"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],[8,2,8,3],[9,2,9,3],[10,2,10,3],[11,2,11,3],[13,2,13,3],[14,2,14,3],[15,2,15,3],[19,2,19,3],[21,2,21,3],[21,4,21,5],[22,2,22,3],[22,4,22,5],[23,2,23,3],[24,2,24,3],[25,2,25,3],[26,2,26,3],[27,2,27,3],[28,2,28,3],[29,2,29,3],[38,2,38,3],[39,2,39,3],[43,2,43,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910778643703321"]
[null,null,"Autore",null,"Sime Ruth Lewin <1939->"]
[null,null,"Titolo",null,"Lise Meitner [[electronic resource] ] : a life in physics / / Ruth Lewin Sime"]
[null,null,"Pubbl/distr/stampa",null,"Berkeley, : University of California Press, 1997, c1996"]
[null,null,"ISBN",null,"0-585-05524-6"]
[{"$nulls":4},"0-520-91899-1"]
[{"$nulls":4},"9786613622723"]
[{"$nulls":4},"1-280-59289-3"]
[null,null,"Descrizione fisica",null,"1 online resource (564 p.)"]
[null,null,"Collana",null,"California studies in the history of science ; ; v. 13"]
[null,null,"Classificazione",null,"UB 3231"]
[null,null,"Disciplina",null,"530/.092"]
[{"$nulls":4},"B"]
[null,null,"Soggetti",null,"Women physicists - Austria"]
[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. 505-512) and index."]
[null,null,"Nota di contenuto",null,"Frontmatter -- Contents -- Preface and Acknowledgments -- 1. Girlhood in Vienna -- 2. Beginnings in Berlin -- 3. The First World War -- 4. Professor in the Kaiser-Wilhelm-Institut -- 5. Experimental Nuclear Physics -- 6. Under the Third Reich -- 7. Toward the Discovery of Nuclear Fission -- 8. Escape -- 9. Exile in Stockholm -- 10. The Discovery of Nuclear Fission -- 11. Priorities -- 12. Again, World War -- 13. War Against Memory -- 14. Suppressing the Past -- 15. No Return -- 16. Final Journeys -- Appendix -- Abbreviations -- Notes -- Selected Bibliography -- Index"]
[null,null,null,"Sommario/riassunto","Lise Meitner (1878-1968) was a pioneer of nuclear physics and co-discoverer, with Otto Hahn and Fritz Strassmann, of nuclear fission. Braving the sexism of the scientific world, she joined the prestigious Kaiser Wilhelm Institute for Chemistry and became a prominent member of the international physics community. Of Jewish origin, Meitner fled Nazi Germany for Stockholm in 1938 and later moved to Cambridge, England. Her career was shattered when she fled Germany, and her scientific reputation was damaged when Hahn took full credit-and the 1944 Nobel Prize-for the work they had done together on nuclear fission. Ruth Sime's absorbing book is the definitive biography of Lise Meitner, the story of a brilliant woman whose extraordinary life illustrates not only the dramatic scientific progress but also the injustice and destruction that have marked the twentieth century."]
[null,"2.","Record Nr.",null,"UNINA9910768474203321"]
[null,null,"Titolo",null,"Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings / / edited by Tiziana Margaria, Wang Yi"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001"]
[null,null,"ISBN",null,"3-540-45319-9"]
[null,null,"Edizione",null,"[1st ed. 2001.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XIV, 594 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 2031"]
[null,null,"Disciplina",null,"004.2/11"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Computer networks"]
[{"$nulls":4},"Algorithms"]
[{"$nulls":4},"Software Engineering/Programming and Operating Systems"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Computer Communication Networks"]
[{"$nulls":4},"Algorithm Analysis and Problem Complexity"]
[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 Contributions -- Branching vs. Linear Time: Final Showdown -- Propositional Reasoning -- Symbolic Verification -- Language Containment Checking with Nondeterministic BDDs -- Satisfiability Checking Using Boolean Expression Diagrams -- A Library for Composite Symbolic Representations -- Infinite State Systems: Deduction and Abstraction -- Synthesis of Linear Ranking Functions -- Automatic Deductive Verification with Invisible Invariants -- Incremental Verification by Abstraction -- A Technique for Invariant Generation -- Application of Model Checking Techniques -- Model Checking Syllabi and Student Careers -- Verification of Vortex Workflows -- Parameterized Verification of Multithreaded Software Libraries -- Timed and Probabilistic Systems -- Efficient Guiding Towards Cost-Optimality in UPPAAL -- Linear Parametric Model Checking of Timed Automata -- Abstraction in Probabilistic Process "]
[{"$nulls":4},"Algebra -- First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders -- Hardware: Design and Verification -- Hardware/Software Co-design Using Functional Languages -- Automatic Abstraction of Memories in the Formal Verification of Superscalar Microprocessors -- Software Verification -- Boolean and Cartesian Abstraction for Model Checking C Programs -- Finding Feasible Counter-examples when Model Checking Abstracted Java Programs -- The loop Compiler for Java and JML -- Symbolic Verification -- Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking -- Saturation: An Efficient Iteration Strategy for Symbolic State—Space Generation -- Testing: Techniques and Tools -- Automated Test Generation from Timed Automata -- Testing an Intentional Naming Scheme Using Genetic Algorithms -- Building a Tool for the Analysis and Testing of Web Applications: Problems and Solutions -- TATOO: Testing and Analysis Tool for Object-Oriented Software -- Implementation Techniques -- Implementing a Multi-valued Symbolic Model Checker -- Is There a Best Symbolic Cycle-Detection Algorithm? -- Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets -- A Sweep-Line Method for State Space Exploration -- Semantics and Compositional Verification -- Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams -- Simulation Revisited -- Compositional Message Sequence Charts -- An Automata Based Interpretation of Live Sequence Charts -- Logics and Model-Checking -- Coverage Metrics for Temporal Logic Model Checking -- Parallel Model Checking for the Alternation Free ?-Calculus -- Model Checking CTL*[DC] -- ETAPS Tool Demonstration -- CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS -- The ASM Workbench: A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models -- The Erlang Verification Tool."]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001. The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on symbolic verification, infinite state systems - deduction and abstraction, application of model checking techniques, timed and probabilistic systems, hardware - design and verification, software verification, testing - techniques and tools, implementation techniques, semantics and compositional verification, logics and model checking, and ETAPS tool demonstration."]