{"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":45,"n_cols":5,"rows_kept":45,"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],[8,2,8,3],[19,2,19,3],[20,2,20,3],[23,2,23,3],[26,2,26,3],[26,4,26,5],[27,2,27,3],[27,4,27,5],[28,2,28,3],[28,4,28,5],[29,2,29,3],[31,2,31,3],[33,2,33,3],[34,2,34,3],[35,2,35,3],[36,2,36,3],[39,2,39,3],[40,2,40,3],[43,2,43,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996465989903316"]
[null,null,"Titolo",null,"Formal Methods for Components and Objects [[electronic resource] ] : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers / / edited by Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013"]
[null,null,"ISBN",null,"3-642-35887-X"]
[null,null,"Edizione",null,"[1st ed. 2013.]"]
[null,null,"Descrizione fisica",null,"1 online resource (X, 356 p. 129 illus.)"]
[null,null,"Collana",null,"Programming and Software Engineering ; ; 7542"]
[null,null,"Disciplina",null,"004.01/51"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Programming languages (Electronic computers)"]
[{"$nulls":4},"Operating systems (Computers)"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Application software"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[{"$nulls":4},"Operating Systems"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Software Engineering/Programming and Operating Systems"]
[{"$nulls":4},"Information Systems Applications (incl. Internet)"]
[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","Includes author index."]
[null,null,"Nota di contenuto",null,"The ASCENS Project -- ASCENS: Engineering Autonomic Service-Component Ensembles -- A Language-Based Approach to Autonomic Computing -- A Survey on Basic Connectors and Buffers -- The EternalS Coordination Action -- Synthesis-Based Variability Control: Correctness by Construction -- Modeling Application-Level Management of Virtualized Resources in ABS -- HATS Abstract Behavioral Specification: The Architectural View -- Automatic Service Categorisation through Machine Learning in Emergent Middleware -- Towards a Model- and Learning-Based Framework for Security Anomaly Detection -- Enhancing Model Driven Security through Pattern Refinement Techniques -- Project Zeppelin: A Modern Web Application Development Framework -- The ParaPhrase Project -- Managing "]
[{"$nulls":4},"Adaptivity in Parallel Systems -- The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems -- Paraphrasing: Generating Parallel Programs Using Refactoring -- An Abstract Annotation Model for Skeletons -- The PRO3D Project -- PRO3D, Programming for Future 3D Manycore Architectures: Project Interim Status -- Thermal-Aware Task Assignment for Real-Time Applications on Multi-Core Systems -- Component Assemblies in the Context of Manycore -- Low-Cost Dynamic Voltage and Frequency Management Based upon Robust Control Techniques under Thermal Constraints."]
[null,null,null,"Sommario/riassunto","Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large systems requires more emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java. This book contains 20 revised papers submitted after the 10th Symposium on Formal Methods for Components and Objects, FMCO 2011, which was held in Turin, Italy, in October 2011. Topics covered include autonomic service-component ensembles; trustworthy eternal systems via evolving software, data, and knowledge; parallel patterns for adaptive heterogeneous multicore systems; programming for future 3D architectures with many cores; formal verification of object oriented software; and an infrastructure for reliable computer systems."]
[null,"2.","Record Nr.",null,"UNINA9910811580303321"]
[null,null,"Autore",null,"Uhrig Peter"]
[null,null,"Titolo",null,"Subjects in English : from valency grammar to a constructionist treatment of non-canonical subjects / / Peter Uhrig"]
[null,null,"Pubbl/distr/stampa",null,"Berlin ; ; Boston : , : De Gruyter Mouton, , [2018]"]
[{"$nulls":4},"©2018"]
[null,null,"ISBN",null,"3-11-058728-9"]
[{"$nulls":4},"3-11-058980-X"]
[null,null,"Descrizione fisica",null,"1 online resource (370 pages) : illustrations"]
[null,null,"Collana",null,"Trends in Linguistics. Studies and Monographs [TiLSM] ; ; 321"]
[null,null,"Disciplina",null,"425.54"]
[null,null,"Soggetti",null,"English language - Noun phrase"]
[{"$nulls":4},"English language - Clauses"]
[{"$nulls":4},"English language - Dependency grammar"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Frontmatter -- Preface -- Contents -- Abbreviations, symbols and frequently used labels -- List of Figures -- List of Tables -- 1. Introduction -- 2. Theory -- 3. Methodological Considerations -- 4. Clausal Subjects in active clauses -- 5. Analysis of subjects in passive clauses -- 6. Analysis of subjects in copular clauses -- 7. Extraposition -- 8. Existentials -- 9. Conclusions and perspectives for syntactic models -- References -- Index"]
[null,null,null,"Sommario/riassunto","The purpose of the book is twofold. First it tries to give a descriptive account of subjects in English. The second aim is to elucidate the status of the subject both as a concept in grammatical theory and with regard to the question whether the subject is determined by item-specific arbitrary formal restrictions in the same way as postverbal complements of the verb have been shown to be."]