{"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":53,"n_cols":5,"rows_kept":53,"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],[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],[21,2,21,3],[22,2,22,3],[26,2,26,3],[27,2,27,3],[27,4,27,5],[28,2,28,3],[28,4,28,5],[29,2,29,3],[30,2,30,3],[31,2,31,3],[32,2,32,3],[33,2,33,3],[34,2,34,3],[35,2,35,3],[46,2,46,3],[47,2,47,3],[50,2,50,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISALENTO991002028969707536"]
[null,null,"Titolo",null,"Pittura murale in Italia : il seicento e il settecento / a cura di Mina Gregori ; saggi di Elisa Acanfora ... [etc.]"]
[null,null,"Pubbl/distr/stampa",null,"Torino : Istituto bancario San Paolo, 1998"]
[null,null,"Descrizione fisica",null,"269 p. : ill. ; 30 cm"]
[null,null,"Collana",null,"Pittura murale in Italia ; 3"]
[null,null,"Soggetti",null,"Pittura murale - Italia - Storia"]
[null,null,"Lingua di pubblicazione",null,"Italiano"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Con bibliografia."]
[null,"2.","Record Nr.",null,"UNINA9910788884003321"]
[null,null,"Autore",null,"Yang Deane <1957->"]
[null,null,"Titolo",null,"Involutive hyperbolic differential systems / / Deane Yang"]
[null,null,"Pubbl/distr/stampa",null,"Providence, Rhode Island : , : American Mathematical Society, , 1987"]
[{"$nulls":4},"©1987"]
[null,null,"ISBN",null,"1-4704-0786-8"]
[null,null,"Descrizione fisica",null,"1 online resource (109 p.)"]
[null,null,"Collana",null,"Memoirs of the American Mathematical Society, , 0065-9266 ; ; Volume 68, Number 370"]
[null,null,"Disciplina",null,"515.3/53"]
[null,null,"Soggetti",null,"Geometry, Differential"]
[{"$nulls":4},"Differential equations, Hyperbolic"]
[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","\"Volume 68, number 370 (end of volume).\""]
[null,null,null,"Nota di bibliografia","Includes bibliographical references."]
[null,null,"Nota di contenuto",null,"\"\"Table of Contents\"\"; \"\"Abstract\"\"; \"\"Introduction\"\"; \"\"1. Involutive hyperbolic symbols\"\"; \"\"1.1 Cartan's test for involutive symbols\"\"; \"\"1.2 Guillemin normal form\"\"; \"\"1.3 The characteristic variety and sheaf of an involutive symbol\"\"; \"\"1.4 Involutive hyperbolic symbols\"\"; \"\"1.5 Symbols with rectangular tableaux\"\"; \"\"1.6 Symbols in two independent variables\"\"; \"\"1.7 Involutive hyperbolic symbols of character 2\"\"; \"\"2. Involutive hyperbolic linear differential operators\"\"; \"\"2.1 Cartan's test\"\"; \"\"2.2 Guillemin normal form\"\""]
[null,"3.","Record Nr.",null,"UNINA9910337853403321"]
[null,null,"Titolo",null,"Formal Techniques for Distributed Objects, Components, and Systems : 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings / / edited by Jorge A. Pérez, Nobuko Yoshida"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019"]
[null,null,"ISBN",null,"3-030-21759-0"]
[null,null,"Edizione",null,"[1st ed. 2019.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XIV, 299 p. 1287 illus., 38 illus. in color.)"]
[null,null,"Collana",null,"Programming and Software Engineering, , 2945-9168 ; ; 11535"]
[null,null,"Disciplina",null,"004.36"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Compilers (Computer programs)"]
[{"$nulls":4},"Electronic digital computers - Evaluation"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Computers"]
[{"$nulls":4},"Professions"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Compilers and Interpreters"]
[{"$nulls":4},"System Performance and Evaluation"]
[{"$nulls":4},"Computer Science Logic and Foundations of Programming"]
[{"$nulls":4},"The Computing Profession"]
[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,"Psi-Calculi Revisited: Connectivity and Compositionality -- Squeezing Streams and Composition of Self-Stabilizing Algorithms -- Parametric Updates in Parametric Timed Automata -- Parametric Statistical Model Checking of UAV Flight plan -- Only Connect, Securely -- Output-sensitive Information Flow Analysis -- Component-aware Input-Output Conformance -- Declarative Choreographies and Liveness -- Model checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes -- Causal-Consistent Replay Debugging for Message Passing Programs -- Correct and Efficient Antichain Algorithms for Refinement Checking -- Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification -- Unfolding-based "]
[{"$nulls":4},"Dynamic Partial Order Reduction of Asynchronous Distributed Programs -- Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework -- Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems -- On Certifying DistributedAlgorithms: Problem of Local Correctness -- On a Higher-order Calculus of Computational Fields -- Semantically Sound Analysis of Content Security Policies. ."]
[null,null,null,"Sommario/riassunto","This book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019, held in Copenhagen, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019. The 15 full and 3 short papers presented were carefully reviewed and selected from 42 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems."]