{"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":65,"n_cols":5,"rows_kept":65,"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],[11,2,11,3],[12,2,12,3],[14,2,14,3],[14,4,14,5],[15,2,15,3],[15,4,15,5],[16,2,16,3],[18,2,18,3],[21,2,21,3],[22,2,22,3],[23,2,23,3],[27,2,27,3],[28,2,28,3],[32,2,32,3],[36,2,36,3],[36,4,36,5],[37,2,37,3],[37,4,37,5],[38,2,38,3],[39,2,39,3],[40,2,40,3],[41,2,41,3],[62,2,62,3],[63,2,63,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISALENTO991002332199707536"]
[null,null,"Autore",null,"Biblioteca apostolica Vaticana"]
[null,null,"Titolo",null,"Manoscritti cartografici e strumenti scientifici nella Biblioteca Vaticana : secc. XIV-XVII : mostra organizzata in occasione della IX Conferenza internazionale di storia della cartografia : giugno-dicembre 1981"]
[null,null,"Pubbl/distr/stampa",null,"Citta del Vaticano : Biblioteca Apostolica Vaticana, 1981"]
[null,null,"Descrizione fisica",null,"64 p. ; 18 cm"]
[null,null,"Disciplina",null,"016.912"]
[null,null,"Soggetti",null,"Cartografia - Sec. 14.-17. - Esposizioni"]
[{"$nulls":4},"Esposizioni - Roma - Manoscritti cartografici e Strumenti scientifici - Sec. 14.-17"]
[{"$nulls":4},"Manoscritti - Sec. 14.-17. - Cataloghi"]
[{"$nulls":4},"Biblioteca Apostolica Vaticana - Esposizioni"]
[{"$nulls":4},"Strumenti scientifici - Sec. 14.-17"]
[null,null,"Lingua di pubblicazione",null,"Italiano"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"2.","Record Nr.",null,"UNINA9910789411903321"]
[null,null,"Titolo",null,"Computability in context [[electronic resource] ] : computation and logic in the real world / / editors, S. Barry Cooper, Andrea Sorbi"]
[null,null,"Pubbl/distr/stampa",null,"London, : Imperial College Press"]
[{"$nulls":4},"Singapore ; ; Hackensack, N.J., : World Scientific Pub. Co., 2011"]
[null,null,"ISBN",null,"1-283-14816-1"]
[{"$nulls":4},"9786613148162"]
[{"$nulls":4},"1-84816-277-4"]
[null,null,"Descrizione fisica",null,"1 online resource (419 p.)"]
[null,null,"Disciplina",null,"511.3/52"]
[null,null,"Soggetti",null,"Computable functions"]
[{"$nulls":4},"Computational intelligence"]
[{"$nulls":4},"Set theory"]
[{"$nulls":4},"Mathematics - Philosophy"]
[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."]
[null,null,"Nota di contenuto",null,"Preface; Contents; 1. Computation, Information, and the Arrow of Time P. Adriaans & P. van Emde Boas; 2. The Isomorphism Conjecture for NP M. Agrawal; 3. The Ershov Hierarchy M. M. Arslanov; 4. Complexity and Approximation in Reoptimization G. Ausiello, V. Bonifaci, & B. Escoffer; 5. Definability in the Real Universe S. B. Cooper; 6. HF-Computability Y. L. Ershov, V. G. Puzarenko, & A. I. Stukachev; 7. The Mathematics of Computing between Logic and Physics G. Longo & T. Paul; 8. Liquid State Machines: Motivation, Theory, and Applications W. Maass"]
[{"$nulls":4},"9. Experiments on an Internal Approach to Typed Algorithms in Analysis D. Normann10. Recursive Functions: An Archeological Look P. Odifreddi; 11. Reverse Mathematics and Well-ordering Principles M. Rathjen & A. Weiermann; 12. Discrete Transfinite Computation Models P. D. Welch"]
[null,null,null,"Sommario/riassunto","Computability has played a crucial role in mathematics and computer science, leading to the discovery, understanding and classification of decidable/undecidable problems, paving the way for the modern computer era, and affecting deeply our view of the world. Recent new paradigms of computation, based on biological and physical models, address in a radically new way questions of efficiency and challenge assumptions about the so-called Turing barrier. This volume addresses "]
[{"$nulls":4},"various aspects of the ways computability and theoretical computer science enable scientists and philosophers to deal with m"]
[null,"3.","Record Nr.",null,"UNINA9910143515903321"]
[null,null,"Titolo",null,"Annual report"]
[null,null,"Pubbl/distr/stampa",null,"[Madrid], : Banco de España"]
[null,null,"ISSN",null,"1695-436X"]
[null,null,"Descrizione fisica",null,"1 online resource"]
[null,null,"Soggetti",null,"Banks and banking, Central - Spain"]
[{"$nulls":4},"International economic relations"]
[{"$nulls":4},"central bank"]
[{"$nulls":4},"activity report"]
[{"$nulls":4},"Spain"]
[{"$nulls":4},"banque centrale"]
[{"$nulls":4},"rapport d'activité"]
[{"$nulls":4},"Espagne"]
[{"$nulls":4},"Banks and banking, Central"]
[{"$nulls":4},"Economic history"]
[{"$nulls":4},"Economische situatie"]
[{"$nulls":4},"Financiële ontwikkeling"]
[{"$nulls":4},"CENTRAL BANKS"]
[{"$nulls":4},"BANKING"]
[{"$nulls":4},"ECONOMIC CONDITIONS"]
[{"$nulls":4},"MONETARY POLICY"]
[{"$nulls":4},"SPAIN"]
[{"$nulls":4},"INTERNATIONAL ECONOMIC RELATIONS"]
[{"$nulls":4},"Periodicals."]
[{"$nulls":4},"Spain Economic conditions 1975-2008 Periodicals"]
[{"$nulls":4},"Spain"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Periodico"]