{"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":72,"n_cols":5,"rows_kept":72,"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],[10,2,10,3],[15,2,15,3],[16,2,16,3],[18,2,18,3],[18,4,18,5],[19,2,19,3],[19,4,19,5],[20,2,20,3],[20,4,20,5],[21,2,21,3],[22,2,22,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],[40,2,40,3],[42,2,42,3],[42,4,42,5],[43,2,43,3],[43,4,43,5],[44,2,44,3],[44,4,44,5],[45,2,45,3],[46,2,46,3],[47,2,47,3],[48,2,48,3],[49,2,49,3],[50,2,50,3],[51,2,51,3],[65,2,65,3],[66,2,66,3],[69,2,69,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA990006577810403321"]
[null,null,"Titolo",null,"Il servizio sanitario nazionale : Una riforma indispensabile e urgente / a cura di Domenico Buttinelli ; prefazione di Giorgio Benvenuto"]
[null,null,"Pubbl/distr/stampa",null,"Milano : FrancoAngeli, 1977"]
[null,null,"Descrizione fisica",null,"190 p. ; 22 cm"]
[null,null,"Collana",null,"Collana UIL ; 2"]
[null,null,"Locazione",null,"DDCIC"]
[{"$nulls":4},"FSPBC"]
[{"$nulls":4},"DECTS"]
[{"$nulls":4},"ECA"]
[{"$nulls":4},"DINST"]
[null,null,"Collocazione",null,"XXVIII 353"]
[{"$nulls":4},"I G 64"]
[{"$nulls":4},"I1.20"]
[{"$nulls":4},"0-0-101-TI"]
[{"$nulls":4},"01 L 2086"]
[null,null,"Lingua di pubblicazione",null,"Italiano"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"2.","Record Nr.",null,"UNINA9910969603703321"]
[null,null,"Autore",null,"Zappe R. W. <1912-2000.>"]
[null,null,"Titolo",null,"Valve selection handbook : engineering fundamentals for selecting the right valve design for every industrial flow application / / by Peter Smith (editor and contributor), and R.W. Zappe"]
[null,null,"Pubbl/distr/stampa",null,"Amsterdam ; ; Boston, : Elsevier, : Gulf Professional Pub., c2004"]
[null,null,"ISBN",null,"9786611052089"]
[{"$nulls":4},"9781493302970"]
[{"$nulls":4},"1493302973"]
[{"$nulls":4},"9781281052087"]
[{"$nulls":4},"1281052086"]
[{"$nulls":4},"9780080481586"]
[{"$nulls":4},"0080481582"]
[{"$nulls":4},"978-0-0805-8158-6"]
[{"$nulls":4},"9780080581586"]
[null,null,"Edizione",null,"[5th ed.]"]
[null,null,"Descrizione fisica",null,"1 online resource (xiii, 399 pages) : illustrations"]
[null,null,"Disciplina",null,"621.8/4"]
[null,null,"Soggetti",null,"Valves"]
[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. 383-386) and index."]
[null,null,"Nota di contenuto",null,"Fundamentals -- Manual valves -- Check valves -- Pressure relief valves -- Rupture discs -- Sizing pressure relief devices -- Actuators -- Double block and bleed ball valves -- Mechanical locking devices for valves."]
[null,null,null,"Sommario/riassunto","Valves are the components in a fluid flow or pressure system that regulate either the flow or the pressure of the fluid.  They are used extensively in the process industries, especially petrochemical.  Though there are only four basic types of valves, there is an enormous number of different kinds of valves within each category, each one used for a specific purpose.  No other book on the market analyzes the use, construction, and selection of valves in such a comprehensive manner.-Covers new environmentally-conscious equipment and practices, the most important hot-button issue in the p"]
[null,"3.","Record Nr.",null,"UNINA9910555237203321"]
[null,null,"Autore",null,"Fisman Dana"]
[null,null,"Titolo",null,"Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II / / edited by Dana Fisman, Grigore Rosu"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022"]
[null,null,"ISBN",null,"3-030-99527-5"]
[null,null,"Edizione",null,"[1st ed. 2022.]"]
[null,null,"Descrizione fisica",null,"1 online resource (xxi, 493 pages) : illustrations"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 1611-3349 ; ; 13244"]
[null,null,"Disciplina",null,"004.0151"]
[null,null,"Soggetti",null,"Computer science"]
[{"$nulls":4},"Coding theory"]
[{"$nulls":4},"Information theory"]
[{"$nulls":4},"Microprogramming"]
[{"$nulls":4},"Computer engineering"]
[{"$nulls":4},"Computer networks"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Logic programming"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Coding and Information Theory"]
[{"$nulls":4},"Control Structures and Microprogramming"]
[{"$nulls":4},"Computer Engineering and Networks"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Logic in AI"]
[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,"Probabilistic Systems -- A Probabilistic Logic for Verifying Continuous-time Markov Chains -- Under-Approximating Expected Total Rewards in POMDPs -- Correct Probabilistic Model Checking with Floating-Point Arithmetic -- Correlated Equilibria and Fairness in Concurrent Stochastic Games -- Omega Automata -- A Direct Symbolic Algorithm for Solving Stochastic Rabin Games -- Practical Applications of the Alternating Cycle Decomposition -- Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation -- "]
[{"$nulls":4},"On-The-Fly Solving for Symbolic Parity Games -- Equivalence Checking -- Distributed Coalgebraic Partition Refinement -- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques -- Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time -- Monitoring and Analysis -- A Theoretical Analysis of Random Regression Test Prioritization -- Verified First-Order Monitoring with Recursive Rules -- Maximizing Branch Coverage withConstrained Horn Clauses -- Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation -- Tools / Optimizations, Repair and Explainability -- Adiar: Binary Decision Diagrams in External Memory -- Forest GUMP: A Tool for Explanation -- Alpinist: an Annotation-Aware GPU Program Optimizer -- Automatic Repair for Network Programs -- 11th Competition on Software Verification / SV-COMP 2022 -- Progress on Software Verification: SV-COMP 2022 -- AProVE: Non-Termination Witnesses for C Programs (Competition Contribution) -- BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution) -- A Prototype for Data Race Detection in CSeq 3 (Competition Contribution) -- Dartagnan: SMT-based Violation Witness Validation (Competition Contribution) -- Deagle: An SMT-based Veri er for Multi-threaded Programs (Competition Contribution) -- The Static Analyzer Frama-C in SV-COMP (Competition Contribution) -- GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution) -- Graves-CPA: A Graph-Attention Veri er Selector (Competition Contribution) -- GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution) -- The Static Analyzer Infer in SV-COMP (Competition Contribution) -- LART: Compiled Abstract Execution (Competition Contribution) -- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding (Competition Contribution) -- Symbiotic-Witch: A Klee-Based Violation Witness Checker (Competition Contribution) -- Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection -- Ultimate GemCutter and the Axes of Generalization (Competition Contribution) -- Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution)."]
[null,null,null,"Sommario/riassunto","This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems. ."]