{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":4,"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":79,"n_cols":5,"rows_kept":79,"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],[10,2,10,3],[11,2,11,3],[15,2,15,3],[16,2,16,3],[16,4,16,5],[17,2,17,3],[17,4,17,5],[18,2,18,3],[18,4,18,5],[19,2,19,3],[21,2,21,3],[25,2,25,3],[26,2,26,3],[27,2,27,3],[29,2,29,3],[32,2,32,3],[33,2,33,3],[37,2,37,3],[39,2,39,3],[39,4,39,5],[40,2,40,3],[40,4,40,5],[41,2,41,3],[42,2,42,3],[43,2,43,3],[44,2,44,3],[45,2,45,3],[46,2,46,3],[47,2,47,3],[59,2,59,3],[60,2,60,3],[64,2,64,3],[67,2,67,3],[67,4,67,5],[68,2,68,3],[68,4,68,5],[69,2,69,3],[69,4,69,5],[70,2,70,3],[71,2,71,3],[72,2,72,3],[73,2,73,3],[74,2,74,3],[75,2,75,3],[76,2,76,3],[78,2,78,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910461089703321"]
[null,null,"Titolo",null,"Nuclear nonproliferation and the United States [[electronic resource] /] / Blanche E. Fowley, editor"]
[null,null,"Pubbl/distr/stampa",null,"New York, : Nova Science Publishers, 2010"]
[null,null,"ISBN",null,"1-61324-367-7"]
[null,null,"Descrizione fisica",null,"1 online resource (223 p.)"]
[null,null,"Collana",null,"American political, economic, and security issues"]
[null,null,"Disciplina",null,"327.1/7470973"]
[null,null,"Soggetti",null,"Nuclear nonproliferation"]
[{"$nulls":4},"Nuclear nonproliferation - United States"]
[{"$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,"Nuclear nonproliferation : doe needs to address uncertainties with and strengthen independent safety oversight of its plutonium disposition program / GAO -- Nuclear nonproliferation : national nuclear security administration has improved the security of reactors in its global research reactor program, but action is needed to address remaining concerns / GAO -- Nonproliferation and threat reduction assistance : U.S. programs in the former soviet union / Amy F. Woolf -- Arms control and nonproliferation : a catalog of treaties and agreements / Amy F. Woolf, Mary Beth Nikitin, Paul K. Kerr."]
[null,"2.","Record Nr.",null,"UNINA9910456512803321"]
[null,null,"Autore",null,"Hue Ming-tak"]
[null,null,"Titolo",null,"Classroom management [[electronic resource] ] : creating a positive learning environment / / Ming-tak Hue and Wai-shing Li"]
[null,null,"Pubbl/distr/stampa",null,"Hong Kong, : Hong Kong University Press"]
[{"$nulls":4},"London, : Eurospan [distributor], 2008"]
[null,null,"ISBN",null,"988-220-674-3"]
[{"$nulls":4},"1-282-70873-2"]
[{"$nulls":4},"9786612708732"]
[{"$nulls":4},"988-8052-11-X"]
[null,null,"Descrizione fisica",null,"1 online resource (221 p.)"]
[null,null,"Collana",null,"Hong Kong teacher education series"]
[null,null,"Disciplina",null,"370"]
[{"$nulls":4},"371.1024"]
[null,null,"Soggetti",null,"Classroom management"]
[{"$nulls":4},"School management and organization"]
[{"$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","Includes index."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and indexes."]
[null,null,"Nota di contenuto",null,"Contents; Foreword; Preface; 1 - Understanding Classroom Behaviour and Situations; 2 - The Influence of Chinese Culture on Hong Kong Classrooms; 3 - Effective Classroom Management; 4 - Managing Misbehaviour; 5 - Approaches to Students' Misbehaviour; 6 - Enhancing Communication and Strengthening Teacher-Student Relationships; 7 - Promoting Positive Peer Relationships; 8 - Collaboration with Colleagues to Improve Classroom Behaviour; 9 - Working with Parents to Create a Positive Classroom Environment; 10 - Learning from Classroom Experience: Reflection and Action Research; Index"]
[null,null,null,"Sommario/riassunto","This book focuses on classroom management in primary and secondary schools. It offers ideas, practical advices, theories, frameworks for teachers to manage teaching, learning and students' behaviour in effective and efficient manners. Approaches to behaviour management and promotion of positive interpersonal relationships among school members are provided."]
[null,"3.","Record Nr.",null,"UNISA996465522303316"]
[null,null,"Titolo",null,"Formal Techniques in Real-Time and Fault-Tolerant Systems [[electronic resource] ] : 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings / / edited by Werner Damm, Ernst-Rüdiger Olderog"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002"]
[null,null,"ISBN",null,"3-540-45739-9"]
[null,null,"Edizione",null,"[1st ed. 2002.]"]
[null,null,"Descrizione fisica",null,"1 online resource (X, 462 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 2469"]
[null,null,"Disciplina",null,"004/.33"]
[null,null,"Soggetti",null,"Programming languages (Electronic computers)"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Architecture, Computer"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Microprocessors"]
[{"$nulls":4},"Special purpose computers"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[{"$nulls":4},"Software Engineering/Programming and Operating Systems"]
[{"$nulls":4},"Computer System Implementation"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Processor Architectures"]
[{"$nulls":4},"Special Purpose and Application-Based Systems"]
[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","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Invited Tutorials -- UppaaL Implementation Secrets -- Software Hazard and Safety Analysis -- Invited Papers -- Real-Time Operating Systems: Problems and Novel Solutions -- Real-Time UML -- Eager Class Initialization for Java -- Applications of Formal Methods in Biology -- An Overview of Formal Verification for the Time-Triggered Architecture -- Scheduler Modeling Based on the Controller Synthesis Paradigm -- Synthesis and Scheduling -- Component-Based Synthesis of Dependable Embedded Software -- From the Specification to the Scheduling of Time-Dependent Systems -- On Control with Bounded Computational Resources -- Timed Automata I -- Decidability of Safety Properties of Timed Multiset Rewriting -- Extending Timed Automaton "]
[{"$nulls":4},"and Real-Time Logic to Many-Valued Reasoning -- Fault Diagnosis for Timed Automata -- Bounded Model Checking -- Verification of Timed Automata via Satisfiability Checking -- Take It NP-Easy: Bounded Model Construction for Duration Calculus -- Towards Bounded Model Checking for the Universal Fragment of TCTL -- Verification and Conformance Testing -- A Typed Interrupt Calculus -- Parametric Verification of a Group Membership Algorithm -- A Method for Testing the Conformance of Real Time Systems -- UML Models and Model Checking -- A Probabilistic Extension of UML Statecharts -- Eliminating Queues from RT UML Model Representations -- Model Checking Timed UML State Machines and Collaborations -- Timed Automata II -- Partial Order Path Technique for Checking Parallel Timed Automata -- Constructing Test Automata from Graphical Real-Time Requirements."]
[null,null,null,"Sommario/riassunto","This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techniques in Real-Time and Fault-Tolerant Systems, held at the University of Oldenburg, Germany, 9–12 September 2002. This sym- sium was the seventh in a series of FTRTFT symposia devoted to problems and solutions in safe system design. The previous symposia took place in Warwick 1990, Nijmegen 1992, Lub ¨ eck 1994, Uppsala 1996, Lyngby 1998, and Pune 2000. Proceedings of these symposia were published as volumes 331, 571, 863, 1135, 1486, and 1926 in the LNCS series by Springer-Verlag. This year the sym- sium was co-sponsored by IFIP Working Group 2.2 on Formal Description of Programming Concepts. The symposium presented advances in the development and use of formal techniques in the design of real-time, hybrid, fault-tolerant embedded systems, covering all stages from requirements analysis to hardware and/or software - plementation. Particular emphasis was placed on UML-based development of real-time systems. Through invited presentations, links between the dependable systems and formal methods research communities were strengthened. With the increasing use of such formal techniques in industrial settings, the conference aimed at stimulating cross-fertilization between challenges in industrial usages of formal methods and advanced research. Inresponsetothecallforpapers,39submissionswerereceived.Eachsubm- sion was reviewed by four program committee members assisted by additional referees. At the end of the reviewing process, the program committee accepted 17 papers for presentation at the symposium."]
[null,"4.","Record Nr.",null,"UNINA9910826739703321"]
[null,null,"Autore",null,"Cohen William J."]
[null,null,"Titolo",null,"Ecohumanism and the ecological culture : the educational legacy of Lewis Mumford and Ian McHarg / / William J. Cohen ; with a foreword by Frederick R. Steiner"]
[null,null,"Pubbl/distr/stampa",null,"Philadelphia : , : Temple University Press, , 2019"]
[null,null,"ISBN",null,"1-4399-1829-5"]
[null,null,"Descrizione fisica",null,"1 online resource (319 pages)"]
[null,null,"Disciplina",null,"973.9092"]
[null,null,"Soggetti",null,"Human ecology - Study and teaching"]
[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,"Pathways to the ecological culture -- Emergence of a second enlightenment for the ecological culture -- Planning and design perspectives for the ecological culture -- The shaping of Lewis Mumford's ecohumanism -- Planning and design: the fusion of theory and practice -- Ian McHarg's theory and method of ecological planning and design -- Design with nature : planning theory and critiques -- Ecology and human ecology in planning and design education -- The academic environments at Harvard and the University of Pennsylvania: 1936- 1968 -- The ecological planning curriculum: 1969-1973 -- The human ecological planning curriculum is established: 1973-1979 -- Increasing disarray and the loss in momentum: 1980-1985 -- Phasing down of the human ecological planning curriculum and new directions: 1986-2000 -- A retrospective analysis of the ecological planning curriculum -- A prescription for education in the ecological culture -- Ecological planning: Ian McHarg's legacy in practice and education -- Ecohumanism and the ecological culture : from technology to education."]