{"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":57,"n_cols":5,"rows_kept":57,"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],[10,2,10,3],[10,4,10,5],[11,2,11,3],[11,4,11,5],[12,2,12,3],[12,4,12,5],[13,2,13,3],[15,2,15,3],[16,2,16,3],[17,2,17,3],[18,2,18,3],[19,2,19,3],[20,2,20,3],[29,2,29,3],[30,2,30,3],[32,2,32,3],[35,2,35,3],[35,4,35,5],[36,2,36,3],[36,4,36,5],[37,2,37,3],[37,4,37,5],[38,2,38,3],[39,2,39,3],[43,2,43,3],[44,2,44,3],[45,2,45,3],[49,2,49,3],[50,2,50,3],[54,2,54,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNICAMPANIASUN0003554"]
[null,null,"Autore",null,"Fanchiotti, Vittorio"]
[null,null,"Titolo",null,"Lineamenti del processo penale statunitense : corso di lezioni / Vittorio Fanchiotti"]
[null,null,"Pubbl/distr/stampa",null,"Torino : Giappichelli, stampa 1987"]
[null,null,"Descrizione fisica",null,"177 p. ; 25 cm."]
[null,null,"Disciplina",null,"345.7307"]
[null,null,"Soggetti",null,"Processo penale - Stati Uniti d'America"]
[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,"UNISA996465583103316"]
[null,null,"Autore",null,"Ralf Küsters"]
[null,null,"Titolo",null,"Principles of Security and Trust [[electronic resource] ] : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / / edited by Lujo Bauer, Ralf Küsters"]
[null,null,"Pubbl/distr/stampa",null,"Springer Nature, 2018"]
[{"$nulls":4},"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018"]
[null,null,"ISBN",null,"3-319-89722-5"]
[null,null,"Edizione",null,"[1st ed. 2018.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XIV, 347 p. 85 illus.)"]
[null,null,"Collana",null,"Security and Cryptology ; ; 10804"]
[null,null,"Disciplina",null,"005.8"]
[null,null,"Soggetti",null,"Computer security"]
[{"$nulls":4},"Computers"]
[{"$nulls":4},"Data structures (Computer science)"]
[{"$nulls":4},"Computer system failures"]
[{"$nulls":4},"Systems and Data Security"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Computing Milieux"]
[{"$nulls":4},"Data Structures and Information Theory"]
[{"$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,"Information Flow and Non-Intereference -- What's the Over/Under? Probabilistic Bounds on Information Leakage -- Secure Information Release in Timed Automata -- Compositional Non-Interference for Concurrent Programs via Separation and Framing -- The Meaning of Memory Safety -- Leakage, Information Flow, and Protocols -- Formal Verification of Integrity Preserving Countermeasures Against Cache Storage -- Leakage and Protocol Composition in a Game-theoretic Perspective -- Equivalence Properties by Typing in Cryptographic Branching Protocols -- Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience -- Smart Contracts and Privacy -- SoK: Unraveling Bitcoin Smart Contracts -- A Semantic Framework for the Security Analysis of Ethereum Smart Contracts -- Tool Demonstration: FSolidM for "]
[{"$nulls":4},"Designing Secure Ethereum Smart Contracts -- UniTraX: Protecting Data Privacy with Discoverable Biases -- Firewalls and Attack-Defense Trees -- Transcompiling Firewalls -- On Quantitative Analysis of Attack-Defense Trees with Repeated Labels."]
[null,null,null,"Sommario/riassunto","This book is Open Access under a CC BY licence."]
[null,"3.","Record Nr.",null,"UNINA9910784670303321"]
[null,null,"Autore",null,"Thayer Robert E"]
[null,null,"Titolo",null,"Calm energy [[electronic resource] ] : how people regulate mood with food and exercise / / Robert E. Thayer"]
[null,null,"Pubbl/distr/stampa",null,"Oxford ; New York, : Oxford University Press, 2003"]
[null,null,"ISBN",null,"0-19-988102-2"]
[{"$nulls":4},"1-280-53381-1"]
[{"$nulls":4},"0-19-803023-1"]
[{"$nulls":4},"1-60256-693-3"]
[null,null,"Descrizione fisica",null,"xi, 274 p. : ill"]
[null,null,"Disciplina",null,"616.89"]
[null,null,"Soggetti",null,"Exercise - Psychological aspects"]
[{"$nulls":4},"Mental health - Nutritional aspects"]
[{"$nulls":4},"Mood (Psychology)"]
[{"$nulls":4},"Nutrition - Psychological aspects"]
[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","\"First issued as an Oxford University Press paperback, 2003.\""]
[null,null,null,"Nota di bibliografia","Includes bibliographical references (p. 235-254) and index."]
[null,null,"Nota di contenuto",null,"; ch. 1. Mood, self-regulation, and overeating -- ; ch. 2. Living in a stressful world : mood and overweight -- ; ch. 3. How are exercise and mood related? -- ; ch. 4. emotional eating -- ; ch. 5. Mood pleasure : food versus exercise -- ; ch. 6. Why do we have moods? -- ; ch. 7. Changes in energy and mood -- ; ch. 8. The biopsychology of energy and tension -- ; ch. 9. Managing your mood."]
[null,null,null,"Sommario/riassunto","Obesity is reaching alarming proportions. In this insightful new approach to understanding why this is happening, acclaimed mood scientist Robert Thayer offers a new appreciation of the real cause--emotional eating. But this is not just emotional eating as previously known; rather it is a new scientific analysis of exactly how different moods affect eating. He shows how unprecedented stress in society and epidemic levels of depression have led people to food as a poor means of managing mood. In this original approach, Thayer describes how people's daily energy and tension variations occur, and how this knowledge helps overcome the urge to eat the wrong food and to achieve the goal of calm energy. Also, in this most up-to-date scientific analysis of exercise and mood, he shows how physical activity is essential to psychological and physical health, yet why it is resisted. Thayer's work has been discussed in hundreds of magazine and "]
[{"$nulls":4},"newspaper articles, and here he outlines in detail the cutting-edge theories and scientific research findings that have generated this extensive media attention."]