{"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":59,"n_cols":5,"rows_kept":59,"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],[2,4,2,5],[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],[10,2,10,3],[12,2,12,3],[12,4,12,5],[13,2,13,3],[13,4,13,5],[14,2,14,3],[15,2,15,3],[20,2,20,3],[21,2,21,3],[22,2,22,3],[23,2,23,3],[25,2,25,3],[26,2,26,3],[30,2,30,3],[31,2,31,3],[35,2,35,3],[41,2,41,3],[41,4,41,5],[42,2,42,3],[42,4,42,5],[43,2,43,3],[44,2,44,3],[46,2,46,3],[47,2,47,3],[48,2,48,3],[49,2,49,3],[51,2,51,3],[53,2,53,3],[54,2,54,3],[57,2,57,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA990007474820403321"]
[null,null,"Autore",null,"Touring club italiano"]
[null,null,"Titolo",null,"Egitto : Il Cairo, Alessandria, la Valle del Nilo e il Mar Rosso / T.C.I."]
[null,null,"Pubbl/distr/stampa",null,"Milano : T.C.I., 1995"]
[null,null,"ISBN",null,"88-365-0802-2"]
[null,null,"Descrizione fisica",null,"319 p. : ill. ; 22 cm"]
[null,null,"Collana",null,"Guide del mondo"]
[null,null,"Locazione",null,"ILFGE"]
[null,null,"Collocazione",null,"CONS.2 TCI 04(01)"]
[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,"UNINA9910962221903321"]
[null,null,"Titolo",null,"New courts in Asia / / edited by Andrew Harding and Penelope (Pip) Nicholson"]
[null,null,"Pubbl/distr/stampa",null,"New York : , : Routledge, , 2010"]
[null,null,"ISBN",null,"1-135-18271-X"]
[{"$nulls":4},"1-135-18272-8"]
[{"$nulls":4},"1-282-57606-2"]
[{"$nulls":4},"9786612576065"]
[{"$nulls":4},"0-203-86284-8"]
[null,null,"Edizione",null,"[1st ed.]"]
[null,null,"Descrizione fisica",null,"1 online resource (444 p.)"]
[null,null,"Collana",null,"Routledge law in Asia"]
[null,null,"Classificazione",null,"86.09"]
[{"$nulls":4},"86.15"]
[null,null,"Disciplina",null,"349.5"]
[null,null,"Soggetti",null,"Courts - East Asia"]
[{"$nulls":4},"Justice, Administration of - East Asia"]
[{"$nulls":4},"Courts - Southeast Asia"]
[{"$nulls":4},"Justice, Administration of - Southeast Asia"]
[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 and index."]
[null,null,"Nota di contenuto",null,"Book Cover; Title; Copyright; Contents; List of contributors; Preface; 1 New courts in Asia: Law, development and judicialization; Part I Introducing economic courts in Asia; 2 Legitimacy and the Vietnamese Economic Court; 3 'Reading the tea leaves' in the Indonesian Commercial Court: A cautionary tale, but for whom?; Part II Introducing intellectual property courts in Asia; 4 The Intellectual Property High Court of Japan; 5 Specialized intellectual property courts in the People's Republic of China: Myth or reality?; Part III Constructing constitutional courts"]
[{"$nulls":4},"6 The Constitutional Court of Thailand, 1998-2006: A turbulent innovation7 The Constitutional Court and judicialization of Korean politics; 8 Institutional choice and the new Indonesian Constitutional Court; 9 The Indonesian human rights court; Part IV Assembling administrative courts; 10 'Shopping forums': Indonesia's administrative courts; 11 Genealogy of the administrative courts and consolidation of administrative justice in Thailand; 12 Compromising courts and harmonizing ideologies: Mediation in the administrative chambers of "]
[{"$nulls":4},"the people's courts in the People's Republic of China"]
[{"$nulls":4},"Part V Analysing anti-graft courts13 The politics of Indonesia's anti-corruption court; 14 The Philippines' Sandiganbayan: Anti-graft courts and the illusion of self-contained anti-corruption regimes; Part VI Setting up special courts; 15 Malaysian royalty and the Special Court; 16 Informed by ideology: A review of the court reforms in Brunei Darussalam; 17 Courts in Xinjiang: Institutional capacity in China's periphery; Part VII Juries, regulation and renovation in Japanese courts; 18 Japan's new criminal trials: Origins, operations and implications"]
[{"$nulls":4},"19 Dollars to donuts: Japanese courts' new role as corporate regulatorIndex"]
[null,null,null,"Sommario/riassunto","This book discusses court-oriented legal reforms across Asia with a focus on the creation of 'new courts' over the last 20 years. Contributors discuss how to judge new courts and examine whether the many new courts introduced over this period in Asia have succeeded or failed. The 'new courts' under scrutiny are mainly specialist courts, including those established to hear cases involving intellectual property disputes, bankruptcy petitions, commercial contracts, public law adjudication, personal law issues and industrial disputes.The justification of the trend to 'judicialize'"]
[null,"3.","Record Nr.",null,"UNINA9910592991603321"]
[null,null,"Titolo",null,"Logic-Based Program Synthesis and Transformation : 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings / / edited by Alicia Villanueva"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022"]
[null,null,"ISBN",null,"9783031167676"]
[{"$nulls":4},"9783031167669"]
[null,null,"Edizione",null,"[1st ed. 2022.]"]
[null,null,"Descrizione fisica",null,"1 online resource (165 pages)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 1611-3349 ; ; 13474"]
[null,null,"Disciplina",null,"004.015113"]
[{"$nulls":4},"005.115"]
[null,null,"Soggetti",null,"Computer science"]
[{"$nulls":4},"Computer Science Logic and Foundations of Programming"]
[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,"Testing for Robotic Systems -- Automated Termination and Complexity Analysis -- Analysis of Rewrite Systems Analysing Parallel Complexity of Term Rewriting -- Gonnord Confluence Framework: Proving Confluence with CONFident.-Variant-based Equational Anti-unification -- Verification and Synthesis Model Checking Meets Auto-Tuning High-Performance Programs -- Building a Join-Optimizer for Souffl´e -- From Infinity to Choreographies: Extraction for Unbounded Systems -- Logic Programming Typed SLD Resolution: Dynamic Typing for Logic Programming -- On Correctness of Normal Logic Programs."]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022. The 8 full papers were selected from 17 submissions and cover different aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large."]