{"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":36,"n_cols":5,"rows_kept":36,"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],[11,2,11,3],[12,2,12,3],[14,2,14,3],[17,2,17,3],[17,4,17,5],[18,2,18,3],[18,4,18,5],[19,2,19,3],[20,2,20,3],[23,2,23,3],[24,2,24,3],[25,2,25,3],[26,2,26,3],[28,2,28,3],[29,2,29,3],[34,2,34,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910484970803321"]
[null,null,"Titolo",null,"Logic, computation and rigorous methods : essays dedicated to Egon Börger on the occasion of his 75th birthday / / Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe (editors)"]
[null,null,"Pubbl/distr/stampa",null,"Cham, Switzerland : , : Springer, , [2021]"]
[{"$nulls":4},"©2021"]
[null,null,"ISBN",null,"3-030-76020-0"]
[null,null,"Edizione",null,"[1st ed. 2021.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XVI, 353 p. 122 illus., 75 illus. in color.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science ; ; 12750"]
[null,null,"Disciplina",null,"160"]
[null,null,"Soggetti",null,"Logic"]
[{"$nulls":4},"Computer science"]
[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,"From Logic and Computation Theory to Rigorous Methods for Software Engineering -- Towards Leveraging Domain Knowledge in State-Based Formal Methods -- Some Observations on Mitotic Sets -- Moded and Continuous Abstract State Machines -- A Stepwise Design Optimization Problem -- Semantic Splitting of Conditional Belief Bases -- Communities and Ancestors Associated with Egon Börger and ASM -- Language and communication problems in formalization: a natural language approach -- ASM Specification and Refinement of a Quantum Algorithm -- Spot the Difference: A Detailed Comparison Between B and Event-B -- Some Thoughts on Computational Models: From Massive Human Computing to Abstract State Machines, and Beyond -- Analysis of Mobile Networks' Protocols Based on Abstract State Machines -- What is the Natural Abstraction Level of an Algorithm -- The ASMETA approach to safety assurance of software systems -- Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System -- Computation on Structures: Behavioural Theory, Logic, Complexity -- The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes -- Models and Modelling in Computer Science -- A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines."]
[null,null,null,"Sommario/riassunto","This Festschrift was published in honor of Egon Börger on the occasion of his 75th birthday. It acknowledges Prof. Börger's inspiration as a "]
[{"$nulls":4},"scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields of logic and computer science, Egon Börger's research interests are unusual in scope, from programming languages to hardware architectures, software architectures, control systems, workflow and interaction patterns, business processes, web applications, and concurrent systems. The 18 invited contributions in this volume are by leading researchers in the areas of software engineering, programming languages, business information systems, and computer science logic."]
[null,"2.","Record Nr.",null,"UNINA9910957317203321"]
[null,null,"Titolo",null,"Memories of the future : national identity issues and the search for a new Taiwan / / Stephane Corcuff, editor"]
[null,null,"Pubbl/distr/stampa",null,"Abingdon, Oxon : , : Routledge, , 2015"]
[null,null,"ISBN",null,"1-315-29132-0"]
[{"$nulls":4},"1-315-29133-9"]
[{"$nulls":4},"1-315-29131-2"]
[null,null,"Descrizione fisica",null,"1 online resource (324 pages) : illustrations, tables"]
[null,null,"Collana",null,"Taiwan in the Modern World"]
[null,null,"Disciplina",null,"951.24/904"]
[null,null,"Soggetti",null,"Taiwan Politics and government 1895-1945"]
[{"$nulls":4},"Taiwan Politics and government 1945-"]
[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","\"An East Gate book\"--t.p."]
[{"$nulls":4},"First published 2002 by M.E. Sharpe."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references at the end of each chapters and index."]
[null,null,"Nota di contenuto",null,"pt. 1. Historical roots -- part 2. The transition of national identity -- part 3. Perspectives on ethnicity and Taiwanese nationalism."]
[null,null,null,"Sommario/riassunto","The product of five years of North American Taiwan Studies Conferences, this book carefully analyzes the emergence of national feelings in Taiwan, its historical roots and its contemporary manifestations. It addresses questions central to the looming international issue of Taiwan/China. Part one considers the historical events that help to explain the emergence and development of a separatist, dissident discourse. The second part deals with the current issue of national identity transition in Taiwan. The final part places the national identity debate in a broader perspective by focusing on the larger issues of the maturation of the national identity question."]