{"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":32,"n_cols":5,"rows_kept":32,"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],[7,2,7,3],[8,2,8,3],[9,2,9,3],[10,2,10,3],[15,2,15,3],[16,2,16,3],[20,2,20,3],[22,2,22,3],[22,4,22,5],[23,2,23,3],[23,4,23,5],[24,2,24,3],[24,4,24,5],[25,2,25,3],[26,2,26,3],[27,2,27,3],[28,2,28,3],[29,2,29,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910781757703321"]
[null,null,"Titolo",null,"Software and systems safety [[electronic resource] ] : specification and verification / / edited by Manfred Broy, Christian Leuxner and Tony Hoare"]
[null,null,"Pubbl/distr/stampa",null,"Amsterdam, The Netherlands, : IOS Press, 2011"]
[null,null,"ISBN",null,"6613289604"]
[{"$nulls":4},"1-283-28960-1"]
[{"$nulls":4},"9786613289605"]
[{"$nulls":4},"1-60750-711-0"]
[null,null,"Descrizione fisica",null,"1 online resource (296 p.)"]
[null,null,"Collana",null,"NATO science for peace and security series. Sub-series D, Information and communication security, , 1874-6268 ; ; v. 30"]
[null,null,"Disciplina",null,"005.10289"]
[null,null,"Soggetti",null,"Software protection"]
[{"$nulls":4},"Computer software - Reliability"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Computer security"]
[{"$nulls":4},"System safety"]
[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 indexes."]
[null,null,"Nota di contenuto",null,"Title; Preface; Contents; Model-Based Testing; Towards a Theory of Architectural Contracts: Schemes and Patterns of Assumption/Promise Based System Specification; Engineering Evolving and Self-Adaptive Systems: An Overview; Formal Verification; Requirements Models for Critical Systems; From Concurrency Models to Numbers: Performance and Dependability; Unifying Models of Data Flow; Model-Based Verification and Analysis for Real-Time Systems; Model Checking; Subject Index; Author Index"]
[null,null,null,"Sommario/riassunto","Information security depends upon an understanding of the functionality of software systems. Customers and information can only be protected from attack if this functionality is guaranteed to be correct and safe. A scientific foundation of software engineering not only provides models enabling the capture of application domains and requirements, but also ensures an understanding of the structure and working of software systems, architectures and programs. This book presents contributions based on the lectures delivered at the 31st International Summer School: Software and Systems Safety: Speci"]
[null,"2.","Record Nr.",null,"UNINA9910163943503321"]
[null,null,"Autore",null,"Shapiro Francine"]
[null,null,"Titolo",null,"EMDR : the breakthrough therapy for overcoming anxiety, stress, and trauma / / Francine Shapiro, PhD and Margot Silk Forrest"]
[null,null,"Pubbl/distr/stampa",null,"Basic Books"]
[null,null,"Disciplina",null,"616.85/210651"]
[null,null,"Soggetti",null,"Eye movement desensitization and reprocessing"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Sommario/riassunto","When EMDR was first published in 1997, it was hailed as the most important method to emerge in psychotherapy in decades. In the twenty years since, Eye Movement Desensitization and Reprocessing (EMDR) therapy has successfully treated psychological problems for millions of sufferers worldwide. In this updated edition, Francine Shapiro offers a new introduction that presents the latest applications of this remarkable therapy, as well as new scientific data demonstrating its efficacy. Drawing on the experiences of thousands of clinicians as well as a vast research literature on depression, addiction, PTSD, and other disorders, she explains how life experiences are physically stored in our brains, making us feel and act in harmful ways, and how EMDR therapy can bring relief, often in a remarkably short period of time. Applicable to survivors of trauma as well as people suffering from phobias and other experience-based disorders, EMDR is essential reading for anyone who seeks to understand why we hurt, how we heal, and how we get better."]