{"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":70,"n_cols":5,"rows_kept":70,"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],[8,2,8,3],[9,2,9,3],[10,2,10,3],[11,2,11,3],[14,2,14,3],[15,2,15,3],[19,2,19,3],[22,2,22,3],[22,4,22,5],[23,2,23,3],[23,4,23,5],[24,2,24,3],[25,2,25,3],[26,2,26,3],[27,2,27,3],[28,2,28,3],[29,2,29,3],[30,2,30,3],[44,2,44,3],[45,2,45,3],[47,2,47,3],[50,2,50,3],[50,4,50,5],[51,2,51,3],[51,4,51,5],[52,2,52,3],[53,2,53,3],[54,2,54,3],[55,2,55,3],[56,2,56,3],[57,2,57,3],[58,2,58,3],[63,2,63,3],[64,2,64,3],[67,2,67,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910959754303321"]
[null,null,"Autore",null,"Southworth Michael"]
[null,null,"Titolo",null,"Streets and the shaping of towns and cities / / Michael Southworth, Eran Ben-Joseph"]
[null,null,"Pubbl/distr/stampa",null,"Washington, DC, : Island Press, 2003"]
[null,null,"ISBN",null,"9781610911092"]
[{"$nulls":4},"1610911091"]
[{"$nulls":4},"9781417539482"]
[{"$nulls":4},"1417539488"]
[null,null,"Edizione",null,"[1st ed.]"]
[null,null,"Descrizione fisica",null,"1 online resource (ix, 197 pages) : illustrations"]
[null,null,"Disciplina",null,"711/.41"]
[null,null,"Soggetti",null,"Streets - Design"]
[{"$nulls":4},"City planning"]
[{"$nulls":4},"Streets - Standards"]
[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 (p. 184-188) and index."]
[null,null,"Nota di contenuto",null,"Title Page; Copyright Page; Contents; Acknowledgments; Introduction: Street Standards and the Built Environment; Ch. 1: Gritty Cities and Picturesque Villages; Ch. 2: Orderly Streets for Healthy Cities; Ch. 3: Streets for the Motor Age; Ch. 4: Bureaucracy Takes Control; Ch. 5: Streets for Living; Ch. 6: Tomorrow's Streets; Appendix A: Chronology of Events in theDevelopment of Residential Street Standards; Appendix B: A Graphic Survey of Street Cross Sections; Appendix C: Narrow Streets Data; Chapter End Notes; Other References; Index"]
[null,null,null,"Sommario/riassunto","The topic of streets and street design is of compelling interest today as public officials, developers, and community activists seek to reshape urban patterns to achieve more sustainable forms of growth and development. Streets and the Shaping of Towns and Cities traces ideas about street design and layout back to the early industrial era in London suburbs and then on through their institutionalization in housing and transportation planning in the United States. It critiques the situation we are in and suggests some ways out that are less rigidly controlled, more flexible, and responsive to local conditions.   Originally published in 1997, this edition includes a new introduction that addresses topics of current interest including revised standards from the Institute of Transportation Engineers; changes in city plans and development standards following New Urbanist, Smart Growth, and "]
[{"$nulls":4},"sustainability principles; traffic calming; and ecologically oriented street design."]
[null,"2.","Record Nr.",null,"UNINA9910488713503321"]
[null,null,"Titolo",null,"Design, Operation and Evaluation of Mobile Communications : Second International Conference, MOBILE 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings / / edited by Gavriel Salvendy, June Wei"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021"]
[null,null,"ISBN",null,"3-030-77025-7"]
[null,null,"Edizione",null,"[1st ed. 2021.]"]
[null,null,"Descrizione fisica",null,"1 online resource (358 pages)"]
[null,null,"Collana",null,"Information Systems and Applications, incl. Internet/Web, and HCI, , 2946-1642 ; ; 12796"]
[null,null,"Disciplina",null,"621.38456"]
[null,null,"Soggetti",null,"Application software"]
[{"$nulls":4},"User interfaces (Computer systems)"]
[{"$nulls":4},"Human-computer interaction"]
[{"$nulls":4},"Computer networks"]
[{"$nulls":4},"Computers, Special purpose"]
[{"$nulls":4},"Data structures (Computer science)"]
[{"$nulls":4},"Information theory"]
[{"$nulls":4},"Information storage and retrieval systems"]
[{"$nulls":4},"Computer and Information Systems Applications"]
[{"$nulls":4},"User Interfaces and Human Computer Interaction"]
[{"$nulls":4},"Computer Communication Networks"]
[{"$nulls":4},"Special Purpose and Application-Based Systems"]
[{"$nulls":4},"Data Structures and Information Theory"]
[{"$nulls":4},"Information Storage and Retrieval"]
[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,"Designing -- Developing and Evaluating Mobile Interaction Systems -- User Experience -- Acceptance -- Impact of Mobile Communications."]
[null,null,null,"Sommario/riassunto","This conference proceeding LNCS 12796 constitutes the thoroughly refereed proceedings of the 2nd International Conference on Design, Operation and Evaluation of Mobile Communications, MOBILE 2021 which was held as part of the 23rd HCI International Conference, HCII 2021 as a virtual event, due to COVID-19, in July 2021. The total of 1276 papers and 241 posters included in the 39 HCII 2021 proceedings "]
[{"$nulls":4},"volumes were carefully reviewed and selected from 5222 submissions. MOBILE 2021 includes a total of 27 papers; they were organized in topical sections named: Designing, Developing and Evaluating Mobile Interaction Systems and User Experience, Acceptance and Impact of Mobile Communications."]
[null,"3.","Record Nr.",null,"UNINA9910255214203321"]
[null,null,"Titolo",null,"Philosophical Logic: Current Trends in Asia : Proceedings of AWPL-TPLC 2016 / / edited by Syraya Chin-Mu Yang, Kok Yong Lee, Hiroakira Ono"]
[null,null,"Pubbl/distr/stampa",null,"Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2017"]
[null,null,"ISBN",null,"981-10-6355-9"]
[null,null,"Edizione",null,"[1st ed. 2017.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XVI, 296 p. 7 illus.)"]
[null,null,"Collana",null,"Logic in Asia: Studia Logica Library, , 2364-4621"]
[null,null,"Disciplina",null,"100"]
[null,null,"Soggetti",null,"Logic"]
[{"$nulls":4},"Mathematical logic"]
[{"$nulls":4},"Machine theory"]
[{"$nulls":4},"Mathematical Logic and Foundations"]
[{"$nulls":4},"Formal Languages and Automata Theory"]
[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 at the end of each chapters."]
[null,null,"Nota di contenuto",null,"Representing and Completing Lattices by Propositions of Cover Systems -- A Uniform Algebraic Approach to Cut Elimination via Semi-completeness -- Ancient Indian Logic, Paksa and Analogy -- Provability and Decidability of Arithmetical Sentences -- On the Minimization Principle in the Boolean Approach to Causal Discovery -- Contentual and Formal Aspects of Gentzen's Consistency Proofs -- Saving Supervaluationism from the Challenge of Higher-Order Vagueness Argument -- Cut free Labelled Sequent Calculus for Dynamic Logic of Relation Changers -- On Second Order Propositional Intuitionistic Logics -- Classical Model Existence Theorem in Subclassical Predicate Logics. II -- On Incorporating Reasoning Time into Epistemic Logic -- Proof-theoretic Embedding from Visser’s Basic Propositional Logic to Modal Logic K4 via Non-Labelled Sequent Calculi -- Varieties of Parthood -- Infinite “Atomic” Mereological Structures."]
[null,null,null,"Sommario/riassunto","This volume brings together a group of logic-minded philosophers and philosophically oriented logicians, mainly from Asia, to address a variety of logical and philosophical topics of current interest, offering a representative cross-section of the philosophical logic landscape in early 21st-century Asia. It surveys a variety of fields, including modal logic, epistemic logic, formal semantics, decidability and mereology. The book proposes new approaches and constructs more powerful frameworks, such as cover theory, an algebraic approach to cut-"]
[{"$nulls":4},"elimination, and a Boolean approach to causal discovery, to name but a few. Readers may find a wide range of applications of these original works in current research of philosophical logic, especially in the structural and conceptual analysis of some significant semantic properties and formal systems. The variety of topics and issues discussed here will appeal to readers from a broad spectrum of disciplines, ranging from mathematical/phil osophical logic, computing science, cognitive science and artificial intelligence, to linguistics, game theory and beyond."]