{"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":74,"n_cols":5,"rows_kept":74,"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],[7,2,7,3],[8,2,8,3],[9,2,9,3],[10,2,10,3],[15,2,15,3],[16,2,16,3],[20,2,20,3],[21,2,21,3],[21,4,21,5],[22,2,22,3],[22,4,22,5],[23,2,23,3],[24,2,24,3],[27,2,27,3],[28,2,28,3],[29,2,29,3],[32,2,32,3],[33,2,33,3],[37,2,37,3],[40,2,40,3],[40,4,40,5],[41,2,41,3],[41,4,41,5],[42,2,42,3],[42,4,42,5],[43,2,43,3],[44,2,44,3],[45,2,45,3],[46,2,46,3],[49,2,49,3],[49,4,49,5],[50,2,50,3],[50,4,50,5],[51,2,51,3],[52,2,52,3],[53,2,53,3],[54,2,54,3],[55,2,55,3],[56,2,56,3],[57,2,57,3],[66,2,66,3],[67,2,67,3],[71,2,71,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910464274803321"]
[null,null,"Autore",null,"Ehrlich Matthew C. <1962->"]
[null,null,"Titolo",null,"Radio utopia [[electronic resource] ] : postwar audio documentary in the public interest / / Matthew C. Ehrlich"]
[null,null,"Pubbl/distr/stampa",null,"Urbana, : University of Illinois Press, c2011"]
[null,null,"ISBN",null,"1-283-07013-8"]
[{"$nulls":4},"9786613070135"]
[{"$nulls":4},"0-252-09300-3"]
[null,null,"Descrizione fisica",null,"1 online resource (239 p.)"]
[null,null,"Collana",null,"The history of communication"]
[null,null,"Disciplina",null,"791.44"]
[null,null,"Soggetti",null,"Radio broadcasting - United States - History - 20th century"]
[{"$nulls":4},"Documentary radio programs - United States - History - 20th century"]
[{"$nulls":4},"Radio broadcasting - Social aspects - United States - 20th century"]
[{"$nulls":4},"Radio broadcasting - Political aspects - United States - 20th century"]
[{"$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","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Utopian dreams -- A higher destiny -- One world -- New and sparkling ideas -- Home is what you make it -- The quick and the dead -- Hear it now -- Lose no hope."]
[null,"2.","Record Nr.",null,"UNINA9910458141303321"]
[null,null,"Titolo",null,"Fuzzy logic in geology [[electronic resource] /] / edited by Robert V. Demicco and George J. Klir"]
[null,null,"Pubbl/distr/stampa",null,"Amsterdam ; ; Boston, : Elsevier Academic Press, c2004"]
[null,null,"ISBN",null,"1-281-02052-4"]
[{"$nulls":4},"9786611020521"]
[{"$nulls":4},"0-08-052189-4"]
[null,null,"Descrizione fisica",null,"1 online resource (374 p.)"]
[null,null,"Disciplina",null,"550/.1/511313"]
[null,null,"Soggetti",null,"Geology - Mathematics"]
[{"$nulls":4},"Fuzzy logic"]
[{"$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,"Front Cover; Fuzzy Logic in Geology; Copyright Page; Contents; Contributors; Foreword; Preface; Glossary of Symbols; Chapter 1. Introduction; Chapter 2. Fuzzy Logic: A Specialized Tutorial; Chapter 3. Fuzzy Logic and Earth Science: An Overview; Chapter 4. Fuzzy Logic in Geological Sciences: A Literature Review; Chapter 5. Applications of Fuzzy Logic to Stratigraphic Modeling; Chapter 6. Fuzzy Logic in Hydrology and Water Resources; Chapter 7. Formal Concept Analysis in Geology; Chapter 8. Fuzzy Logic and Earthquake Research; Chapter 9. Fuzzy Transform: Application to the Reef Growth Problem"]
[{"$nulls":4},"Chapter 10. Ancient Sea Level EstimationAcknowledgments; Index; Color Plates Section"]
[null,null,null,"Sommario/riassunto","What is fuzzy logic?--a system of concepts and methods for exploring modes of reasoning that are approximate rather than exact. While the engineering community has appreciated the advances in understanding using fuzzy logic for quite some time, fuzzy logic's impact in non-engineering disciplines is only now being recognized. The authors of Fuzzy Logic in Geology attend to this growing interest in the subject and introduce the use of fuzzy set theory in a style geoscientists can understand. This is followed by individual chapters on topics relevant to earth scientists: sediment modeling,"]
[null,"3.","Record Nr.",null,"UNINA9910482182903321"]
[null,null,"Autore",null,"Rabus Pieter <1660-1702.>"]
[null,null,"Titolo",null,"Opkomst, geboorte, leven en dood van Maria Stuart, koningin van Groot Brittanje, Vrankryk en Yerland ondermengd met de voornaamste gevallen zo van staat als oorlog, welke zich hebben toegedragen beneffens een verhandeling van 't Huys van Stuart, als ook de Lykreden ... door Johannes Brand mitsgaders rouwklachten en grafschriften en een curieuze Plaat, verbeeldende de begraavenis van haare Majesteit [[electronic resource]]"]
[null,null,"Pubbl/distr/stampa",null,"Amsterdam, : Jan Claesz ten Hoorn, 1671-1715, 1695"]
[null,null,"Descrizione fisica",null,"Online resource (127, 56 p, 4°)"]
[null,null,"Lingua di pubblicazione",null,"Olandese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Reproduction of original in Koninklijke Bibliotheek, Nationale bibliotheek van Nederland."]
[null,"4.","Record Nr.",null,"UNINA9910143635303321"]
[null,null,"Titolo",null,"Tools and Algorithms for the Construction and Analysis of Systems : 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings / / edited by Susanne Graf, Michael Schwartzbach"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000"]
[null,null,"ISBN",null,"3-540-46419-0"]
[null,null,"Edizione",null,"[1st ed. 2000.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XIV, 552 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 1785"]
[null,null,"Disciplina",null,"004.2/1"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Computer networks"]
[{"$nulls":4},"Algorithms"]
[{"$nulls":4},"Software Engineering/Programming and Operating Systems"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Computer Communication Networks"]
[{"$nulls":4},"Algorithm Analysis and Problem Complexity"]
[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 at the end of each chapters and index."]
[null,null,"Nota di contenuto",null,"Invited Contribution -- On the Construction of Automata from Linear Arithmetic Constraints -- Software and Formal Methods Tools -- An Extensible Type System for Component-Based Design -- Proof General: A Generic Tool for Proof Development -- ViewPoint-Oriented Software Development: Tool Support for Integrating Multiple Perspectives by Distributed Graph Transformation -- Formal Methods Tools -- Consistent Integration of Formal Methods -- An Architecture for Interactive Program Provers -- The PROSPER Toolkit -- CASL: From Semantics to Tools -- Timed and Hybrid Systems -- On the Construction of Live Timed Systems -- On Memory-Block Traversal Problems in Model-Checking Timed Systems -- Symbolic Model Checking for Rectangular Hybrid Systems -- Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems -- Infinite "]
[{"$nulls":4},"and Parameterized Systems -- Verification of Parameterized Systems Using Logic Program Transformations -- Abstracting WS1S Systems to Verify Parameterized Networks -- FMona: A Tool for Expressing Validation Techniques over Infinite State Systems -- Transitive Closures of Regular Relations for Verifying Infinite-State Systems -- Diagnostic and Test Generation -- Using Static Analysis to Improve Automatic Test Generation -- Efficient Diagnostic Generation for Boolean Equation Systems -- Efficient Model-Checking -- Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems -- Checking for CFFD-Preorder with Tester Processes -- Fair Bisimulation -- Integrating Low Level Symmetries into Reachability Analysis -- Model-Checking Tools -- Model Checking Support for the ASM High-Level Language -- A Markov Chain Model Checker -- Model Checking SDL with Spin -- Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking -- Symbolic Model-Checking -- Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation -- Symbolic Reachability Analysis Based on SAT-Solvers -- Symbolic Representation of Upward-Closed Sets -- BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent Systems -- Visual Tools -- Tool-Based Specification of Visual Languages and Graphic Editors -- VIP: A Visual Editor and Compiler for v-Promela -- Verification of Critical Systems -- A Comparison of Two Verification Methods for Speculative Instruction Execution -- Partial Order Reductions for Security Protocol Verification -- Model Checking Security Protocols Using a Logic of Belief -- A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors."]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, held as part of ETAPS 2000 in Berlin, Germany, in March/April 2000. The 33 revised full papers presented together with one invited paper and two short tool descriptions were carefully reviewed and selected from a total of 107 submissions. The papers are organized in topical sections on software and formal methods, formal methods, timed and hybrid systems, infinite and parameterized systems, diagnostic and test generation, efficient model checking, model-checking tools, symbolic model checking, visual tools, and verification of critical systems."]