{"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":57,"n_cols":5,"rows_kept":57,"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],[8,2,8,3],[9,2,9,3],[13,2,13,3],[15,2,15,3],[15,4,15,5],[16,2,16,3],[16,4,16,5],[17,2,17,3],[17,4,17,5],[18,2,18,3],[19,2,19,3],[20,2,20,3],[21,2,21,3],[28,2,28,3],[28,4,28,5],[29,2,29,3],[29,4,29,5],[30,2,30,3],[31,2,31,3],[32,2,32,3],[33,2,33,3],[34,2,34,3],[35,2,35,3],[36,2,36,3],[48,2,48,3],[49,2,49,3],[53,2,53,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910511327403321"]
[null,null,"Autore",null,"Bismarck Herbert, Fürst von, <1849-1904.>"]
[null,null,"Titolo",null,"Herbert Graf von Bismarck : Erinnerungen und Aufzeichnungen 1871-1895 / / herausgegeben und bearbeitet von Winfried Baumgart ; Redaktion: Mathias Friedel"]
[null,null,"Pubbl/distr/stampa",null,"Paderborn : , : Verlag Ferdinand Schöningh, , 2015"]
[null,null,"ISBN",null,"3-657-78263-X"]
[null,null,"Descrizione fisica",null,"1 online resource"]
[null,null,"Soggetti",null,"Diplomats - Germany"]
[{"$nulls":4},"Electronic books."]
[null,null,"Lingua di pubblicazione",null,"Tedesco"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Source materials."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Preliminary Material / Winfried Baumgart -- Vorwort / Winfried Baumgart -- Einleitung / Winfried Baumgart -- Verzeichnis der weniger gebräuchlichen Abkürzungen / Winfried Baumgart -- Erinnerungen / Winfried Baumgart -- Die Deutsch-Russischen Beziehungen 1879–1887 / Winfried Baumgart -- Wilhelm II. 1884–1890 / Winfried Baumgart -- Wilhelm II. 1887–1889 / Winfried Baumgart -- Bismarcks Entlassung 1890 / Winfried Baumgart -- Die Deutsch-Russischen Beziehungen 1890–1895 / Winfried Baumgart -- Verzeichnis der gedruckten Quellen und der Literatur / Winfried Baumgart -- Register / Winfried Baumgart."]
[null,null,null,"Sommario/riassunto","Herbert von Bismarck, von 1871 zwei Jahrzehnte lang engster Mitarbeiter seines Vaters, hat nach seiner Entlassung längere Aufzeichnungen über Kaiser Wilhelm II. und große Themen der deutschen Außenpolitik der 1880er Jahre verfasst. Er wollte sie für ein Erinnerungswerk verwerten, das er durch seinen frühen Tod nur für die Jahre 1871 bis 1886 fertigstellen konnte. Diese Erinnerungen und die Aufzeichnungen werden hier zusammengefügt veröffentlicht."]
[null,"2.","Record Nr.",null,"UNISA996396333503316"]
[null,null,"Autore",null,"Quarles John <1624-1665.>"]
[null,null,"Titolo",null,"Fons lachrymarum, or, A fountain of tears [[electronic resource] ] : from whence doth flow Englands complaint, Jeremiah's lamentations paraphras'd, with divine meditations, and an elegy upon that son of valor Sir Charles Lucas / / written by John Quarles"]
[null,null,"Pubbl/distr/stampa",null,"London, : Printed for Nathaniel Brooks ..., 1649"]
[null,null,"Descrizione fisica",null,"[15], 131 p"]
[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","In verse."]
[{"$nulls":4},"Added illustrated t.p.; engraved frontispiece portrait of Quarles by William Marshall."]
[{"$nulls":4},"Imperfect: stained and faded, with print show-through and loss of print."]
[{"$nulls":4},"Reproduction of original in the Harvard University Library."]
[null,null,null,"Sommario/riassunto","eebo-0062"]
[null,"3.","Record Nr.",null,"UNINA9910143594503321"]
[null,null,"Titolo",null,"Computer Aided Verification : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings / / edited by Gerard Berry, Hubert Comon, Alain Finkel"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001"]
[null,null,"ISBN",null,"3-540-44585-4"]
[null,null,"Edizione",null,"[1st ed. 2001.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XIII, 522 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 2102"]
[null,null,"Disciplina",null,"005.74"]
[null,null,"Soggetti",null,"Database management"]
[{"$nulls":4},"Computers"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Logic, Symbolic and mathematical"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Database Management"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Software Engineering/Programming and Operating Systems"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[{"$nulls":4},"Artificial Intelligence"]
[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 at the end of each chapters and index."]
[null,null,"Nota di contenuto",null,"Invited Talk -- Software Documentation and the Verification Process -- Model Checking and Theorem Proving -- Certifying Model Checkers -- Formalizing a JVML Verifier for Initialization in a Theorem Prover -- Automated Inductive Verification of Parameterized Protocols? -- Automata Techniques -- Efficient Model Checking Via Büchi Tableau Automata? -- Fast LTL to Büchi Automata Translation -- A Practical Approach to Coverage in Model Checking -- Verification Core Technology -- A Fast Bisimulation Algorithm -- Symmetry and Reduced Symmetry in Model Checking? -- Transformation-Based Verification Using Generalized Retiming -- BDD and Decision Procedures -- Meta-BDDs: A Decomposed Representation for Layered Symbolic "]
[{"$nulls":4},"Manipulation of Boolean Functions -- CLEVER: Divide and Conquer Combinational Logic Equivalence VERification with False Negative Elimination -- Finite Instantiations in Equivalence Logic with Uninterpreted Functions -- Abstraction and Refinement -- Model Checking with Formula-Dependent Abstract Models -- Verifying Network Protocol Implementations by Symbolic Refinement Checking -- Automatic Abstraction for Verification of Timed Circuits and Systems? -- Combinations -- Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM? -- Analysis of Recursive State Machines -- Parameterized Verification with Automatically Computed Inductive Assertions? -- Tool Presentations: Rewriting and Theorem-Proving Techniques -- EVC: A Validity Checker for the Logic of Equality with Uninterpreted Functions and Memories, Exploiting Positive Equality, and Conservative Transformations -- AGVI — Automatic Generation, Verification, and Implementation of Security Protocols -- ICS: Integrated Canonizer and Solver? -- µCRL: A Toolset for Analysing Algebraic Specifications -- Truth/SLC — A Parallel Verification Platform for Concurrent Systems -- The SLAM Toolkit -- Invited Talk -- Java Bytecode Verification: An Overview -- Infinite State Systems -- Iterating Transducers -- Attacking Symbolic State Explosion -- A Unifying Model Checking Approach for Safety Properties of Parameterized Systems -- A BDD-Based Model Checker for Recursive Programs -- Temporal Logics and Verification -- Model Checking the World Wide Web? -- Distributed Symbolic Model Checking for ?-Calculus -- Tool Presentations: Model-Checking and Automata Techniques -- The Temporal Logic Sugar -- TReX: A Tool for Reachability Analysis of Complex Systems -- BOOSTER: Speeding Up RTL Property Checking of Digital Designs by Word-Level Abstraction -- SDLcheck: A Model Checking Tool -- EASN: Integrating ASN.1 and Model Checking -- Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams -- TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems? -- Microprocessor Verification, Cache Coherence -- Microarchitecture Verification by Compositional Model Checking -- Rewriting for Symbolic Execution of State Machine Models -- Using Timestamping and History Variables to Verify Sequential Consistency -- SAT, BDDs, and Applications -- Benefits of Bounded Model Checking at an Industrial Setting -- Finding Bugs in an Alpha Microprocessor Using Satisfiability Solvers -- Towards Efficient Verification of Arithmetic Algorithms over Galois Fields GF(2m) -- Timed Automata -- Job-Shop Scheduling Using Timed Automata? -- As Cheap as Possible: Effcient Cost-Optimal Reachability for Priced Timed Automata -- Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks."]
[null,null,null,"Sommario/riassunto","This volume contains the proceedings of the conference on Computer-Aided Veric ation (CAV 2001),held in Paris, Palaisde laMutualit e, July 18{22,2001. CAV 2001 was the 13th in a series of conferences dedicated to the advan- ment of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. The CAV conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical veri cation tools and algorithms and techniques needed for their implemen- tion. ProgramCommitteeofCAV 2001 Rajeev Alur (Penn. &Bell labs) Bengt Jonsson (Uppsala) Henrik Reif Andersen (Copenhagen) Robert Kurshan (LucentBellLabs) G erard Berry (EsterelT. ,co-chair) Kim G. Larsen (Aalborg) Randy Bryant (CMU) Ken Mc Millan(Cadence) Jerry Burch (Cadence) Kedar Namjoshi (Belllabs) Ching-Tsun Chou (Intel) Christine Paulin-Mohring (Orsay) Edmund Clarke (CMU) Carl Pixley (Motorola) Hubert Comon (LSV& Stanford, co-chair) Kavita Ravi (Cadence) David "]
[{"$nulls":4},"Dill (Stanford) Natarajan Shankar (SRI) E. Allen Emerson (Austin) Mary Sheeran (Chalmers &Prover T. ) Alain Finkel (LSV,co-chair) Tom Shiple (Synopsys) Patrice Godefroid (Belllabs) A."]