{"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":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],[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],[10,2,10,3],[11,2,11,3],[13,2,13,3],[13,4,13,5],[14,2,14,3],[14,4,14,5],[15,2,15,3],[15,4,15,5],[16,2,16,3],[17,2,17,3],[18,2,18,3],[19,2,19,3],[20,2,20,3],[22,2,22,3],[27,2,27,3],[27,4,27,5],[28,2,28,3],[28,4,28,5],[29,2,29,3],[29,4,29,5],[30,2,30,3],[31,2,31,3],[32,2,32,3],[33,2,33,3],[34,2,34,3],[35,2,35,3],[36,2,36,3],[38,2,38,3],[39,2,39,3],[43,2,43,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA990000470460403321"]
[null,null,"Autore",null,"Bjørner, Dines <1937- >"]
[null,null,"Titolo",null,"Towards a formal description of Ada / edited by D. Bjorner, O. N. Oest"]
[null,null,"Pubbl/distr/stampa",null,"Berlin : Springer-Verlag, 1980"]
[null,null,"ISBN",null,"3-540-10283-3"]
[null,null,"Descrizione fisica",null,"630 p. : ill. ; 24 cm"]
[null,null,"Collana",null,"Lecture notes in computer science ; 98"]
[null,null,"Disciplina",null,"005.133"]
[null,null,"Locazione",null,"DINEL"]
[null,null,"Collocazione",null,"10 P.T. 363"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"2.","Record Nr.",null,"UNICASUM10097872"]
[null,null,"Autore",null,"Pontano, Fabio <sec. 17.>"]
[null,null,"Titolo",null,"Discorso di Fabio Pontano sopra l'antichità della città di Foligno / a cura di Luigi Sensi"]
[null,null,"Pubbl/distr/stampa",null,"Foligno, : Accademia fulginia di lettere scienze e arti, 2008"]
[null,null,"Descrizione fisica",null,"XI, 215 p. : ill. ; 24 cm"]
[null,null,"Collana",null,"Supplemento al Bollettino storico della città di Foligno ; 7"]
[null,null,"Soggetti",null,"Foligno - Antichita"]
[null,null,"Lingua di pubblicazione",null,"Italiano"]
[{"$nulls":4},"Latino"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","In testa al front.: Accademia fulginia di lettere scienze e arti; Archeoclub d'Italia, sede di Foligno"]
[{"$nulls":4},"Contiene la ripr. facs dell'ed.: Perugia 1618"]
[{"$nulls":4},"Con appendice di testi."]
[null,"3.","Record Nr.",null,"UNINA9910438115503321"]
[null,null,"Autore",null,"Soffel Michael"]
[null,null,"Titolo",null,"Space-time reference systems / / Michael Soffel ; Ralf Langhans"]
[null,null,"Pubbl/distr/stampa",null,"Heidelberg, : Springer, 2013"]
[null,null,"ISBN",null,"3-642-30226-2"]
[null,null,"Edizione",null,"[1st ed. 2013.]"]
[null,null,"Descrizione fisica",null,"1 online resource (320 p.)"]
[null,null,"Collana",null,"Astronomy and astrophysics library, , 0941-7834"]
[null,null,"Disciplina",null,"526.1"]
[null,null,"Soggetti",null,"Celestial reference systems"]
[{"$nulls":4},"Time - Systems and standards"]
[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,"List of Symbols -- Preface -- 1 Introduction -- 2 Time -- 3 Space-Time -- 4 Barycentric Dynamical Reference System -- 5 Classical Astronomical Coordinates -- 6 Astrometry -- 7 Celestial Reference System -- 8 Terrestrial Reference System -- 9 From the GCRS to the ITRS -- 10 Astronomical Software – Yearbooks -- 11 Astronomical constants -- References -- List of acronyms -- Appendix A: Solutions to Exercises -- Appendix B: Description of the AstroRef Package -- Index 304."]
[null,null,null,"Sommario/riassunto","The high accuracy of modern astronomical spatial-temporal reference systems has made them considerably complex. This book offers a comprehensive overview of such systems. It begins with a discussion of ‘The Problem of Time’, including recent developments in the art of clock making (e.g., optical clocks) and various time scales. The authors address  the definitions and realization of spatial coordinates by reference to remote celestial objects such as quasars. After an extensive treatment of classical equinox-based coordinates, new paradigms for setting up a celestial reference system are introduced that no longer refer to the translational and rotational motion of the Earth. The role of relativity in the definition and realization of such systems is clarified. The topics presented in this book are complemented by exercises (with solutions). The authors offer a series of files, written in Maple, a standard computer algebra system, to help readers get a feel for the various models and orders of magnitude. Beyond astrometry, the main fields of application of high-precision astronomical spatial-temporal reference systems and frames are navigation (GPS, interplanetary spacecraft navigation) and global "]
[{"$nulls":4},"geodynamics, which provide a high-precision Celestial Reference System and its link to any terrestrial spatial-temporal reference system. Mankind’s urgent environmental questions can only be answered in the context of appropriate reference systems in which both aspects, space and time, are realized with a sufficiently high level of accuracy. This book addresses all those interested in high-precision reference systems and the various techniques (GPS, Very Long Baseline Interferometry, Satellite Laser Ranging, Lunar Laser Ranging) necessary for their realization, including the production and dissemination of time signals.  ."]