{"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":43,"n_cols":5,"rows_kept":43,"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],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[10,2,10,3],[11,2,11,3],[15,2,15,3],[18,2,18,3],[18,4,18,5],[19,2,19,3],[19,4,19,5],[20,2,20,3],[20,4,20,5],[21,2,21,3],[23,2,23,3],[24,2,24,3],[25,2,25,3],[26,2,26,3],[27,2,27,3],[28,2,28,3],[29,2,29,3],[31,2,31,3],[34,2,34,3],[34,4,34,5],[35,2,35,3],[35,4,35,5],[36,2,36,3],[36,4,36,5],[37,2,37,3],[38,2,38,3],[39,2,39,3],[40,2,40,3],[41,2,41,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996465489303316"]
[null,null,"Titolo",null,"Quality of software architectures : models and architectures : 4th International Conference on the Quality of Software Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008, proceedings / / Steffen Becker, Frantisek Plasil, Ralf Reussner (editors)"]
[null,null,"Pubbl/distr/stampa",null,"Berlin ; ; Heidelberg : , : Springer, , [2008]"]
[{"$nulls":4},"©2008"]
[null,null,"ISBN",null,"3-540-87879-3"]
[null,null,"Edizione",null,"[1st ed. 2008.]"]
[null,null,"Descrizione fisica",null,"1 online resource (X, 235 p.)"]
[null,null,"Collana",null,"Lecture notes in computer science ; ; 5281"]
[null,null,"Disciplina",null,"005.10685"]
[null,null,"Soggetti",null,"Computer software - Quality control"]
[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,"Keynote -- Rethinking the Use of Models in Software Architecture -- Architectural Design Decisions and Influence on Quality -- Design Reasoning Improves Software Design Quality -- A Tool to Visualize Architectural Design Decisions -- Style-Based Model Transformation for Early Extrafunctional Analysis of Distributed Systems -- Architecture and Components / Reasoning about Components -- Carmen: Software Component Model Checker -- MOSES: MOdeling Software and platform architEcture in UML 2 for Simulation-based performance analysis -- Designing the Enterprise Architecture Function -- Quality Prediction of Service Compositions through Probabilistic Model Checking -- Models and Prediction -- Model-Driven Performance Analysis -- Architectural Specification and Static Analyses of Contractual Application Properties -- Integrating Quality-Attribute Reasoning Frameworks in the ArchE Design Assistant -- Architecture Evaluation Processes -- Middleware Architecture Evaluation for Dependable Self-managing Systems -- Comprehensive Architecture Evaluation and Management in Large Software-Systems -- Sharing the Architectural Knowledge of Quantitative Analysis."]
[null,null,null,"Sommario/riassunto","This book constitutes the thoroughly refereed post-proceedings of the Fourth International Conference on the Quality of Software Architectures, QoSA 2008, held in Medford, MA, USA, in July 2007, in conjunction with the 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2007, and the ROSATEA "]
[{"$nulls":4},"2007 event, investigating the Role of Software Architecture for Testing and Analysis, forming the federated events on Component-Based Software Engineering and Software Architecture, CompArch 2007. The 13 revised full papers presented together with 1 keynote lecture were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on architectural design and architectural decisions, tracing architectural decisions, architecture evaluation, architecture evolution, architecting process and architectural knowledge."]
[null,"2.","Record Nr.",null,"UNISA996466546303316"]
[null,null,"Autore",null,"Rowe David E. <1950->"]
[null,null,"Titolo",null,"Emmy Noether -- mathematician extraordinaire / / David E. Rowe"]
[null,null,"Pubbl/distr/stampa",null,"Cham, Switzerland : , : Springer, , [2021]"]
[{"$nulls":4},"Â©2021"]
[null,null,"ISBN",null,"3-030-63810-3"]
[null,null,"Edizione",null,"[1st ed. 2021.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XXI, 339 p.)"]
[null,null,"Disciplina",null,"510.924"]
[null,null,"Soggetti",null,"Women mathematicians"]
[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,"Preface -- 1 Max and Emmy Noether: Mathematics in Erlangen -- 2 Emmy Noether's Long Struggle to Habilitate in Göttingen -- 3 Emmy Noether's Role in the Relativity Revolution -- 4 Noether's Early Contributions to Modern Algebra -- 5 Noether's International School in Modern Algebra -- 6 Emmy Noether's Triumphal Years -- 7 Cast out of her Country -- 8 Emmy Noether in Bryn Mawr -- 9 Memories and Legacies of Emmy Noether -- Bibliography -- Name Index."]
[null,null,null,"Sommario/riassunto","Although she was famous as the \"mother of modern algebra,\" Emmy Noether’s life and work have never been the subject of an authoritative scientific biography. Emmy Noether – Mathematician Extraordinaire represents the most comprehensive study of this singularly important mathematician to date. Focusing on key turning points, it aims to provide an overall interpretation of Noether’s intellectual development while offering a new assessment of her role in transforming the mathematics of the twentieth century. Hermann Weyl, her colleague before both fled to the United States in 1933, fully recognized that Noether’s dynamic school was the very heart and soul of the famous Göttingen community. Beyond her immediate circle of students, Emmy Noether’s lectures and seminars drew talented mathematicians from all over the world. Four of the most important were B.L. van der Waerden, Pavel Alexandrov, Helmut Hasse, and Olga Taussky. Noether’s classic papers on ideal theory inspired van der Waerden to recast his research in algebraic geometry. Her lectures on group theory motivated Alexandrov to develop links between point set topology and combinatorial methods. Noether’s vision for a new approach to algebraic number theory gave Hasse the impetus to pursue a line of "]
[{"$nulls":4},"research that led to the Brauer–Hasse–Noether Theorem, whereas her abstract style clashed with Taussky’s approach to classical class field theory during a difficult time when both were trying to find their footing in a foreign country. Although similar to Proving It Her Way: Emmy Noether, a Life in Mathematics, this lengthier study addresses mathematically minded readers. Thus, it presents a detailed analysis of Emmy Noether’s work with Hilbert and Klein on mathematical problems connected with Einstein’s theory of relativity. These efforts culminated with her famous paper \"Invariant Variational Problems,\" published one year before she joined the Göttingen faculty in 1919."]
[null,"3.","Record Nr.",null,"UNIORUON00008762"]
[null,null,"Autore",null,"TAMBURELLO, Adolfo"]
[null,null,"Titolo",null,"Giappone / Adolfo Tamburello"]
[null,null,"Pubbl/distr/stampa",null,"Milano, : Mondadori, 1971"]
[null,null,"Descrizione fisica",null,"191 p., c. di tav. : ill. ; 32 cm"]
[null,null,"Classificazione",null,"GIA XI"]
[null,null,"Lingua di pubblicazione",null,"Italiano"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]