{"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":60,"n_cols":5,"rows_kept":60,"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],[7,2,7,3],[8,2,8,3],[12,2,12,3],[12,4,12,5],[13,2,13,3],[13,4,13,5],[14,2,14,3],[15,2,15,3],[18,2,18,3],[19,2,19,3],[20,2,20,3],[21,2,21,3],[22,2,22,3],[32,2,32,3],[33,2,33,3],[37,2,37,3],[40,2,40,3],[40,4,40,5],[41,2,41,3],[41,4,41,5],[42,2,42,3],[42,4,42,5],[43,2,43,3],[44,2,44,3],[48,2,48,3],[49,2,49,3],[50,2,50,3],[52,2,52,3],[53,2,53,3],[57,2,57,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996393693303316"]
[null,null,"Autore",null,"Andrews William <ca. 1635-1713.>"]
[null,null,"Titolo",null,"News from the stars, or, An ephemeris for the year 1681 [[electronic resource] ] : with astrological judgements upon the several eclipses, positions, and configurations of heaven happening therein ... : wherein you have a perfect and brief account of the most material matters and things portended by the heavens to be manifested in the world in the same year / / by William Andrews"]
[null,null,"Pubbl/distr/stampa",null,"London, : Printed by J.G. for the Company of Stationers, 1681"]
[null,null,"Descrizione fisica",null,"[46] p. : ill"]
[null,null,"Soggetti",null,"Astrology"]
[{"$nulls":4},"Ephemerides"]
[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","Reproduction of original in the British Library."]
[null,null,null,"Sommario/riassunto","eebo-0018"]
[null,"2.","Record Nr.",null,"UNINA9910144204403321"]
[null,null,"Titolo",null,"Integrated Formal Methods : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings / / edited by Eerke Boiten, John Derrick, Graeme Smith"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004"]
[null,null,"ISBN",null,"1-280-30726-9"]
[{"$nulls":4},"9786610307265"]
[{"$nulls":4},"3-540-24756-4"]
[null,null,"Edizione",null,"[1st ed. 2004.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XII, 548 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 2999"]
[null,null,"Disciplina",null,"005.1015113"]
[null,null,"Soggetti",null,"Computers"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Computer programming"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Programming languages (Electronic computers)"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Programming Techniques"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[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 at the end of each chapters and index."]
[null,null,"Nota di contenuto",null,"Invited Talks -- SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft -- Design Verification for Control Engineering -- Integrating Model Checking and Theorem Proving in a Reflective Functional Language -- Tutorial -- A Tutorial Introduction to Designs in Unifying Theories of Programming -- Contributed Papers -- An Integration of Program Analysis and Automated Theorem Proving -- Verifying Controlled Components -- Efficient CSP Z Data Abstraction -- State/Event-Based Software Model Checking -- Formalising Behaviour Trees with CSP -- Generating MSCs from an Integrated Formal Specification Language -- UML to B: Formal Verification of Object-Oriented Models -- Software Verification with Integrated Data Type "]
[{"$nulls":4},"Refinement for Integer Arithmetic -- Constituent Elements of a Correctness-Preserving UML Design Approach -- Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption -- Linking CSP-OZ with UML and Java: A Case Study -- Object-Oriented Modelling with High-Level Modular Petri Nets -- Specification and Verification of Synchronizing Concurrent Objects -- Understanding Object-Z Operations as Generalised Substitutions -- Embeddings of Hybrid Automata in Process Algebra -- An Optimal Approach to Hardware/Software Partitioning for Synchronous Model -- A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models -- Integrating Temporal Logics -- Integration of Specification Languages Using Viewpoints -- Integrating Formal Methods by Unifying Abstractions -- Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors -- Using UML Sequence Diagrams as the Basis for a Formal Test Description Language -- Viewpoint-Based Testing of Concurrent Components -- A Method for Compiling and Executing Expressive Assertions."]
[null,null,null,"Sommario/riassunto","The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, was held in Canterbury, UK, 4–7 April 2004. The conference was organized by the Computing Laboratory at the University of Kent, whose main campus is just outside the ancient town of Canterbury, part of the county of Kent. Kent is situated in the southeast of England, and the university sits on a hill overlooking the city of Canterbury and its world-renowned cathedral. The UniversityofKentwasgranteditsRoyalCharterin1965.Todaytherearealmost 10,000 full-time and part-time students, with over 110 nationalities represented. The IFM meetings have proven to be particularly successful. The ?rst m- ting was held in York in 1999, and subsequently we held events in Germany in 2000, and then Finland in 2002. The conferences are held every 18 months or so, and attract a wide range of participants from Europe, the Americas, Asia and Australia. The conference is now ?rmly part of the formal methods conference calendar. The conference has also evolved in terms of themes and subjects - presented, and this year, in line with the subject as a whole, we saw more work on veri?cation as some of the challenges in this subject are being met. The work reported at IFM conferences can be seen as part of the attempt to manage complexity by combining paradigms of speci?cation and design, so that the most appropriate design tools are used at di?erent points in the life-cycle."]
[null,"3.","Record Nr.",null,"UNINA9910968754603321"]
[null,null,"Autore",null,"Ilahi Nur Ali <1895-1974.>"]
[null,null,"Titolo",null,"Knowing the spirit / / Ostad Elahi ; translated and with an introduction by James Winston Morris"]
[null,null,"Pubbl/distr/stampa",null,"Albany, : State University of New York Press, c2007"]
[null,null,"ISBN",null,"9780791481202"]
[{"$nulls":4},"0791481204"]
[{"$nulls":4},"9781429471268"]
[{"$nulls":4},"1429471263"]
[null,null,"Descrizione fisica",null,"viii, 158 p"]
[null,null,"Disciplina",null,"297.2/25"]
[null,null,"Soggetti",null,"Soul - Islam"]
[{"$nulls":4},"Islam - Doctrines"]
[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","Translated from the Persian."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references (p. 145-148) and index."]
[null,null,"Nota di contenuto",null,"Intro -- Knowing the Spirit -- Contents -- Preface and Acknowledgements -- Translator's Introduction -- I. Ostad Elahi's Life and Works -- Childhood and Youth -- Professional Life and Judicial Career -- The Final Period: Writing and Teaching -- Ostad Elahi's Published Works: The Place of Knowing the Spirit -- II. Historical Contexts: The Audience, Language, andStructure of Ma'rifat ar-R¶h -- The \"Three Sources\": Rational Argument, Religious Tradition,and Spiritual Experience -- Allusion and Realization -- The Basic Structure of Knowing the Spirit: The Originationand the Return -- III. The Contemporary Significance of Knowing the Spirit -- The Persian Text andTranslation Conventions -- Knowing the Spirit -- Original Table of Contents -- Introduction -- 1. Establishing the Existenceof the Divine Artisan -- 2. The Spirit -- 3. The Gathering, Reawakening,and Returning (of the Spirit)in the Realm of Return -- 4. The Purely Bodily Return -- 5. The Purely Spiritual Return -- 6. The Harmonization of a Bodily and Spiritual Return -- 7. The (Spirit's) Return by Way of the Process of Perfection -- 8. The Belief of the Proponents of Transmigration -- Conclusion -- Notes -- Notes to the Translator'sIntroduction -- Notes to the Translation -- Bibliography -- References Originally Cited by Ostad Elahi -- Works Cited in the Translator's Introduction and Notes -- Index -- A -- B -- C -- D -- E -- F -- G -- H -- I -- J -- K -- L -- M -- N -- O -- P -- Q -- R -- S -- "]
[{"$nulls":4},"T -- U -- V -- W."]
[null,null,null,"Sommario/riassunto","A modern spiritual classic on the perfection of the soul by a renowned writer from the Islamic tradition."]