{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":7,"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":113,"n_cols":5,"rows_kept":113,"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],[9,2,9,3],[11,2,11,3],[11,4,11,5],[12,2,12,3],[12,4,12,5],[13,2,13,3],[13,4,13,5],[14,2,14,3],[15,2,15,3],[18,2,18,3],[19,2,19,3],[20,2,20,3],[24,2,24,3],[25,2,25,3],[29,2,29,3],[32,2,32,3],[32,4,32,5],[33,2,33,3],[33,4,33,5],[34,2,34,3],[34,4,34,5],[35,2,35,3],[36,2,36,3],[37,2,37,3],[38,2,38,3],[39,2,39,3],[43,2,43,3],[44,2,44,3],[46,2,46,3],[46,4,46,5],[47,2,47,3],[47,4,47,5],[48,2,48,3],[48,4,48,5],[49,2,49,3],[50,2,50,3],[51,2,51,3],[52,2,52,3],[53,2,53,3],[54,2,54,3],[55,2,55,3],[57,2,57,3],[57,4,57,5],[58,2,58,3],[58,4,58,5],[59,2,59,3],[61,2,61,3],[62,2,62,3],[63,2,63,3],[64,2,64,3],[65,2,65,3],[66,2,66,3],[68,2,68,3],[69,2,69,3],[73,2,73,3],[76,2,76,3],[76,4,76,5],[77,2,77,3],[77,4,77,5],[78,2,78,3],[79,2,79,3],[84,2,84,3],[85,2,85,3],[86,2,86,3],[87,2,87,3],[91,2,91,3],[92,2,92,3],[96,2,96,3],[100,2,100,3],[100,4,100,5],[101,2,101,3],[101,4,101,5],[102,2,102,3],[103,2,103,3],[104,2,104,3],[106,2,106,3],[109,2,109,3],[110,2,110,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910306958203321"]
[null,null,"Titolo",null,"Venezia di carta / a cura di Alessandra Ferrighi"]
[null,null,"Pubbl/distr/stampa",null,"Siracusa : LetteraVentidue, 2018"]
[null,null,"ISBN",null,"978-88-6242-234-5"]
[null,null,"Descrizione fisica",null,"271 p. : ill. ; 21 cm"]
[null,null,"Disciplina",null,"711.40945311"]
[null,null,"Locazione",null,"FARBC"]
[null,null,"Collocazione",null,"ARCH B 3114"]
[null,null,"Lingua di pubblicazione",null,"Italiano"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"2.","Record Nr.",null,"UNINA9910459951903321"]
[null,null,"Autore",null,"Giussani Luigi"]
[null,null,"Titolo",null,"The journey to truth is an experience [[electronic resource] /] / Luigi Giussani ; translated and annotated by John Zucchi ; with the assistance of Patrick Stevenson"]
[null,null,"Pubbl/distr/stampa",null,"Montreal ; ; Ithaca, : McGill-Queen's University Press, c2006"]
[null,null,"ISBN",null,"1-282-86685-0"]
[{"$nulls":4},"9786612866852"]
[{"$nulls":4},"0-7735-7640-1"]
[null,null,"Descrizione fisica",null,"1 online resource (159 p.)"]
[null,null,"Disciplina",null,"267/.182"]
[null,null,"Soggetti",null,"Christian education of young people"]
[{"$nulls":4},"Christian life - Catholic authors"]
[{"$nulls":4},"Presence of God"]
[{"$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","Translation of: Il cammino al vero è un'esperienza."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Gioventu studentesca or student : youth : reflections on an experience -- 1. Methodological instructions on the Christian proposal -- 2. The effort to achieve something practical : Gioventù studentesca --"]
[{"$nulls":4},"Traces if the Christian experience -- 1. Formulation of the human problem -- 2. The encounter with Christ -- 3. The gift of the spirit -- 4. The Christian existence --"]
[{"$nulls":4},"Notes on the Christian method -- 1. A great premise -- 2. The encounter -- 3. Communion -- 4. Mission -- 5. Culture."]
[null,"3.","Record Nr.",null,"UNISALENTO991002197199707536"]
[null,null,"Autore",null,"Toth, Imre"]
[null,null,"Titolo",null,"Lo schiavo di Menone : il lato del quadrato doppio, la sua misura non-misurabile, la sua ragione irrazionale : commentario a Platone, Menone 82 B-86 C / Imre Toth ; introduzione, traduzione, bibliografia e indici a cura di Elisabetta Cattanei ; presentazione di Giovanni Reale"]
[null,null,"Pubbl/distr/stampa",null,"Milano : Vita e pensiero, 1998"]
[null,null,"Descrizione fisica",null,"XXXVIII, 112 p. ; 22 cm"]
[null,null,"Collana",null,"Temi metafisici e problemi del pensiero antico. Studi e testi"]
[null,null,"Disciplina",null,"510.1"]
[null,null,"Soggetti",null,"Platone. Menone"]
[{"$nulls":4},"Platone Pensiero matematico"]
[{"$nulls":4},"Platone. Menone"]
[{"$nulls":4},"Platone Pensiero matematico"]
[null,null,"Lingua di pubblicazione",null,"Italiano"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"4.","Record Nr.",null,"UNISALENTO991002085649707536"]
[null,null,"Autore",null,"D'Amico, Fedele"]
[null,null,"Titolo",null,"I casi della musica / Fedele D'Amico"]
[null,null,"Pubbl/distr/stampa",null,"Milano : Il Saggiatore, 1962"]
[null,null,"Descrizione fisica",null,"568 p. ; 21 cm."]
[null,null,"Collana",null,"La cultura ; 66"]
[null,null,"Disciplina",null,"780.4"]
[null,null,"Soggetti",null,"Musica"]
[null,null,"Lingua di pubblicazione",null,"Italiano"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"5.","Record Nr.",null,"UNINA9910767573803321"]
[null,null,"Titolo",null,"Fm'99--formal methods : world congress on formal methods in the development of computing systems, Toulouse, france, September 20-24, 1999 : proceedings / / edited by Jeannette M. Wing, Jim Woodcock, Jim Davies"]
[null,null,"Pubbl/distr/stampa",null,"Berlin : , : Springer, , [1999]"]
[{"$nulls":4},"©1999"]
[null,null,"ISBN",null,"3-540-48119-2"]
[null,null,"Edizione",null,"[1st ed. 1999.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XXXVI, 940 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 1708"]
[null,null,"Disciplina",null,"005.131"]
[null,null,"Soggetti",null,"Application software - Development"]
[{"$nulls":4},"Formal methods (Computer science)"]
[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,"Invited Papers -- Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle -- Scientific Decisions which Characterize VDM -- Mechanized Formal Methods: Where Next? -- Integration, the Price of Success -- The Role of Formalism in Method -- Integration into the Development Process -- Formal Design for Automatic Coding and Testing: The ESSI/SPACES Project -- A Business Process Design Language -- Software Architecture -- Refinement of Pipe-and-Filter Architectures -- A Formalization of Software Architecture -- European Association for Theoretical Computer Science (EATCS) -- Component and Interface Refinement in Closed-System Specifications -- Semantics of First Order Parametric Specifications -- Model Checking -- A Perfecto Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software -- Error Detection with Directed Symbolic Model Checking -- Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination -- On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems -- On-the-fly Verification of Linear Temporal Logic -- Symbolic Model Checking with Fewer Fixpoint Computations -- Formula Based Abstractions of Transition Systems for Real-Time Model Checking -- If: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems -- Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes -- The B Method -- "]
[{"$nulls":4},"The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications -- Météor: A Successful Application of B in a Large Project -- Formal Development of Databases in ASSO and B -- Interpreting the B-Method in the Refinement Calculus -- Compositional Symmetric Sharing in B -- Structural Embeddings: Mechanization with Method -- The Safe Machine: A New Specification Construct for B -- csp2B: A Practical Approach to Combining CSP and B -- Test Criteria Definition for B Models -- Composition and Synthesis -- Bunches for Object-Oriented, Concurrent, and Real-Time Specification -- Applications of Structural Synthesis of Programs -- Towards a Compositional Approach to the Design and Verification of Distributed Systems -- Telecommunications -- Formal Modeling in a Commercial Setting: A Case Study -- KVEST: Automated Generation of Test Suites from Formal Specifications -- Feature Interaction Detection Using Testing and Model-Checking Experience Report -- Emma: Developing an Industrial Reachability Analyser for SDL -- Correctness Proof of the Standardized Algorithm for ABR Conformance -- Verifying a Distributed Database Lookup Manager Written in Erlang -- Security -- Secure Interoperation of Secure Distributed Databases -- A Formal Security Model for Microprocessor Hardware -- Abstraction and Testing -- Formal Analysis of a Secure Communication Channel: Secure Core-Email Protocol -- Probabilistic Polynomial-Time Equivalence and Security Analysis -- A Uniform Approach for the Definition of Security Properties -- Group Principals and the Formalization of Anonymity -- Object-Orientation -- Developing BON as an Industrial-Strength Formal Method -- On the Expressive Power of OCL -- A Systematic Approach to Transform OMT Diagrams to a B Specification -- Verifying Consistency and Validity of Formal -- Verifying Consistency and Validity of Formal Specifications by Testing -- A GSM-MAP Protocol Experiment Using Passive Testing."]
[null,null,null,"Sommario/riassunto","Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place. FM’99, the First World Congress on Formal Methods in the Development of Computing Systems, is a result, and a measure, of this new-found maturity. It brings an impressive array of industrial and applications-oriented papers that show how formal methods have been used to tackle real problems. These proceedings are a record of the technical symposium ofFM’99:alo- side the papers describingapplicationsofformalmethods,youwill ndtechnical reports,papers,andabstracts detailing new advances in formaltechniques,from mathematical foundations to practical tools. The World Congress is the successor to the four Formal Methods Europe Symposia, which in turn succeeded the four VDM Europe Symposia. This s- cession re?ects an increasing openness within the international community of researchers and practitioners: papers were submitted covering a wide variety of formal methods and application areas. The programmecommittee re?ects the Congress’s international nature, with a membership of 84 leading researchersfrom 38 di erent countries.The comm- tee was divided into 19 tracks, each with its own chair to oversee the reviewing process. Our collective task was a di cult one: there were 259 high-quality s- missions from 35 di erent countries."]
[null,"6.","Record Nr.",null,"UNINA9910155851503321"]
[null,null,"Titolo",null,"Entre lieux et memoire : l'inscription de la francophonie canadienne dans la duree / / sous la direction de Anne Gilbert, Michel Bock et Joseph Yvon Theriault"]
[null,null,"Pubbl/distr/stampa",null,"Ottawa, Ont., : University of Ottawa Press, 2009"]
[null,null,"ISBN",null,"9786613667984"]
[{"$nulls":4},"9781280691041"]
[{"$nulls":4},"1280691042"]
[{"$nulls":4},"9782760317987"]
[{"$nulls":4},"2760317986"]
[null,null,"Descrizione fisica",null,"1 online resource (375 p.)"]
[null,null,"Collana",null,"Amerique française"]
[null,null,"Disciplina",null,"305.811/4"]
[null,null,"Soggetti",null,"Collective memory"]
[{"$nulls":4},"Group identity"]
[{"$nulls":4},"French-Canadians - Ethnic identity"]
[{"$nulls":4},"Historic sites"]
[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."]
[null,null,"Nota di contenuto",null,"TABLE DES MATIÈRES; INTRODUCTION; Entre lieux et mémoire: l'inscription de la francophonie canadienne dans la durée; LA MÉMOIRE OU LE REGARD HISTORIQUE; Les lieux de mémoire peuvent-ils fortifier les collectivités francophones ?; La commémoration des patriotes: l'intention de mémoire et l'usage sociopolitique du récit national dans le Québec contemporain; Saint-Denis-sur-Richelieu, lieu de mémoire des rébellions de 1837-1838: miroir d'une affirmation canadienne-française; La francophonie canadienne, le bilinguisme et l'identité canadienne dans les célébrations de la fête du Canada"]
[{"$nulls":4},"À propos de l'Inventaire des lieux de mémoire de la Nouvelle-France: La Vérendrye et ses traces dans le paysage canadienLE LIEU OU LE REGARD GÉOGRAPHIQUE; Lieux de mémoire et aménagement; La territorialité des lieux de mémoire: à qui appartient le Vieux-Québec ?; Les significations d'un lieu de mémoire: le paysage de la chute des Chaudières; Pérennité et mutation de la fonction géosymbolique des lieux de culte: le cas de la requalification récente des églises au Québec; La famille et la parenté, lien identitaire et lieu de mémoire; LA MISE EN RÉCIT PAR LES ARTS ET LES LETTRES"]
[{"$nulls":4},"Savoir habiter le lieu de la mémoire: le cas de l'Acadie« Je me souviens » : analyse d'un lieu de mémoire auto-mobile; Le théâtre franco-manitobain : mythes de la mémoire collective; La mémoire des lieux et l'identité collective en littérature franco-ontarienne"]
[null,null,null,"Sommario/riassunto","Dans Les lieux de mémoire, Pierre Nora affirme que « la mémoire s'enracine dans le concret, l'espace, le geste, l'image et l'objet » (1984, xix). Entre lieux et mémoire adopte une perspective semblable et jette un regard sur les expériences concrètes, géographiquement situées, par lesquelles les francophones du Canada construisent leur identité à partir des réminiscences de leur passé. Ce questionnement est essentiel, car la géographie de la francophonie canadienne évolue rapidement, consolidée au Québec au cours notamment des dernières cinquante années, mais fragilisée dans les milieux l"]
[null,"7.","Record Nr.",null,"UNINA9910144799603321"]
[null,null,"Titolo",null,"Macalester international : international studies and programming"]
[null,null,"Pubbl/distr/stampa",null,"St. Paul, MN, : Macalester College"]
[null,null,"ISSN",null,"2158-3676"]
[null,null,"Disciplina",null,"327"]
[{"$nulls":4},"327/.05"]
[null,null,"Soggetti",null,"International relations"]
[{"$nulls":4},"Internationalism"]
[{"$nulls":4},"Periodicals."]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Periodico"]
[null,null,null,"Note generali","Each issue has also a theme title."]