{"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":73,"n_cols":5,"rows_kept":73,"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],[8,2,8,3],[9,2,9,3],[10,2,10,3],[12,2,12,3],[17,2,17,3],[18,2,18,3],[21,2,21,3],[25,2,25,3],[25,4,25,5],[26,2,26,3],[26,4,26,5],[27,2,27,3],[28,2,28,3],[32,2,32,3],[33,2,33,3],[34,2,34,3],[35,2,35,3],[38,2,38,3],[39,2,39,3],[43,2,43,3],[48,2,48,3],[48,4,48,5],[49,2,49,3],[49,4,49,5],[50,2,50,3],[51,2,51,3],[52,2,52,3],[53,2,53,3],[54,2,54,3],[55,2,55,3],[56,2,56,3],[65,2,65,3],[66,2,66,3],[70,2,70,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910454052703321"]
[null,null,"Autore",null,"Agras W. Stewart"]
[null,null,"Titolo",null,"Overcoming your eating disorder [[electronic resource] ] : a cognitive-behavioral treatment for bulimia nervosa and binge-eating disorder Guided self-help workbook / / W. Stewart Agras, Robin F. Apple"]
[null,null,"Pubbl/distr/stampa",null,"New York, : Oxford University Press, 2008"]
[null,null,"ISBN",null,"0-19-023044-4"]
[{"$nulls":4},"1-281-34229-7"]
[{"$nulls":4},"9786611342296"]
[{"$nulls":4},"0-19-971517-3"]
[null,null,"Descrizione fisica",null,"1 online resource (109 p.)"]
[null,null,"Collana",null,"Treatments that work"]
[null,null,"Disciplina",null,"362.1968526"]
[{"$nulls":4},"616.8526"]
[null,null,"Soggetti",null,"Eating disorders - Patients - Rehabilitation"]
[{"$nulls":4},"Eating disorders - Treatment"]
[{"$nulls":4},"Bulimia - Treatment"]
[{"$nulls":4},"Compulsive eating"]
[{"$nulls":4},"Electronic books."]
[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,"Nota di contenuto",null,"Contents; Information About Bulimia Nervosa, Binge-Eating Disorder, and This Treatment Program; Chapter 1 Introduction; Chapter 2 Binge Eating and Purging; Chapter 3 Health Effects of Binge Eating and Purging; Chapter 4 Treatments for Binge Eating and Purging; Chapter 5 Evidence for the Effectiveness of Guided Self-Help; A Step-by-Step Approach to Treatment; Chapter 6 An Assessment of Your Eating Problems: Is It Time to Begin Treatment?; Chapter 7 Understanding and Applying the CBT Model; Chapter 8 Using Daily Food Records to Monitor Eating"]
[{"$nulls":4},"Chapter 9 Establishing a Regular Pattern of Eating Plus Weekly WeighingChapter 10 Feared and Problem Foods; Chapter 11 Body-Image Concerns; Chapter 12 Handling Intense Moods and Emotions; Chapter 13 Working Through Problem Situations and Thoughts; Chapter 14 Handling Challenging People; Chapter 15 Preventing Relapse and Maintaining Change; About the Authors"]
[null,null,null,"Sommario/riassunto","Cognitive-Behavioral Therapy (CBT) has been proven effective for "]
[{"$nulls":4},"treating Bulimia Nervosa and Binge Eating Disorder. However, this type of program requires at least 6 months of weekly sessions with a qualified mental health professional. If you suffer from an eating disorder and want to get treatment, but have little time to devote to therapy, a shorter, time-limited program may be right for you. This workbook outlines a Guided Self-Help (GSH) program based on the principles of CBT. Although sessions with a therapist or clinician are required, there are usually no more than 12 and each one is"]
[null,"2.","Record Nr.",null,"UNINA9910455411903321"]
[null,null,"Titolo",null,"Biological foundations and origin of syntax [[electronic resource] /] / edited by Derek Bickerton and Eörs Szathmáry"]
[null,null,"Pubbl/distr/stampa",null,"Cambridge, MA, : MIT Press, 2009"]
[null,null,"ISBN",null,"0-262-29379-X"]
[{"$nulls":4},"1-282-69428-6"]
[{"$nulls":4},"9786612694288"]
[{"$nulls":4},"0-262-25858-7"]
[null,null,"Descrizione fisica",null,"1 online resource (491 p.)"]
[null,null,"Collana",null,"Strüngmann Forum reports"]
[null,null,"Disciplina",null,"612.8/2336"]
[null,null,"Soggetti",null,"Grammar, Comparative and general - Syntax"]
[{"$nulls":4},"Biolinguistics"]
[{"$nulls":4},"Electronic books."]
[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","Forum held July 13-18, 2008, in Frankfurt, Germany."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Contents; The Ernst Strüngmann Forum; List of Contributors; Preface; Background; 1 Syntax for Non-syntacticians; 2 The Biological Background of Syntax Evolution; 3 Functional Neuroimaging and the Logic of Brain Operations; Syntactics; 4 Some Elements of Syntactic Computations; 5 The Adaptive Approach to Grammar; 6 Fundamental Syntactic Phenomena and Their Putative Relation to the Brain; 7 What Kinds of Syntactic Phenomena Must Biologists, Neurobiologists, and Computer Scientists Try to Explain and Replicate?; Evolution; 8 Possible Precursors of Syntactic Components in Other Species"]
[{"$nulls":4},"9 What Can Developmental Language Impairment Tell Us about the Genetic Bases of Syntax?10 What Are the Possible Biological and Genetic Foundations for Syntactic Phenomena?; Brain; 11 Brain Circuits of Syntax; 12 Neural Organization for Syntactic Processing as Determined by Effects of Lesions; 13 Reflections on the Neurobiology of Syntax; 14 What Are the Brain Mechanisms Underlying Syntactic Operations?; Modeling; 15 Syntax as an Adaptation to the Learner; 16 Cognition and Social Dynamics Play a Major Role in the Formation of Grammar"]
[{"$nulls":4},"17 What Can Formal or Computational Models Tell Us about How (Much) Language Shaped the Brain?18 What Can Mathematical, Computational, and Robotic Models Tell Us about the Origins of "]
[{"$nulls":4},"Syntax?; Glossary; Bibliography; Subject Index"]
[null,null,null,"Sommario/riassunto","Interdisciplinary perspectives on the evolutionary & biological roots of syntax, describing current research on syntax in fields ranging from linguistics to neurology."]
[null,"3.","Record Nr.",null,"UNINA9910144213403321"]
[null,null,"Titolo",null,"Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings / / edited by Jin Song Dong, Jim Woodcock"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003"]
[null,null,"ISBN",null,"3-540-39893-7"]
[null,null,"Edizione",null,"[1st ed. 2003.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XI, 682 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 2885"]
[null,null,"Disciplina",null,"005.13/1"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Programming languages (Electronic computers)"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Logic, Symbolic and mathematical"]
[{"$nulls":4},"Software Engineering/Programming and Operating Systems"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[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 at the end of each chapters and index."]
[null,null,"Nota di contenuto",null,"Invited Talks -- Programs as Paths: An Approach to Timing Constraint Analysis -- Model Based Code Verification -- Adding Formalism to Methods or Where and When Will Industry Use Formal Reasoning? -- Testing and Validation -- Using Formal Methods to Serialize Synchronization Events -- An AMBA-ARM7 Formal Verification Platform -- Formalization, Testing and Execution of a Use Case Diagram -- Service-Based Systems Engineering: Consistent Combination of Services -- State Diagrams -- Using State Diagrams to Describe Concurrent Behaviour -- The Equivalence of Statecharts -- Generic Interacting State Machines and Their Instantiation with Dynamic Features -- PVS/HOL -- Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language -- Formalising an Integrated Language in PVS -- Refinement -- Modeling SystemC Fixed-Point Arithmetic in HOL -- Adding Action Refinement to Stochastic True "]
[{"$nulls":4},"Concurrency Models -- Incremental Derivation of Abstraction Relations for Data Refinement -- Comparison of Data and Process Refinement -- Compilation by Refinement for a Practical Assembly Language -- Hybrid Systems -- Java Card Code Generation from B Specifications -- Efficient Path Finding with the Sweep-Line Method Using External Storage -- Formal Development of a Distributed Logging Mechanism Supporting Disconnected Updates -- Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures -- Z/Object-Z -- A Z Based Approach to Verifying Security Protocols -- A Refinement Tool for Z -- The Common Semantic Constructs of XML Family -- Petri Nets -- Controller Synthesis for Object Petri Nets -- Towards a Workflow Model of Real-Time Cooperative Systems -- New Developments in Closed-Form Computation for GSPN Aggregation -- Timed Automata -- On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata -- Analyzing the Redesign of a Distributed Lift System in UPPAAL -- Verification of Timeliness QoS Properties in Multimedia Systems -- System Modeling and Checking -- A Calculus for Set-Based Program Development -- Compositional Verification of a Switch Fabric from Nortel Networks -- Constraint-Based Model Checking of Data-Independent Systems -- A Formal Model for the Block Device Subsystem of the Linux Kernel -- Semantics and Synthesis -- A Mathematical Framework for Safecharts -- A Relational Model for Formal Object-Oriented Requirement Analysis in UML -- From Specification to Hardware Device: A Synthesis Algorithm."]
[null,null,null,"Sommario/riassunto","This volume contains the proceedings of the 2003 International Conference on Formal Engineering Methods (ICFEM 2003). The conference was the ?fth in a series that began in 1997. ICFEM 2003 was held in Singapore during 5–7 November 2003. ICFEM 2003 aimed to bring together researchers and practitioners from - dustry, academia, and government to advance the state of the art in formal engineering methods and to encourage a wider uptake of formal methods in industry. The Program Committee received 91 submissions from more than 20 co- tries in various regions. After each paper was reviewed by at least three referees in each relevant ?eld, 34 high-quality papers were accepted based on originality, technical content, presentation and relevance to formal methods and software engineering. We wish to sincerely thank all authors who submitted their work for consideration. We would also like to thank the Program Committee members and other reviewers for their great e?orts in the reviewing and selecting process. Weareindebtedtothethreekeynotespeakers,Prof.IanHayesoftheUniv- sity of Queensland, Prof. Mathai Joseph of the Tata Research, Development and DesignCentre,andDr.ColinO’HalloranofQinetiQ,foracceptingourinvitation to address the conference."]