{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"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":46,"n_cols":5,"rows_kept":46,"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],[7,2,7,3],[8,2,8,3],[9,2,9,3],[10,2,10,3],[17,2,17,3],[18,2,18,3],[22,2,22,3],[28,2,28,3],[28,4,28,5],[29,2,29,3],[29,4,29,5],[30,2,30,3],[30,4,30,5],[31,2,31,3],[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],[40,2,40,3],[43,2,43,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910456928803321"]
[null,null,"Titolo",null,"Energy, bio fuels and development : comparing Brazil and the United States / / edited by Edmund Amann, Werner Baer and Donald V. Coes"]
[null,null,"Pubbl/distr/stampa",null,"London : , : Routledge, , 2011"]
[null,null,"ISBN",null,"1-283-10486-5"]
[{"$nulls":4},"9786613104861"]
[{"$nulls":4},"1-136-84622-0"]
[{"$nulls":4},"0-203-83385-6"]
[null,null,"Descrizione fisica",null,"1 online resource (369 p.)"]
[null,null,"Collana",null,"Routledge studies in development economics ; ; v. 87"]
[null,null,"Disciplina",null,"333.790973"]
[null,null,"Soggetti",null,"Energy development - Brazil"]
[{"$nulls":4},"Energy development - United States"]
[{"$nulls":4},"Clean energy industries - Brazil"]
[{"$nulls":4},"Clean energy industries - United States"]
[{"$nulls":4},"Energy policy - Brazil"]
[{"$nulls":4},"Energy policy - 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,"Energy, Bio Fuels and Development Comparing Brazil and the United States; Copyright; Contents; List of figures; List of tables; List of contributors; 1 Introduction; PART IMacroeconomic and distributional dimensions of energy; 2 Oil price shocks and the macro economy: the United States versus Brazil; 3 Energy and income distribution in Brazil's development process; 4 The earth is finite and other irrelevancies about the world's ultimate oil supply; 5 Energy restrictions to growth: the past, present and future of energy supply in Brazil"]
[{"$nulls":4},"6 Oil prices and inflation in Brazil: exchange rate versus inflation targeting7 Brazilian energy independence: petroleum, trade and economic efficiency; 8 The role played by the BNDES in funding electricity investments in Brazil; PART IISocial, local and environmental impacts of changes in the energy market; 9 Climate change, energy use and long- run growth in Brazil; 10 Spatial interactions between energy and energy-intensive sectors in the Brazilian economy: a field of influence approach"]
[{"$nulls":4},"11 Determinants of the income of workers in sugar cane plantations and in the sugar and ethanol industries in the North-Northeast and Center-South regions of Brazil12 A framework for examining the impact of bio fuels on the poor in Brazil; 13 Bio fuels, food, and trade: a comparison of bio fuel development efforts in two communities in Illinois; 14 Oligopolistic behavior of Brazilian gas stations; PART IIIThe impacts of bio and alternative fuels; 15 The journey to the next- generation of bioeconomy: the US perspective"]
[{"$nulls":4},"16 Between sustainability and development: bioenergy, land use, food security and lifecycle analysis17 Bio energy efficiency and a flex-mill simulation in Mato Grosso; 18 The impacts of agriculture-based energy sources on land use in Brazil; 19 Fossil fuels, bio fuels, and food: ranking priorities; 20 The expansion of ethanol and land use in Brazil's Cerrado; 21 The viability of the biodiesel program as an instrument of social inclusion"]
[{"$nulls":4},"22 The expansion of sugarcane cultivation and its impact on municipal revenues: an application of dynamic spatial panels to municipalities in the state of São Paulo, BrazilPART IVConclusions; 23 Conclusions; Index"]
[null,null,null,"Sommario/riassunto","This collection examines the important and topical issue of the economic, social and environmental implications of concerted attempts to diversify energy sources away from fossil fuels. The book expertly examines this issue by focussing on the contrasting experiences of two major economies; one developed, and the other a rapidly expanding, emerging market. Energy, Bio Fuels and Development evaluates the experience of Brazil, with elements of that of the US highlighted for the purpose of comparison. A key area of concern surrounds the causes and consequences of the con"]
[null,"2.","Record Nr.",null,"UNINA9910792486403321"]
[null,null,"Autore",null,"Hermes Hans"]
[null,null,"Titolo",null,"Enumerability, decidability, computability : an introduction to the theory of recursive functions / / Hans Hermes ; Translated by Gabor T. Herman and O. Plassmann"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1965]"]
[{"$nulls":4},"©1965"]
[null,null,"ISBN",null,"3-662-11686-3"]
[null,null,"Edizione",null,"[1st ed. 1965.]"]
[null,null,"Descrizione fisica",null,"1 online resource (X, 245 p.)"]
[null,null,"Collana",null,"Grundlehren der mathematischen Wissenschaften, A Series of Comprehensive Studies in Mathematics, , 0072-7830 ; ; 127"]
[null,null,"Disciplina",null,"164"]
[null,null,"Soggetti",null,"Mathematics"]
[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,"Nota di contenuto",null,"1. Introductory Reflections on Algorithms -- 2. Turing Machines -- 3. ?-Recursive Functions -- 4. The Equivalence of Turing-Computability and?-Recursiveness -- 5. Recursive Functions -- 6. Undecidable Predicates -- 7. Miscellaneous -- Author and Subject Index."]
[null,null,null,"Sommario/riassunto","The task of developing algorithms to solve problems has always been considered by mathematicians to be an especially interesting and im­ portant one. Normally an algorithm is applicable only to a narrowly limited group of problems. Such is for instance the Euclidean algorithm, which determines the greatest common divisor of two numbers, or the well-known procedure which is used to obtain the square root of a natural number in decimal notation. The more important these special algorithms are, all the more desirable it seems to have algorithms of a greater range of applicability at one's disposal. Throughout the centuries, attempts to provide algorithms applicable as widely as possible were rather unsuc­ cessful. It was only in the second half of the last century that the first appreciable advance took place. Namely, an important group of the inferences of the logic of predicates was given in the form of a calculus. (Here the Boolean algebra played an essential pioneer role. ) One could now perhaps have conjectured that all mathematical problems are solvable by algorithms. However, well-known, yet unsolved problems (problems like the word problem of group theory or Hilbert's tenth problem, which considers the question of solvability of Diophantine equations) were warnings to be careful. Nevertheless, the impulse had been given to search for the essence of "]
[{"$nulls":4},"algorithms. Leibniz already had inquired into this problem, but without success."]