{"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":66,"n_cols":5,"rows_kept":66,"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],[7,2,7,3],[8,2,8,3],[9,2,9,3],[10,2,10,3],[11,2,11,3],[13,2,13,3],[13,4,13,5],[14,2,14,3],[14,4,14,5],[15,2,15,3],[16,2,16,3],[23,2,23,3],[24,2,24,3],[25,2,25,3],[28,2,28,3],[29,2,29,3],[33,2,33,3],[41,2,41,3],[41,4,41,5],[42,2,42,3],[42,4,42,5],[43,2,43,3],[44,2,44,3],[45,2,45,3],[46,2,46,3],[47,2,47,3],[48,2,48,3],[49,2,49,3],[60,2,60,3],[61,2,61,3],[63,2,63,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA990009804890403321"]
[null,null,"Autore",null,"Angiolelli, Daniele"]
[null,null,"Titolo",null,"Il sistema informativo come matrice del controllo interno negli enti locali / Daniele Angiolelli"]
[null,null,"Pubbl/distr/stampa",null,"Roma : Aracne, 2012"]
[null,null,"ISBN",null,"978-88-548-5401-7"]
[null,null,"Descrizione fisica",null,"198 p. ; 21 cm"]
[null,null,"Collana",null,"Area 13 , Scienze economiche e statistiche"]
[null,null,"Disciplina",null,"352.342140945"]
[null,null,"Locazione",null,"FSPBC"]
[null,null,"Collocazione",null,"VI H 825"]
[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,"UNINA9910782199703321"]
[null,null,"Titolo",null,"Rethinking water management : innovative approaches to contemporary issues / / edited by Caroline M. Figueres, Cecilia Tortajada and Johan Rockstrom"]
[null,null,"Pubbl/distr/stampa",null,"London ; ; Sterling, Va. : , : Earthscan Publications, , 2003"]
[null,null,"ISBN",null,"600-00-0282-3"]
[{"$nulls":4},"9786610476442"]
[{"$nulls":4},"1-4175-2243-7"]
[{"$nulls":4},"1-136-55825-X"]
[{"$nulls":4},"1-136-55826-8"]
[{"$nulls":4},"1-280-47644-3"]
[{"$nulls":4},"1-84977-240-1"]
[null,null,"Descrizione fisica",null,"1 online resource (256 p.)"]
[null,null,"Disciplina",null,"333.91"]
[null,null,"Soggetti",null,"Water-supply - Management"]
[{"$nulls":4},"Water resources development - Government policy"]
[{"$nulls":4},"Water-supply - Management - International cooperation"]
[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; Rethinking Water Management; Copyright; Contents; List of figures, tables and boxes; About the contributors; Foreword by Asit K Biswas; List of acronyms and abbreviations; 1. Introduction; 2. Rethinking development paradigms for the water sector; Introduction; Sustainable development; Environmental sustainability of water projects; Case study of Mexico; Conclusions; References; 3. Global and local agendas in water management: From vision to action; Introduction; Global-local agendas in water management: Theory and practice; Research questions"]
[{"$nulls":4},"Recommended actions: New regionalism for water management in the Middle EastConclusions; References; 4. Balancing between the eternal yesterday and the eternal tomorrow: Economic globalization, water and equity; Introduction; The different aspects of globalization; Economic globalization and water; Conclusions and recommendations; Notes; References; 5. Managing rain for the future; Introduction; Water and food security: Sorting out the facts; Making more food with the same "]
[{"$nulls":4},"rainfall; Win-win solutions based on integrated rain management; Conclusions; Notes; References"]
[{"$nulls":4},"6. Recycling and reuse of 'derivative water' under conditions of scarcity and competitionIntroduction; Bridging the scarcity divide: Recycling secondary or 'derivative' water; Management and policy options for effluent irrigation; Case descriptions of planned and unplanned reuse; Conclusions: Next generation issues for derivative water use; Notes; References; 7. Rethinking groundwater management; Introduction; Detrimental impacts of groundwater non-management; A shift in groundwater management approaches: Towards providing incentives for more sustainable use; Conclusions; Notes; References"]
[{"$nulls":4},"8. Water rights and their management: A comparative country study and its implication for ChinaIntroduction; Legal and economic aspects of property rights; Water resources as common pool resources; Typical water rights assignments and their characteristics; Water rights reform in China: Theoretical and practical explorations towards efficient water resources management; Conclusions; Notes; References; 9. The present and future of transboundary water management; Introduction; The transboundary freshwater dispute database; International institutions and indicators of conflict"]
[{"$nulls":4},"Baskets of benefitsWhy might the future look nothing like the past?; Conclusion: What types of policy recommendations can one make?; Notes; References; 10. Forgetting political boundaries in identifying water development potentials in the basin-wide approach: The Ganges-Bhahmaputra- Meghna issues; Introduction; Regional water-based development context; Regional water-resource utilization issues; Regional water-based development potentials; Broad-based conclusions and recommendations; Notes; References; 11. Let's pump money in the water sector!; Introduction; Today's four major challenges"]
[{"$nulls":4},"Suggested actions to improve the situation"]
[null,null,null,"Sommario/riassunto","If water resources are to be distributed efficiently, equitably and cost-effectively in this rapidly changing world, then it is clear that current water management practices are no longer feasible. Innovative approaches are required to meet the increasing water demands of a growing world population and economy and the needs of the ecosystems supporting them. New approaches have to be employed at global, national and local levels. In Rethinking Water Management, a new generation of water experts from around the world examine the critical challenges confronting the water profession, including ra"]
[null,"3.","Record Nr.",null,"UNINA9910349277503321"]
[null,null,"Titolo",null,"Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings / / edited by Fabrizio Biondi, Thomas Given-Wilson, Axel Legay"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019"]
[null,null,"ISBN",null,"3-030-30923-1"]
[null,null,"Edizione",null,"[1st ed. 2019.]"]
[null,null,"Descrizione fisica",null,"1 online resource (X, 261 p. 605 illus., 41 illus. in color.)"]
[null,null,"Collana",null,"Theoretical Computer Science and General Issues, , 2512-2029 ; ; 11636"]
[null,null,"Disciplina",null,"005.14"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Algorithms"]
[{"$nulls":4},"Machine theory"]
[{"$nulls":4},"Computer simulation"]
[{"$nulls":4},"Electronic digital computers - Evaluation"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Computer Science Logic and Foundations of Programming"]
[{"$nulls":4},"Formal Languages and Automata Theory"]
[{"$nulls":4},"Computer Modelling"]
[{"$nulls":4},"System Performance and Evaluation"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"Model Veriﬁcation Through Dependency Graphs -- Model Checking Branching Time Properties for Incomplete Markov Chains -- A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table -- From Dynamic State Machines to Promela -- String abstraction for model checking of C programs -- Swarm Model Checking on the GPU -- Statistical Model Checking of Complex Robotic Systems -- STAD: Stack Trace Based Automatic Software Misconﬁguration Diagnosis via Value Dependency Graph -- Extracting Safe Thread Schedules from Incomplete Model Checking Results -- Learning Guided Enumerative Synthesis for Superoptimization -- Applying Model Checking Approach with Floating Point Arithmetic -- Conformance Testing of Schedulers for DSL-based Model Checking -- A Study of Learning Data Structure Invariants Using Oﬀ-the-shelf Tools -- "]
[{"$nulls":4},"VeriVANca: An Actor-Based Framework for Formal Veriﬁcation of Warning Message Dissemination Schemes in VANETs."]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019. The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more. ."]