{"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":40,"n_cols":5,"rows_kept":40,"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],[17,2,17,3],[18,2,18,3],[22,2,22,3],[24,2,24,3],[24,4,24,5],[25,2,25,3],[25,4,25,5],[26,2,26,3],[28,2,28,3],[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],[38,2,38,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910462543903321"]
[null,null,"Autore",null,"Hurl Ryan <1973->"]
[null,null,"Titolo",null,"Judicial power and institutional constraints [[electronic resource] ] : a comparison of Canadian and American courts / / Ryan Hurl"]
[null,null,"Pubbl/distr/stampa",null,"El Paso, : LFB Scholarly Pub. LLC, 2010"]
[null,null,"ISBN",null,"1-59332-650-5"]
[null,null,"Descrizione fisica",null,"1 online resource (312 p.)"]
[null,null,"Collana",null,"Law and society"]
[null,null,"Disciplina",null,"347.71/012"]
[null,null,"Soggetti",null,"Judicial power - United States"]
[{"$nulls":4},"Political questions and judicial power - United States"]
[{"$nulls":4},"Indians of North America - Legal status, laws, etc"]
[{"$nulls":4},"Environmental law - United States"]
[{"$nulls":4},"Judicial power - Canada"]
[{"$nulls":4},"Political questions and judicial power - Canada"]
[{"$nulls":4},"Indians of North America - Legal status, laws, etc - Canada"]
[{"$nulls":4},"Environmental law - Canada"]
[{"$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","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"CONTENTS; List of Tables; Chapter One: Introduction; Chapter Two: The Institutional Limits of Judicial Politics; Chapter Three: Constitutional Constraints and IndIAN Law inCanada and the United States; Chapter FOUR: The Limits of Environmental LAW in Canadaand the United States; Chapter Five: Conclusion; Appendices; Bibliography; Index"]
[null,null,null,"Sommario/riassunto","Hurl argues that the impact of law and politics on judicial decision making is dependent upon the broader institutional environments that courts operate within. Through an examination environmental and Indian law decisions, he explores how judicial power in Canada and the United States is shaped by the constitutional structure of the two regimes. His work is based on an analysis of environmental and Indian law decisions decided by the Supreme Courts of Canada and the United States between 1985 and 2008, supplemented by an analysis of environmental policy cases decided by American and Canadian"]
[null,"2.","Record Nr.",null,"UNISA996418291303316"]
[null,null,"Titolo",null,"Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013 : proceedings / / Dang Van Hung, Oleg Sokolsky"]
[null,null,"Pubbl/distr/stampa",null,"Cham, Switzerland : , : Springer, , [2020]"]
[{"$nulls":4},"©2020"]
[null,null,"ISBN",null,"3-030-59152-2"]
[null,null,"Edizione",null,"[1st ed. 2020.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XIV, 574 p. 796 illus., 99 illus. in color.)"]
[null,null,"Collana",null,"Programming and Software Engineering ; ; 12302"]
[null,null,"Disciplina",null,"006.333"]
[null,null,"Soggetti",null,"Artificial intelligence"]
[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","Includes index."]
[null,null,"Nota di contenuto",null,"Neural Networks and Machine Learning -- Automata -- Logics -- Techniques for Verification, Analysis and Testing -- Model Checking and Decision Procedures -- Synthesis -- Randomization and Probabilistic Systems."]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and selected from 75 submissions. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The papers focus on neural networks and machine learning; automata; logics; techniques for verification, analysis and testing; model checking and decision procedures; synthesis; and randomization and probabilistic systems."]