{"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":61,"n_cols":5,"rows_kept":61,"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],[10,2,10,3],[11,2,11,3],[25,2,25,3],[26,2,26,3],[30,2,30,3],[32,2,32,3],[32,4,32,5],[33,2,33,3],[33,4,33,5],[34,2,34,3],[34,4,34,5],[35,2,35,3],[36,2,36,3],[37,2,37,3],[38,2,38,3],[39,2,39,3],[41,2,41,3],[41,4,41,5],[42,2,42,3],[42,4,42,5],[43,2,43,3],[43,4,43,5],[44,2,44,3],[45,2,45,3],[47,2,47,3],[48,2,48,3],[49,2,49,3],[50,2,50,3],[54,2,54,3],[55,2,55,3],[57,2,57,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996465300203316"]
[null,null,"Titolo",null,"Runtime Verification [[electronic resource] ] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers / / edited by Saddek Bensalem, Doron A. Peled"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009"]
[null,null,"ISBN",null,"3-642-04694-0"]
[null,null,"Edizione",null,"[1st ed. 2009.]"]
[null,null,"Descrizione fisica",null,"1 online resource (VII, 203 p.)"]
[null,null,"Collana",null,"Programming and Software Engineering ; ; 5779"]
[null,null,"Classificazione",null,"DAT 263f"]
[{"$nulls":4},"DAT 325f"]
[{"$nulls":4},"SS 4800"]
[null,null,"Disciplina",null,"005.1/17"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Computers"]
[{"$nulls":4},"Computer software—Reusability"]
[{"$nulls":4},"Programming languages (Electronic computers)"]
[{"$nulls":4},"Computer system failures"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Software Engineering/Programming and Operating Systems"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Performance and Reliability"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[{"$nulls":4},"System Performance and Evaluation"]
[{"$nulls":4},"Grenobble (2009)"]
[{"$nulls":4},"Grenoble (2009)"]
[{"$nulls":4},"Kongress."]
[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 and index."]
[null,null,"Nota di contenuto",null,"Rule Systems for Runtime Verification: A Short Tutorial -- Verification, Testing and Statistics -- Type-Separated Bytecode – Its Construction and Evaluation -- Runtime Verification of Safety-Progress Properties -- Monitor Circuits for LTL with Bounded and Unbounded Future -- State Joining and Splitting for the Symbolic Execution of Binaries -- The LIME Interface Specification Language and Runtime Monitoring Tool -- A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis "]
[{"$nulls":4},"and Runtime Healing -- Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming -- Runtime Verification of C Memory Safety -- A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis -- Hardware Supported Flexible Monitoring: Early Results -- DMaC: Distributed Monitoring and Checking."]
[null,"2.","Record Nr.",null,"UNIORUON00065436"]
[null,null,"Autore",null,"POTEMKIN, Jurij Vasil'evic"]
[null,null,"Titolo",null,"Alzir : problemy razvitija : (Opyt nacional'no-demokraticeskoj revoljucii) / Jurii Vasil'evic Potemkin"]
[null,null,"Pubbl/distr/stampa",null,"Moskva, : Akademija nauk, 1978"]
[null,null,"Descrizione fisica",null,"212 p. ; 22 cm"]
[null,null,"Classificazione",null,"ALG IV"]
[null,null,"Lingua di pubblicazione",null,"Russo"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"3.","Record Nr.",null,"UNINA9910898657003321"]
[null,null,"Autore",null,"Fusco Girard Luigi <1946->"]
[null,null,"Titolo",null,"Adaptive Reuse of Cultural Heritage : Circular Business, Financial and Governance Models / / edited by Luigi Fusco Girard, Antonia Gravagnuolo"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2025"]
[null,null,"ISBN",null,"9783031676284"]
[{"$nulls":4},"3031676289"]
[null,null,"Edizione",null,"[1st ed. 2025.]"]
[null,null,"Descrizione fisica",null,"1 online resource (581 pages)"]
[null,null,"Disciplina",null,"363.69"]
[null,null,"Soggetti",null,"Cultural property"]
[{"$nulls":4},"Sustainability"]
[{"$nulls":4},"Archaeology"]
[{"$nulls":4},"Cultural Heritage"]
[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,"Part 1. Introduction -- Chapter 1. CLIC EU Horizon2020 R&I Project: Circular models leveraging investments in cultural heritage adaptive reuse (Luigi Fusco Girard, Antonia Gravagnuolo) -- Part 2: Theoretical Foundations -- Chapter 2. The circular “human-centred” adaptive reuse of cultural heritage: theoretical foundations (Luigi Fusco Girard) -- Chapter 3. Intangible Matters: cultural heritage as a driver for circular economy (Authors: Marco Acri, Xavier Greffe, Saša Dobričić) -- Chapter 4. The Intimate Circular Dimension of Heritage Conservation and Historic Urban Landscape (Saša Dobricic, Marco Acri, Jukka Jokilehto) -- Part 3: Practices, experimentations and tools for the adaptive reuse of cultural heritage in the perspective of the circular economy model: evaluation tools -- Chapter 5. In search of a circular model for cultural heritage adaptive reuse: building evidence-base (Antonia Gravagnuolo, Gabriella Monteleone, Luigi Fusco Girard) -- Chapter 6. A statistical model representation and analysis of cultural heritage adaptive reuse practices based on latent variables for circularity assessment (Natale Carlo Lauro, Antonia Gravagnuolo, Luigi Fusco Girard, Immacolata Vellecco, Maurizio Lauro) -- Chapter 7. Understanding best practices of cultural heritage adaptive reuse in the perspective of the circular economy: in-depth assessment of case studies (Francesca Buglione, "]
[{"$nulls":4},"Antonia Gravagnuolo, Mariarosaria Angrisano, Silvia Iodice, Martina Bosone, Pasquale De Toro, Luigi Fusco Girard) -- Chapter 8. The CLIC multidimensional impacts assessment framework: criteria and indicators for circular “human-centred” adaptive reuse of cultural heritage (Antonia Gravagnuolo, Martina Bosone, Luigi Fusco Girard) -- Chapter 9. A multicriteria and multi-scalar Decision Support System to implement circular economy in cultural heritage adaptive reuse (Simona Panaro, Salvatore Greco, Alessio Ishizaka) -- Chapter 10. Social Sustainability Framework for measuring socio-cultural impacts of cultural heritage adaptive reuse (Agata Żbikowska, Magdalena Roszczyńska-Kurasińska, Bartosz Ślosarski, Anna Domaradzka) -- Chapter 11. Grassroots Social Sustainability Framework and Intrinsic Value measures for cultural heritage adaptive reuse projects (Anna Domaradzka, Magdalena Roszczyńska-Kurasińska) -- Chapter 12. Multidimensional Spillovers of Cultural Heritage through Regional Development and Circular Economy (Christer Gustafsson, Jermina Stanojev) -- Chapter 13. Towards participatory, dynamic, co-evolutionary evaluation for circular adaptive reuse of cultural heritage: the experimentation of Salerno Circular City of Health (Antonia Gravagnuolo, Martina Bosone, Serena Micheletti, Mariarosaria Angrisano, Luigi Fusco Girard) -- Part 4. Barriers, bottlenecks and the need of a new governance -- Chapter 14. Adaptive reuse of cultural heritage: barrier assessment and policy-related recommendations (Deniz Ikiz Kaya, Nadia Pintossi, Caroline A.M. Koot) -- Chapter 15. A New Approach for Cultural Heritage Adaptive Reuse: Circular Governance (Cristina Garzillo, Allison Wildman, Intza Balenciaga, Ane Izulain) -- Part 5. Circular Business Models and Financial Instruments -- Chapter 16. Circular business model for cultural heritage adaptive reuse. An iterative journey (Ruba Saleh, Christian Ost) -- Chapter 17. Business Models for Cultural Heritage Adaptive Reuse (Immacolata Vellecco, Assunta Martone) -- Chapter 18. Key Learnings from the “Kultur-Token” Sustainable Business Modelling Case Study (Gillian Foster) -- Chapter 19. Investment Leverage for Adaptive Reuse of Cultural Heritage (Tracy Pickerill) -- Chapter 20. Circular financing mechanisms for Adaptive Reuse of Cultural Heritage (Aliona Lupu, Ivo Allegro) -- Part 6. Is it possible to incentivise creativity in the cultural heritage entrepreneurial sector? -- Chapter 21. Heritage-led entrepreneurial ecosystems: skills and role of startups and innovation (Antonia Gravagnuolo, Aliona Lupu, Jermina Stanojev, Valeria Catanese) -- Part 6. Conclusions and some Guidelines -- Chapter 22. Conclusions and some guidelines (Luigi Fusco Girard, Antonia Gravagnuolo)."]
[null,null,null,"Sommario/riassunto","This Open Access book addresses the gap in existing knowledge on cultural heritage from a circular economy and sustainable development perspective for cities. It introduces innovative economic, environmental and governance models and evaluation tools tested and validated for adaptive reuse within the “CLIC - Circular models Leveraging Investments in Cultural Heritage Adaptive Reuse” project funded by the European Horizon 2020 Research & Innovation Action Program. The CLIC project is a trans-disciplinary research project bringing together expertise from disciplines such as heritage studies, regeneration and urban development, business management, economics, ecology and social sciences. The research covered in this book, responds to the European Societal Challenge 5 'Climate action, environment, resource efficiency and raw materials', aimed at achieving resource efficient and climate change resilient economy and society through systemic innovation. The CLIC project also unlocks public and private investments in solutions for a more resource efficient, greener and "]
[{"$nulls":4},"more competitive economy as a key part of smart, inclusive and sustainable growth strategy for Europe and worldwide. This book is fundamental key reading for scholars, professionals and policy makers, demonstrating how the adaptive reuse of cultural heritage, in a systemic perspective, has the potential to stimulate growth, sustainable development, social regeneration, welfare, jobs, income, and livability of urban / territorial settings: to implement the circular economy model. It also provides innovative models and a circular toolkit for financing, reusing and managing cultural heritage based on research outcomes and implementation of experimental models in four pilot European territories covered as case studies."]