{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":4,"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":67,"n_cols":5,"rows_kept":67,"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],[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],[21,2,21,3],[22,2,22,3],[34,2,34,3],[35,2,35,3],[38,2,38,3],[41,2,41,3],[41,4,41,5],[42,2,42,3],[42,4,42,5],[43,2,43,3],[44,2,44,3],[45,2,45,3],[47,2,47,3],[50,2,50,3],[51,2,51,3],[55,2,55,3],[55,4,55,5],[56,2,56,3],[56,4,56,5],[57,2,57,3],[58,2,58,3],[59,2,59,3],[60,2,60,3],[63,2,63,3],[64,2,64,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910256256103321"]
[null,null,"Autore",null,"Figes, Orlando"]
[null,null,"Titolo",null,"Crimea : l'ultima crociata / Orlando Figes"]
[null,null,"Pubbl/distr/stampa",null,"Torino : Einaudi, 2015"]
[null,null,"ISBN",null,"978-88-06-22424-0"]
[null,null,"Descrizione fisica",null,"XVII, 531 p. : ill. ; 22 cm"]
[null,null,"Collana",null,"La biblioteca ; 14"]
[null,null,"Disciplina",null,"947.0738"]
[null,null,"Locazione",null,"FSPBC"]
[null,null,"Collocazione",null,"XIV B 2636"]
[null,null,"Lingua di pubblicazione",null,"Italiano"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Traduzione di Luigi Giacone"]
[null,"2.","Record Nr.",null,"UNISA996465850903316"]
[null,null,"Titolo",null,"Formal Techniques in Real-Time and Fault-Tolerant Systems [[electronic resource] ] : 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings / / edited by Bengt Jonsson, Joachim Parrow"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996"]
[null,null,"ISBN",null,"3-540-70653-4"]
[null,null,"Edizione",null,"[1st ed. 1996.]"]
[null,null,"Descrizione fisica",null,"1 online resource (X, 490 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 1135"]
[null,null,"Disciplina",null,"004/.33"]
[null,null,"Soggetti",null,"Computers"]
[{"$nulls":4},"Programming languages (Electronic computers)"]
[{"$nulls":4},"Operating systems (Computers)"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Special purpose computers"]
[{"$nulls":4},"Microprocessors"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[{"$nulls":4},"Operating Systems"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Special Purpose and Application-Based Systems"]
[{"$nulls":4},"Processor Architectures"]
[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 the semantics of group communication -- Unifying verification paradigms -- Formal methods for early fault detection -- Retiming techniques for Statecharts -- Compiling Argos into Boolean equations -- Real-time mode-machines -- A calculus for timed automata -- Minimizable timed automata -- Weak chop inverses and liveness in Mean-Value Calculus -- Synthesizing controllers from Duration Calculus -- Sampling semantics of Duration Calculus -- The production cell: A verified real-time system -- Verification-driven development of a collision-avoidance protocol for the Ethernet -- Exhaustive computation of the scheduled task execution sequences of a real-time application -- Scheduling Data Flow programs in Hard "]
[{"$nulls":4},"Real-Time environments -- Dynamic scheduling in the presence of faults: Specification and verification -- Efficient broadcasting on faulty star networks -- Model checking for extended timed temporal logics -- Partial orders and verification of real-time systems -- Toward a modal theory of types for the ?-calculus -- Graphical formalization of real-time requirements -- On specifying real-time systems in a causality-based setting -- Verification of embedded systems using synchronous observers -- Compositionality in real-time shared variable concurrency -- Formal analysis of a real-time kernel specification -- Mona: Decidable arithmetic in practice -- Verifying synchronous reactive systems programmed in ESTEREL -- AutoFocus — A tool for distributed systems specification -- A tool for translation of VHDL descriptions into a formal model and its application to formal verification and synthesis -- EVGC: A tool for visualizing LOTOS behavioural specifications."]
[null,null,null,"Sommario/riassunto","This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS '96, held in Uppsala, Sweden, in September 1996. The 22 revised full papers presented were selected from a total of 61 submissions; also included are three invited contributions and five tools demonstrations. The papers are organized in sections on state charts, timed automata, duration calculus, case studies, scheduling, fault tolerance, specification, and verification."]
[null,"3.","Record Nr.",null,"UNINA9910715822003321"]
[null,null,"Titolo",null,"Confiscation of rebel property. Resolution submitted by Mr. Campbell, on the subject of the confiscation of rebel property. December 2, 1861. -- Ordered to be printed, and further consideration postponed until the 10th instant at 1 o'clock p.m"]
[null,null,"Pubbl/distr/stampa",null,"[Washington, D.C.] : , : [U.S. Government Printing Office], , 1861"]
[null,null,"Descrizione fisica",null,"1 online resource (1 pages)"]
[null,null,"Collana",null,"Mis. doc. / 37th Congress, 2nd session. House ; ; no. 3"]
[{"$nulls":4},"[United States congressional serial set] ; ; [serial no. 1141]"]
[null,null,"Soggetti",null,"Enemy property"]
[{"$nulls":4},"Legislative materials."]
[{"$nulls":4},"United States History Civil War, 1861-1865"]
[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","Batch processed record: Metadata reviewed, not verified. Some fields updated by batch processes."]
[{"$nulls":4},"FDLP item number not assigned."]
[null,"4.","Record Nr.",null,"UNINA9910704730803321"]
[null,null,"Titolo",null,"Investment guaranties : agreement between the United States of America and Montenegro, signed at Washington and Brussels, March 23 and 29, 2000"]
[null,null,"Pubbl/distr/stampa",null,"[Washington, D.C.] : , : United States Department of State, , [2013?]"]
[null,null,"Descrizione fisica",null,"1 online resource (7 unnumbered pages)"]
[null,null,"Collana",null,"Treaties and other international acts series ; ; 00-329"]
[null,null,"Soggetti",null,"Investment guaranty insurance - United States"]
[{"$nulls":4},"Investments - Law and legislation - United States"]
[{"$nulls":4},"Investments - Law and legislation - Montenegro"]
[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","Title from title screen (viewed on August 13, 2013)."]