{"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":47,"n_cols":5,"rows_kept":47,"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],[9,2,9,3],[10,2,10,3],[12,2,12,3],[14,2,14,3],[15,2,15,3],[18,2,18,3],[26,2,26,3],[26,4,26,5],[27,2,27,3],[27,4,27,5],[28,2,28,3],[29,2,29,3],[30,2,30,3],[31,2,31,3],[32,2,32,3],[33,2,33,3],[34,2,34,3],[40,2,40,3],[41,2,41,3],[44,2,44,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910830764803321"]
[null,null,"Autore",null,"Gallant Brian"]
[null,null,"Titolo",null,"Hazardous waste operations and emergency response manual [[electronic resource] /] / Brian Gallant"]
[null,null,"Pubbl/distr/stampa",null,"Hoboken, N.J., : Wiley-Interscience, c2006"]
[null,null,"ISBN",null,"1-280-31157-6"]
[{"$nulls":4},"9786610311576"]
[{"$nulls":4},"1-61344-896-1"]
[{"$nulls":4},"0-470-00725-7"]
[{"$nulls":4},"0-470-00724-9"]
[null,null,"Descrizione fisica",null,"1 online resource (345 p.)"]
[null,null,"Disciplina",null,"628.4/2"]
[{"$nulls":4},"628.42"]
[null,null,"Soggetti",null,"Hazardous wastes - Purification"]
[{"$nulls":4},"Hazardous wastes - Management"]
[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,"HAZARDOUS WASTE OPERATIONS AND EMERGENCY RESPONSE MANUAL; CONTENTS; 1 REGULATIONS, AGENCIES, AND RESOURCES; Introduction-History of Employee Health and Safety Regulations; Regulations; The Environmental Protection Agency; Hazardous Waste Numbers; EPA Identification Numbers; Clean Water Act; Clean Air Act; Resource Conservation and Recovery Act (RCRA); Toxic Substance Control Act; Comprehensive Environmental Response Compensation and Liability Act (CERCLA); Superfund Amendment and Reauthorization Act (SARA); Department of Labor-Occupational Safety and Health Administration"]
[{"$nulls":4},"National Institute for Occupational Safety and Health (NIOSH)Department of Transportation (DOT); National Fire Protection Association (NFPA); NFPA 704 Labeling; Hazard Communication Standard; Hazardous Waste Operations and Emergency Response (HAZWOPER); Hazwoper Training; Incident Command System (ICS); Resources; Material Safety Data Sheets (MSDS); NIOSH Pocket Guide to Chemical Hazards; Emergency Response Guidebook; Summary; 2 HAZARD CLASSIFICATION; Chemical Exposure; Explosion and Fire; Oxygen Deficiency; Ionizing Radiation; Biological Hazards; General Safety Hazards; Electrical Hazards"]
[{"$nulls":4},"Heat StressCold Exposure; Noise; Poisonous Snakes, Insects, and "]
[{"$nulls":4},"Plants; Weather; Heavy Equipment; Tools; Definition of Hazardous Materials vs. Hazardous Waste; Classification of Hazardous Materials; Physical Properties of Hazardous Materials; Vapor Density and Specific Gravity; Flammability; Explosive Limits; Flash Point; Flammable Solids; Firefighting and Fire Prevention; Portable Fire Extinguishers; Toxic Products of Combustion; Corrosives; Acids; Alkalis; Reactivity of Some Common Elements; Water-Reactive Materials; Oxidizing Materials; Boiling Liquid Expanding Vapor Explosion (BLEVE)"]
[{"$nulls":4},"Flammable and Combustible LiquidSummary; 3 SITE SAFETY PLAN; The Plan; Emergencies; Incident Characterization; Remedial Actions; Safety Plan Development; Routine Operations; Describe the Known Hazards and Risks; List Key Personnel and Alternates; Designate Levels of Protection to be Worn; Delineate Work Areas; List Control Procedures; Establish Decontamination Procedures; Address Requirements for an Environmental Surveillance Program; Specify Any Routine and/or Special Training Required; Establish Procedures for Weather-Related Problems; On Site Emergencies"]
[{"$nulls":4},"Establish Site Emergency ProceduresAddress Emergency Medical Care; Implementation of the Site Safety Plan; Typical Safety Plan Outline; Responsibilities; Client; Engineering Firm; Site Contractors; Consulting Firm / Site Safety Officer (SSO); Summary; 4 SITE CHARACTERIZATION; Offsite Characterization; Interview/Records Research; Perimeter Investigation; Protection of Site Entry Workforce; Onsite Survey; Continuing the Survey; Information Documentation; Hazard Assessment; Threshold Limit Values; Permissible Exposure Limit; Recommended Exposure Limit; IDLH Concentrations"]
[{"$nulls":4},"Potential Skin Absorption and Irritation"]
[null,null,null,"Sommario/riassunto","Field technicians and emergency response personnel are often faced with the dangers of flammable, combustible, and chemically unstable materials. Although there are numerous procedures set forth by regulatory agencies like the Occupational Safety and Health Administration (OSHA), the Environmental Protection Agency (EPA), and the National Institute for Occupational Safety and Health (NIOSH) for effectively and safely dealing with such environmental hazards, up until now there has been no single resource for training in this area.Based on the author's twenty-plus years of field experien"]
[null,"2.","Record Nr.",null,"UNINA9910483521103321"]
[null,null,"Titolo",null,"Computer Aided Verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings / / edited by Natasha Sharygina, Helmut Veith"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013"]
[null,null,"ISBN",null,"3-642-39799-9"]
[null,null,"Edizione",null,"[1st ed. 2013.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XXII, 1015 p. 237 illus.)"]
[null,null,"Collana",null,"Theoretical Computer Science and General Issues, , 2512-2029 ; ; 8044"]
[null,null,"Disciplina",null,"005.14"]
[null,null,"Soggetti",null,"Computer science"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Computers, Special purpose"]
[{"$nulls":4},"Computer Science Logic and Foundations of Programming"]
[{"$nulls":4},"Software Engineering"]
[{"$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,"Nota di contenuto",null,"Automata Networks -- Model-Checking Signal Transduction Networks through Decreasing Reachability Sets -- TTP: Tool for Tumor Progression -- Exploring Parameter Space of Stochastic Biochemical Systems using Quantitative Model Checking -- Parameterized Verification of Asynchronous Shared-Memory Systems -- Partial Orders for Efficient BMC of Concurrent Software -- Incremental, Inductive Coverability -- Automatic linearizability proofs of concurrent objects with cooperating -- Updates -- Duet: Static Analysis for Unbounded Parallelism -- SVA and PSL Local Variables -- A Practical Approach -- Formal Verification of Hardware Synthesis -- CacBDD: A BDD Package with Dynamic Cache Management -- Distributed Explicit State Model Checking of Deadlock Freedom -- Exponential-Condition-Based Barrier Certificate Generation for Safety -- Verification of Hybrid Systems  -- Efficient Robust Monitoring for STL -- Abstraction based Model-Checking of Stability of Hybrid Systems -- Faster Algorithms for Markov Decision Processes with Low Tree width -- Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis -- Importance Splitting for Statistical Model Checking Rare Properties -- Minimal Sets over Monotone Predicates in Boolean "]
[{"$nulls":4},"Formulae -- Smten: Automatic Translation of High-level Symbolic Computations into SMT Queries -- QUAIL: a quantitative security analyzer for imperative code -- Effectively Propositional Reasoning about Reachability in Linked Data Structures -- Learning Universally Quantified Invariants of Linear Data Structures -- GOAL for Games, Omega-Automata, and Logics -- Efficient synthesis for concurrency using semantics-preserving Transformations."]
[null,null,null,"Sommario/riassunto","This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular and 16 tool papers presented were carefully selected from 209 submissions. The papers are organized in topical sections on biology, concurrency, hardware, hybrid systems, interpolation, loops and termination, new domains, probability and statistics, SAT and SMZ, security, shape analysis, synthesis, and time."]