{"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":64,"n_cols":5,"rows_kept":64,"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],[11,2,11,3],[12,2,12,3],[16,2,16,3],[20,2,20,3],[20,4,20,5],[21,2,21,3],[21,4,21,5],[22,2,22,3],[23,2,23,3],[26,2,26,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],[38,2,38,3],[38,4,38,5],[39,2,39,3],[39,4,39,5],[40,2,40,3],[41,2,41,3],[42,2,42,3],[43,2,43,3],[44,2,44,3],[45,2,45,3],[46,2,46,3],[57,2,57,3],[58,2,58,3],[61,2,61,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910454320603321"]
[null,null,"Autore",null,"Blake Wilson"]
[null,null,"Titolo",null,"Rockbursts [[electronic resource] ] : case studies from North American hard-rock mines / / Wilson Blake and David G.F. Hedley"]
[null,null,"Pubbl/distr/stampa",null,"Littleton, Colo., : Society for Mining, Metallurgy, and Exploration, c2003"]
[null,null,"ISBN",null,"0-87335-294-7"]
[null,null,"Descrizione fisica",null,"1 online resource (129 p.)"]
[null,null,"Disciplina",null,"622/.28"]
[null,null,"Soggetti",null,"Rock bursts - North America"]
[{"$nulls":4},"Mines and mineral resources - North America"]
[{"$nulls":4},"Geology - North America"]
[{"$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,"Cover; Title; Copyright; Contents; Preface; CHAPTER 1: The Rockburst Phenomenon; CHAPTER 2: Brunswick MineBathurst, New Brunswick; CHAPTER 3: Lake Shore Mine Kirkland Lake, Ontario; CHAPTER 4: Teck-Hughes and Wright-Hargreaves Mines Kirkland Lake, Ontario; CHAPTER 5: Lake Shore and Wright-Hargreaves Mines at Depth; CHAPTER 6: Macassa Mine Kirkland Lake, Ontario; CHAPTER 7: Falconbridge No. 5 Shaft Sudbury, Ontario; CHAPTER 8: Strathcona Mine Onaping, Ontario; CHAPTER 9: Creighton Mine Sudbury, Ontario; CHAPTER 10: Copper Cliff North Mine Sudbury, Ontario"]
[{"$nulls":4},"CHAPTER 11: Quirke Mine Elliot Lake, OntarioCHAPTER 12: Campbell Mine Red Lake, Ontario; CHAPTER 13: Lucky Friday Mine Mullan, Idaho; CHAPTER 14: Star Mine Burke, Idaho; CHAPTER 15: Galena Mine Wallace, Idaho; CHAPTER 16: Sunshine Mine Kellogg, Idaho; CHAPTER 17: Rockbursting at Kirkland Lake and Coeur d'Alene; Index; About the Authors"]
[null,null,null,"Sommario/riassunto","The occurrence of rockbursts poses a significant and growing threat to mines--and miners--throughout North America. High stress on brittle rock structures during mining operations can produce sudden, explosive reactions that result in costly mine failures, serious injury, and even death.  Using a series of case studies, this essential reference documents the experiences of 15 of the most rockburst-prone mines in the US and Canada over the last century. The book provides an historical analysis of rockburst activity along with state-of-the-art "]
[{"$nulls":4},"strategies for anticipating and preventing this dang"]
[null,"2.","Record Nr.",null,"UNINA9910454002203321"]
[null,null,"Titolo",null,"Women's work [[electronic resource] ] : making dance in Europe before 1800 / / edited by Lynn Matluck Brooks"]
[null,null,"Pubbl/distr/stampa",null,"Madison, Wis., : University of Wisconsin Press, c2007"]
[null,null,"ISBN",null,"0-299-22533-X"]
[{"$nulls":4},"1-282-25598-3"]
[{"$nulls":4},"9786612255984"]
[null,null,"Descrizione fisica",null,"1 online resource (282 p.)"]
[null,null,"Collana",null,"Studies in dance history"]
[null,null,"Disciplina",null,"792.8094"]
[null,null,"Soggetti",null,"Women dancers - Europe - History"]
[{"$nulls":4},"Dance - Europe - History"]
[{"$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,"The doubly invisible: Dance in history, women in dance history / Lynn Matluck Brooks -- Isabella and the dancing Este brides, 1473-1514 / Barbara Sparti -- Fabritio Caroso's patronesses / Angene Feves -- At the Queen's command : Henrietta Maria and the development of the English masque / Anne Daye -- The female ballet troupe of the Paris Opera from 1700 to 1725 / Nathalie Lecomte -- Françoise Prévost : the unauthorized biography / Régine Astier -- The shaping of Galatea : who controlled the career of Marie Sallé? / Sarah McCleave -- In pursuit of the dancer-actress / Moira Goff -- Elisabeth of Spalbeek : dancing the passion / Karen Silen -- Galanterie and gloire : women's will and the eighteenth-century worldview in Les Indes galantes / Joellen A. Meglin."]
[null,"3.","Record Nr.",null,"UNISA996465810903316"]
[null,null,"Titolo",null,"Mathematical Foundations of Computer Science 1992 [[electronic resource] ] : 17th International Symposium, Prague, Czechoslovakia, August 24-28, 1992. Proceedings / / edited by Ivan M. Havel, Vaclav Koubek"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992"]
[null,null,"ISBN",null,"3-540-47291-6"]
[null,null,"Edizione",null,"[1st ed. 1992.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XI, 525 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 629"]
[null,null,"Disciplina",null,"004.0151"]
[null,null,"Soggetti",null,"Computers"]
[{"$nulls":4},"Algorithms"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Mathematical logic"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Computation by Abstract Devices"]
[{"$nulls":4},"Algorithm Analysis and Problem Complexity"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[{"$nulls":4},"Software Engineering"]
[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,"On range searching with semialgebraic sets -- Graph layout problems -- Parallel recognition and ranking of context-free languages -- On the expansion of combinatorial polytopes -- Neural networks and complexity theory -- Theory of computation over stream algebras, and its applications -- Methods in parallel algorithmcs -- On the complexity of small description and related topics -- Weak parallel machines: A new class of physically feasible parallel machine models -- The complexity of graph connectivity -- A perfect parallel dictionary -- Some remarks on the test complexity of iterative logic arrays -- The degree structure of 1-L reductions -- Promise problems and access to unambiguous computation -- On the complexity of incremental computation -- Rational transductions and complexity of counting "]
[{"$nulls":4},"problems -- Negation elimination in equational formulae -- Object interaction -- Strong normalization of substitutions -- Probabilistic and pluralistic learners with mind changes -- Parallel complexity of iterated morphisms and the arithmetic of small numbers -- On computational power of weighted finite automata -- The shuffle exchange network has a Hamiltonian path -- Poset properties of complex traces -- A threshold for unsatisfiability -- Dataflow semantics for Petri nets -- About boundedness for some datalog and DATALOGneg programs -- Merging and sorting strings in parallel -- Characterization of context-pree languages by erasing automata -- Insertion and deletion of words: Determinism and reversibility -- Small universal one-state linear operator algorithm -- Mobility in the CC-paradigm -- The emptiness problem for intersections of regular languages -- On finite automata with limited nondeterminism (extended abstract) -- Definitions and comparisons of local computations on graphs -- Efficient unidimensional universal cellular automaton -- Inferring a tree from walks -- Almost every set in exponential time is P-bi-immune -- A functorial semantics for observed concurrency -- Modelling concurrency with semi-commutations -- Decision problems for cellular automata and their semigroups -- On the nature of events -- New parallel algorithms for convex hull and triangulation in 3-dimensional space -- Two simple characterizations of well-founded semantics -- Fully abstract semantics for higher order communicating systems -- Superposable Trellis Automata -- Maintaining proximity in higher dimensional spaces -- Characterizing regular languages with polynomial densities -- A strategy for speeding-up the computation of characteristic sets -- One-rule trace-rewriting systems and confluence."]
[null,null,null,"Sommario/riassunto","This volume contains 10 invited papers and 40 short communications contributed for presentation at the 17th Symposium on Mathematical Foundations of Computer Science, held in Prague, Czechoslovakia, August 24-28, 1992. The series of MFCS symposia, organized alternately in Poland and Czechoslovakia since 1972, has a long and well established tradition. The purpose of the series is to encourage high-quality research in all branches of theoretical computer science and to bring together specialists working actively in the area. Numerous topics are covered in this volume. The invited papers cover: range searching with semialgebraic sets, graph layout problems, parallel recognition and ranking of context-free languages, expansion of combinatorial polytopes, neural networks and complexity theory, theory of computation over stream algebras, methods in parallel algorithms, the complexity of small descriptions, weak parallel machines, and the complexity of graph connectivity."]