{"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],[5,2,5,3],[8,2,8,3],[9,2,9,3],[10,2,10,3],[11,2,11,3],[12,2,12,3],[13,2,13,3],[14,2,14,3],[18,2,18,3],[20,2,20,3],[20,4,20,5],[21,2,21,3],[21,4,21,5],[22,2,22,3],[22,4,22,5],[23,2,23,3],[25,2,25,3],[28,2,28,3],[29,2,29,3],[30,2,30,3],[31,2,31,3],[32,2,32,3],[35,2,35,3],[36,2,36,3],[40,2,40,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910484488803321"]
[null,null,"Autore",null,"Puppis Gabriele"]
[null,null,"Titolo",null,"Automata for branching and layered temporal structures : an investigation into regularities of infinite transition systems / / Gabriele Puppis"]
[null,null,"Pubbl/distr/stampa",null,"Berlin ; ; Heidelberg : , : Springer, , [2010]"]
[{"$nulls":4},"©2010"]
[null,null,"ISBN",null,"1-280-38576-6"]
[{"$nulls":4},"9786613563682"]
[{"$nulls":4},"3-642-11881-X"]
[null,null,"Edizione",null,"[1st ed. 2010.]"]
[null,null,"Descrizione fisica",null,"1 online resource (212 p.)"]
[null,null,"Collana",null,"Lecture notes in artificial intelligence ; ; 5955"]
[null,null,"Disciplina",null,"510.904"]
[null,null,"Soggetti",null,"Machine theory"]
[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 bibliobraphical references and index."]
[null,null,"Nota di contenuto",null,"Word Automata and Time Granularities -- Tree Automata and Logics -- Summary."]
[null,null,null,"Sommario/riassunto","Since 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Language, and Information. This book is based on the Ph.D. thesis of Gabriele Puppis, who was the winner of the E.W. Beth dissertation award for 2007. Puppis' thesis focuses on Logic and Computation and, more specifically, on automata-based decidability techniques for time granularity and on a new method for deciding Monadic Second Order theories of trees. The results presented represent a significant step towards a better understanding of the changes in granularity levels that humans make so easily in cognition of time, space, and other phenomena, whereas their logical and computational structure poses difficult conceptual and computational challenges."]
[null,"2.","Record Nr.",null,"UNINA9910143460803321"]
[null,null,"Autore",null,"Holton James R"]
[null,null,"Titolo",null,"Encyclopedia of atmospheric sciences / / editor-in-chief, James R. Holton ; editors, Judith A. Curry, John A. Pyle"]
[null,null,"Pubbl/distr/stampa",null,"Burlington, : Elsevier Science, 2002"]
[{"$nulls":4},"Amsterdam, Netherlands : , : Academic Press, , 2003"]
[null,null,"ISBN",null,"1-78402-400-7"]
[{"$nulls":4},"1-78034-502-X"]
[{"$nulls":4},"0-08-052357-9"]
[null,null,"Edizione",null,"[1st ed.]"]
[null,null,"Descrizione fisica",null,"1 online resource (6 volumes (xlii, 2780 pages)) : illustrations (some color)"]
[null,null,"Collana",null,"Gale eBooks"]
[null,null,"Disciplina",null,"551.503"]
[null,null,"Soggetti",null,"Atmosphere"]
[{"$nulls":4},"Meteorology"]
[{"$nulls":4},"Atmospheric physics"]
[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 and index."]
[null,null,"Nota di contenuto",null,"Cover image; Title page; Table of Contents; Editor-in-Chief; Editors; Editorial Advisory Board; Foreword; Preface; Permission Acknowledgments; Article Titles; A; Chapter 1: ACOUSTIC WAVES; Introduction; The Acoustic Wave Equation; Sound Pressure Levels and Decibels; The Speed of Sound in the Atmosphere; Absorption of Sound in the Atmosphere; Refraction of Sound in the Atmosphere; Diffraction of Acoustic Waves in the Atmosphere; Acoustic Remote Sensing of the Atmosphere; See also; Chapter 2: AEROSOLS | Climatology of Tropospheric Aerosols; Introduction"]
[{"$nulls":4},"Spatial and Temporal Distribution of Particle PropertiesLower Troposphere; Particle Mass; Particle Number; Upper Troposphere (>5 km); See also; Chapter 3: AEROSOLS | Observations and Measurements; Introduction; Sampling; Sample Collection and Analysis: Filters and Impactors; Real-Time, In-Situ Analysis of Aerosol Chemical Properties; Measurement of Physical Properties; Summary; See also; Chapter 4: AEROSOLS | Physics and Chemistry of Aerosols; Introduction; Nomenclature; Distribution and Physical Properties; Chemical Composition; State of Mixture; See also"]
[{"$nulls":4},"Chapter 5: AEROSOLS | Role in Cloud PhysicsIntroduction; Atmospheric Particulate Matter; Water Content of Aerosols; Aerosol Interactions with "]
[{"$nulls":4},"Liquid-Phase Clouds; Aerosol Interactions with Cold Clouds; Effects of Anthropogenic Activities; see also; Chapter 6: AEROSOLS | Role in Radiative Transfer; Introduction; Scattering and Absorption of Light; Effects of Surface Reflection; Interactions with Thermal Radiation; See also; Chapter 7: AGRICULTURAL METEOROLOGY AND CLIMATOLOGY; Introduction; Fundamental Principles; Instrumentation, Measurements, and Networks; Modeling and Theory"]
[{"$nulls":4},"Parameterizations of Transfer VelocityAir-Sea Fluxes of Carbon Dioxide; Air-Sea Fluxes of Other Gases; see also; Chapter 10: AIR-SEA INTERACTION | Momentum, Heat, and Vapor Fluxes; Introduction; Definition of the Fluxes; Measuring the Fluxes; Sources of Flux Data; The Regional and Seasonal Variation of the Momentum Flux; The Regional and Seasonal Variation of the Heat Fluxes; Discussion: Accuracy of Flux Estimates and Future Trends; See also; Chapter 11: AIR-SEA INTERACTION | Sea Surface Temperature; Introduction; History of SST Measurements and Applications; Satellite SST; SST Climatology"]
[{"$nulls":4},"Skin SST"]
[null,null,null,"Sommario/riassunto","This authoritative resource covers all aspects of atmospheric sciences-including both theory and applications. Nearly 350 articles and over 1,900 figures and photographs are presented, many in full-color. The Encyclopedia is an ideal resource for academia, government, and industry in the fields of atmospheric, ocean, and environmental sciences. It is written at a level that allows undergraduate students to understand the material, while providing active researchers with the latest information in the field. The Encyclopedia of Atmospheric Sciences has been developed alongside the award-winning"]