{"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":64,"n_cols":5,"rows_kept":64,"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],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[20,2,20,3],[21,2,21,3],[25,2,25,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],[40,2,40,3],[41,2,41,3],[45,2,45,3],[45,4,45,5],[46,2,46,3],[46,4,46,5],[47,2,47,3],[48,2,48,3],[51,2,51,3],[52,2,52,3],[53,2,53,3],[57,2,57,3],[58,2,58,3],[62,2,62,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996466361703316"]
[null,null,"Titolo",null,"Computer Aided Verification [[electronic resource] ] : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings / / edited by Ed Brinksma, Kim G. Larsen"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002"]
[null,null,"ISBN",null,"3-540-45657-0"]
[null,null,"Edizione",null,"[1st ed. 2002.]"]
[null,null,"Descrizione fisica",null,"1 online resource (X, 362 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 2404"]
[null,null,"Disciplina",null,"005.1"]
[null,null,"Soggetti",null,"Computers"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Mathematical logic"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Special purpose computers"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Special Purpose and Application-Based Systems"]
[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 Talks -- Software Analysis and Model Checking -- The Quest for Efficient Boolean Satisfiability Solvers -- Invited Tutorials -- On Abstraction in Software Verification -- The Symbolic Approach to Hybrid Systems -- Infinite Games and Verification -- Symbolic Model Checking -- Symbolic Localization Reduction with Reconstruction Layering and Backtracking -- Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions -- Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking -- Abstraction/Refinement and Model Checking -- Liveness with (0,1, ?)- Counter Abstraction -- Shared Memory Consistency Protocol "]
[{"$nulls":4},"Verification Against Weak Memory Models: Refinement via Model-Checking -- Automatic Abstraction Using Generalized Model Checking -- Compositional/Structural Verification -- Property Checking via Structural Analysis -- Conformance Checking for Models of Asynchronous Message Passing Software -- A Modular Checker for Multithreaded Programs -- Timing Analysis -- Automatic Derivation of Timing Constraints by Failure Analysis -- Deciding Separation Formulas with SAT -- Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling -- SAT Based Methods -- Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT -- Applying SAT Methods in Unbounded Symbolic Model Checking -- SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques -- Semi-formal Bounded Model Checking -- Symbolic Model Checking -- Algorithmic Verification of Invalidation-Based Protocols -- Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving -- Automated Unbounded Verification of Security Protocols -- Tool Presentations -- Exploiting Behavioral Hierarchy for Efficient Model Checking -- IF-2.0: A Validation Environment for Component-Based Real-Time Systems -- The AVISS Security Protocol Analysis Tool -- SPeeDI — A Verification Tool for Polygonal Hybrid Systems -- NuSMV 2: An OpenSource Tool for Symbolic Model Checking -- The d/dt Tool for Verification of Hybrid Systems -- Infinite Model Checking -- Model Checking Linear Properties of Prefix-Recognizable Systems -- Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking -- On Discrete Modeling and Model Checking for Nonlinear Analog Systems -- Compositional/Structural Verification -- Synchronous and Bidirectional Component Interfaces -- Interface Compatibility Checking for Software Modules -- Practical Methods for Proving Program Termination -- Extended Model Checking -- Evidence-Based Model Checking -- Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification -- Vacuum Cleaning CTL Formulae -- Tool Presentations -- CVC: A Cooperating Validity Checker -- ?Chek: A Multi-valued Model-Checker -- PathFinder: A Tool for Design Exploration -- Abstracting C with abC -- AMC: An Adaptive Model Checker -- Code Verification -- Temporal-Safety Proofs for Systems Code -- Regular Model Checking and Acceleration -- Extrapolating Tree Transformations -- Regular Tree Model Checking -- Compressing Transitions for Model Checking -- Model Reduction -- Canonical Prefixes of Petri Net Unfoldings -- State Space Reduction by Proving Confluence -- Fair Simulation Minimization."]
[null,null,null,"Sommario/riassunto","This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. CAV 2002 was the 14th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. The conference covers the spectrum from theoretical - sults to concrete applications, with an emphasis on practical veri?cation tools, including algorithms and techniques needed for their implementation. The c- ference has traditionally drawn contributions from researchers as well as prac- tioners in both academia and industry. This year we received 94 regular paper submissions out of which 35 were selected. Each submission received an average of 4 referee reviews. In addition, the CAV program contained 11 tool presentations selected from 16 submissions. For each tool presentation, a demo was given at the conference. The large number of tool submissions and presentations testi?es to the liveliness of the ?eld and its applied ?avor."]
[null,"2.","Record Nr.",null,"UNINA9910712957303321"]
[null,null,"Titolo",null,"Continuation of the national emergency with respect to Ukraine : message from the President of the United States, transmitting notification that the national emergency with respect to the actions and policies of persons to undermine democratic processes and institutions in Ukraine, that was declared in Executive Order 13660 of March 6, 2014, is to continue in effect beyond March 6, 2020, pursuant to 50 U.S.C. 1622(d); Public law 94-412, Sec. 202(d); (90 Stat. 1257)"]
[null,null,"Pubbl/distr/stampa",null,"Washington : , : U.S. Government Publishing Office, , 2020"]
[null,null,"Descrizione fisica",null,"1 online resource (4 pages)"]
[null,null,"Collana",null,"House document / 116th Congress, 2d session ; ; 116-102"]
[null,null,"Soggetti",null,"Democracy - Ukraine"]
[{"$nulls":4},"Democracy"]
[{"$nulls":4},"Diplomatic relations"]
[{"$nulls":4},"United States Foreign relations Ukraine"]
[{"$nulls":4},"Ukraine Foreign relations United States"]
[{"$nulls":4},"Ukraine"]
[{"$nulls":4},"United States"]
[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","\"Referred to the Committee on Foreign Affairs.\""]
[{"$nulls":4},"\"February 25, 2020.\""]
[null,"3.","Record Nr.",null,"UNINA9910789771103321"]
[null,null,"Titolo",null,"Atlas of the 2008 elections [[electronic resource] /] / edited by Stanley D. Brunn ... [et al.] ; cartography by Stephen J. Lavin and J. Clark Archer"]
[null,null,"Pubbl/distr/stampa",null,"Lanham, Md., : Rowman & Littlefield Publishers, c2011"]
[null,null,"ISBN",null,"1-283-23372-X"]
[{"$nulls":4},"9786613233721"]
[{"$nulls":4},"0-7425-6796-6"]
[null,null,"Descrizione fisica",null,"1 online resource (335 p.)"]
[null,null,"Disciplina",null,"324.973/09310223"]
[null,null,"Soggetti",null,"Presidents - United States - Election - 2008"]
[{"$nulls":4},"Voting - United States"]
[{"$nulls":4},"Political campaigns - United States"]
[{"$nulls":4},"Elections - United States"]
[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","\"Edited by Stanley D. Brunn, Gerald R. Webster, Richard L. Morrill, Fred M. Shelley, Stephen J. Lavin, J. Clark Archer.\""]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Contents; Untitled; Figures, Graphs, Maps, and Tables; Preface; 01chap; 02chap; 03chap; 04chap; 05chap; 06chap; 07chap; 08chap; 09chap; 10chap; Index; About the Editors and Contributors"]
[null,null,null,"Sommario/riassunto","The U.S. presidential election of 2008 was one of the most significant elections in recent American history. Bringing together leading geographers and political scientists, this unique atlas analyzes and maps the campaigns, primaries, general election, and key state referenda to provide a rich picture of this watershed event. Illustrated with over 140 meticulous full-color maps, the atlas will be an essential resource for all public and academic libraries."]