{"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":57,"n_cols":5,"rows_kept":57,"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],[11,2,11,3],[11,4,11,5],[12,2,12,3],[12,4,12,5],[13,2,13,3],[13,4,13,5],[14,2,14,3],[15,2,15,3],[19,2,19,3],[20,2,20,3],[21,2,21,3],[24,2,24,3],[25,2,25,3],[29,2,29,3],[31,2,31,3],[31,4,31,5],[32,2,32,3],[32,4,32,5],[33,2,33,3],[34,2,34,3],[35,2,35,3],[36,2,36,3],[37,2,37,3],[38,2,38,3],[39,2,39,3],[50,2,50,3],[51,2,51,3],[54,2,54,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA990004781360403321"]
[null,null,"Autore",null,"Vergilius Maro, Publius <70-19 a. C.>"]
[null,null,"Titolo",null,"P. Vergili Maronis Codex antiquissimus a Rufio Turcio Aproniano V. C. distinctus et emendatus qui nunc Florentiae in Bibliotheca Mediceo-Laurentiana adservatur bono publico"]
[null,null,"Pubbl/distr/stampa",null,"Florentiae : typis Mannianis, 1741"]
[null,null,"Descrizione fisica",null,"[2], XXXV, [1], 459, [1] p. : ill. ; 4°"]
[null,null,"Disciplina",null,"871.01"]
[null,null,"Locazione",null,"FLFBC"]
[null,null,"Collocazione",null,"SG 870/B 104"]
[null,null,"Lingua di pubblicazione",null,"Latino"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"2.","Record Nr.",null,"UNINA9910449973503321"]
[null,null,"Autore",null,"Kottler Jeffrey A."]
[null,null,"Titolo",null,"American shaman : an odyssey of global healing traditions / / Jeffrey A. Kottler and Jon Carlson with Bradford Keeney"]
[null,null,"Pubbl/distr/stampa",null,"New York : , : Brunner-Routledge, , 2004"]
[null,null,"ISBN",null,"1-134-00060-X"]
[{"$nulls":4},"1-280-07735-2"]
[{"$nulls":4},"0-203-60485-7"]
[{"$nulls":4},"0-203-49277-3"]
[null,null,"Descrizione fisica",null,"1 online resource (279 p.)"]
[null,null,"Disciplina",null,"200/.92"]
[null,null,"Soggetti",null,"Shamanism"]
[{"$nulls":4},"Spiritual healing"]
[{"$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 (p. [261]-264)."]
[null,null,"Nota di contenuto",null,"Book Cover; Title; Copyright; Contents;"]
[null,null,null,"Sommario/riassunto","Written for therapists, scholars, clergy, students, and those with an interest in non-traditional healing practices, this book tells the story of Bradford Keeney, the first non-African to be inducted as a shaman in the Kung Bushman and Zulu cultures."]
[null,"3.","Record Nr.",null,"UNISA996465857803316"]
[null,null,"Titolo",null,"Automata, Languages and Programming [[electronic resource] ] : 17th International Colloquium, Warwick University, England, July 16-20, 1990, Proceedings / / edited by Michael S. Paterson"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990"]
[null,null,"ISBN",null,"3-540-47159-6"]
[null,null,"Edizione",null,"[1st ed. 1990.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XII, 788 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 443"]
[null,null,"Disciplina",null,"004.0151"]
[null,null,"Soggetti",null,"Computers"]
[{"$nulls":4},"Mathematical logic"]
[{"$nulls":4},"Data structures (Computer science)"]
[{"$nulls":4},"Combinatorics"]
[{"$nulls":4},"Algorithms"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[{"$nulls":4},"Data Structures"]
[{"$nulls":4},"Algorithm Analysis and Problem Complexity"]
[{"$nulls":4},"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","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,"Nota di contenuto",null,"LEDA: A library of efficient data types and algorithms -- A new universal class of hash functions and dynamic hashing in real time -- A complete and decidable proof system for call-by-value equalities -- Static correctness of hierarchical procedures -- Generic terms having no polymorphic types -- A complete system of B-rational identities -- On non-counting regular classes -- Two-way automata with multiplicity -- ?-Continuous semirings, algebraic systems and pushdown automata -- Nondeterministic computations in sublogarithmic space and space constructibility -- Normalizing and accelerating RAM computations and the problem of reasonable space measures -- A formal study of learning via queries -- Language learning by a “team” -- Functions as processes -- A domain-theoretic model for a higher-order process calculus -- Concurrency, automata "]
[{"$nulls":4},"and domains -- A theory of communicating processes with value-passing -- Analytic variations on the common subexpression problem -- Can a maximum flow be computed in o(nm) time? -- On the distributional complexity of disjointness -- Computing boolean functions on anonymous networks -- On the composition of zero-knowledge proof systems -- Additional queries to random and pseudorandom oracles -- Communication among relations -- Stability and sequentiality in dataflow networks -- Automata for modeling real-time systems -- Markov decision processes and regular events -- Term rewriting systems from Church-Rosser to Knuth-Bendix and beyond -- Nonoblivious normalization algorithms for nonlinear rewrite systems -- Algebraic properties of idempotent substitutions -- Determining the separation of preprocessed polyhedra — A unified approach -- Randomized incremental construction of delaunay and Voronoi diagrams -- Merging free trees in parallel for efficient voronoi diagram construction -- Local optimization and the Traveling Salesman Problem -- Polynomial-time approximation algorithms for the ising model -- On parallelizing graph-partitioning heuristics -- Iterated substitutions and locally catenative systems: a decidability result in the binary case -- Decomposition of partial commutations -- Boolean closure and unambiguity of rational sets -- Compositionality through an operational semantics of contexts -- Structural and behavioural equivalences of networks -- Proving partial order liveness properties -- A proof system for the parallel object-oriented language POOL -- A new approach to maximum matching in general graphs -- On-line graph algorithms with SPQR-trees -- On the bit-complexity of discrete solutions of PDEs: Compact multigrid -- An efficient algorithm for branching bisimulation and stuttering equivalence -- Partial evaluation, self-application and types -- Provable computable functions on abstract data types -- Equational formulas in order-sorted algebras -- An input-size/output-size trade-off in the time-complexity of rectilinear hidden surface removal -- Approximation of convex polygons -- On the rectilinear art gallery problem -- On parallel hashing and integer sorting -- The parallel simplicity of compaction and chaining -- The importance of the left merge operator in process algebras -- Operational and algebraic semantics for facile: A symmetric integration of concurrent and functional programming."]
[null,null,null,"Sommario/riassunto","This volume contains the proceedings of ICALP 90, the International Colloquium on Automata, Languages and Programming sponsored by the European Association for Theoretical Computer Science (EATCS). This annual conference series covers all important areas of theoretical computer science, such as computability, automata, formal languages, analysis of algorithms, computational complexity, data types and data structures, theory of data bases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logic programming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, symbolic and algebraic computation, term rewriting systems, computational geometry, cryptography, and theory of robotics. This volume contains five invited papers and 52 papers selected from 250 submitted."]