{"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],[3,2,3,3],[4,2,4,3],[7,2,7,3],[8,2,8,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],[31,2,31,3],[32,2,32,3],[35,2,35,3],[37,2,37,3],[37,4,37,5],[38,2,38,3],[38,4,38,5],[39,2,39,3],[40,2,40,3],[41,2,41,3],[42,2,42,3],[43,2,43,3],[44,2,44,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996389748503316"]
[null,null,"Titolo",null,"The case of my Lord Roos [[electronic resource] ] : the Lord Roos did in the Court of Arches cant. London, sue his lady in a cause of separation and divorce propter adulterium.  The lady his wife appeared to that suit in the Arches.  The Lord Roos libelled against her in that court.  Witnesses were in that court examined.  There was publication.  The cause was afterwards in that court concluded and assigned for sentence.  Information upon the whole matter was had.  And the Dean of the Arches after such information had upon the merits of the cause, gave sentence of divorce against the lady propter adulterium"]
[null,null,"Pubbl/distr/stampa",null,"[S.l., : s.n., 1690?]"]
[null,null,"Descrizione fisica",null,"1 sheet ([1] p.)"]
[null,null,"Soggetti",null,"Divorce - England"]
[{"$nulls":4},"Trials (Divorce) - England"]
[{"$nulls":4},"Broadsides17th century.England"]
[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","Caption title."]
[{"$nulls":4},"Date of publication suggested by Wing (2nd ed.)."]
[{"$nulls":4},"Reproduction of original in: British Library."]
[null,null,null,"Sommario/riassunto","eebo-0018"]
[null,"2.","Record Nr.",null,"UNISA996465694303316"]
[null,null,"Titolo",null,"Computer Aided Verification [[electronic resource] ] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II / / edited by Swarat Chaudhuri, Azadeh Farzan"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016"]
[null,null,"ISBN",null,"3-319-41540-9"]
[null,null,"Edizione",null,"[1st ed. 2016.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XVII, 521 p. 126 illus.)"]
[null,null,"Collana",null,"Theoretical Computer Science and General Issues, , 2512-2029 ; ; 9780"]
[null,null,"Disciplina",null,"004.015113"]
[null,null,"Soggetti",null,"Computer science"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Machine theory"]
[{"$nulls":4},"Computer engineering"]
[{"$nulls":4},"Computer networks"]
[{"$nulls":4},"Computer Science Logic and Foundations of Programming"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Formal Languages and Automata Theory"]
[{"$nulls":4},"Computer Engineering and Networks"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Probabilistic systems -- Synthesis -- Constraint solving -- Model checking -- Program analysis -- Timed and hybrid systems -- Verification in practice -- Concurrency -- Automata and games."]
[null,null,null,"Sommario/riassunto","The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016. The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems; synthesis; constraint solving; model checking; program analysis; timed and hybrid systems; verification in practice; concurrency; and automata and games."]
[null,"3.","Record Nr.",null,"UNIORUON00070894"]
[null,null,"Titolo",null,"Lexicostatistics in genetic linguistics : Proceedings of the Yale Conference, Yale University, April 3-4, 1971 / Edited by Isidore Dyen"]
[null,null,"Pubbl/distr/stampa",null,"The Hague, : Mouton, 1973"]
[null,null,"Descrizione fisica",null,"176 p. ; 24 cm"]
[null,null,"Disciplina",null,"413.028"]
[null,null,"Soggetti",null,"LESSICOLOGIA - Congressi"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]