{"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],[20,2,20,3],[21,2,21,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],[32,2,32,3],[33,2,33,3],[34,2,34,3],[40,2,40,3],[41,2,41,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996465560503316"]
[null,null,"Titolo",null,"Integrated Formal Methods [[electronic resource] ] : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings / / edited by John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012"]
[null,null,"ISBN",null,"3-642-30729-9"]
[null,null,"Edizione",null,"[1st ed. 2012.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XII, 360 p. 105 illus.)"]
[null,null,"Collana",null,"Programming and Software Engineering ; ; 7321"]
[null,null,"Disciplina",null,"004.01/51"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Programming languages (Electronic computers)"]
[{"$nulls":4},"Mathematical logic"]
[{"$nulls":4},"Computer programming"]
[{"$nulls":4},"Algorithms"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[{"$nulls":4},"Programming Techniques"]
[{"$nulls":4},"Algorithm Analysis and Problem Complexity"]
[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","International conference proceedings."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and author index."]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies."]
[null,"2.","Record Nr.",null,"UNINA9910131357703321"]
[null,null,"Autore",null,"Daniel Fabre"]
[null,null,"Titolo",null,"L'Europe entre cultures et nations : actes du colloque de Tours, décembre 1993"]
[null,null,"Pubbl/distr/stampa",null,"Éditions de la Maison des sciences de l’homme, 1996"]
[{"$nulls":4},"[Place of publication not identified], : Editions de la Maison des sciences de l'homme, 1996"]
[null,null,"ISBN",null,"2-7351-1911-4"]
[null,null,"Descrizione fisica",null,"1 online resource (XI-343 p.)"]
[null,null,"Collana",null,"Collection Ethnologie de la France  L'Europe entre cultures et nations"]
[null,null,"Soggetti",null,"Ethnicity - Europe"]
[{"$nulls":4},"Nationalism - Europe"]
[{"$nulls":4},"Cultural property - Europe"]
[{"$nulls":4},"Gender & Ethnic Studies"]
[{"$nulls":4},"Social Sciences"]
[{"$nulls":4},"Ethnic & Race Studies"]
[null,null,"Lingua di pubblicazione",null,"Francese"]
[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,"Sommario/riassunto","De la nation moderne, telle que le siècle des Lumières l'engendre, ont été retenus deux actes fondateurs. Le premier ancre l'appartenance dans des références communes, une tradition reconnue, un patrimoine. Le second écarte plus ou moins de ce partage les non-originaires, voire les citoyens de second rang. Engendrer ses ancêtres et désigner ses étrangers sont les gestes qui inscrivent la nation au coeur de nos sociétés. Pourtant, dans l'Europe du xxe siècle, que de différences dans la mise en oeuvre de cette forme commune. Sous l'universalité du modèle national se dessine, dans la façon de traiter du patrimoine ou de l'étranger, une large diversité d'histoires et de cultures. Aujourd'hui, les bouleversements qui touchent l'Europe ont soudain ravivé un débat dans lequel l'ethnologie se trouve forcément embarquée. Ses mots les plus courants - « culture », « ethnie », « tradition », « patrimoine » - ne sont-ils pas parfois devenus des armes ? Venus de six pays, ethnologues et historiens de la culture ont dressé un bilan, ouvert un dialogue, et tracé les perspectives d'un nouveau chantier de l'ethnologie dont ce livre témoigne."]