{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"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":28,"n_cols":5,"rows_kept":28,"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,4,3,5],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[13,2,13,3],[13,4,13,5],[14,2,14,3],[14,4,14,5],[15,2,15,3],[16,2,16,3],[17,2,17,3],[18,2,18,3],[19,2,19,3],[20,2,20,3],[23,2,23,3],[24,2,24,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996396792003316"]
[null,null,"Autore",null,"Loyal subject to the King and a lover of the late Lord Brookes and all his wel-wishers"]
[null,null,"Titolo"]
[{"$nulls":4},"Englands losse and lamentation occasioned by the death of that Right Honourable, Robert Lord Brooke, Baron of Beauchamp-court, who was slaine at Lichfield the second day of March, 1642 [[electronic resource] ] : amplified by some mournfull funerall expressions from the authors feeling sense of so unvaluable a losse : complaining of the kingdomes stupidity, to awake a people slumbering in security, insensible of their insuing misery : concluding with some consolations to his friends and terror to his enemies popishly affected, and all malignants / / by a Loyall subject to the King, and a lover of the late Lord Brookes and all his wel-wishers"]
[null,null,"Pubbl/distr/stampa",null,"London, : Printed for L. Chapman ..., 1642 [i.e. 1643]"]
[null,null,"Descrizione fisica",null,"[8] p"]
[null,null,"Soggetti",null,"Great Britain History Civil War, 1642-1649"]
[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","Attributed to Francis Quarles in the Wrenn Catalogue."]
[{"$nulls":4},"Reproduction of original in Thomason Collection, British Library."]
[null,null,null,"Sommario/riassunto","eebo-0158"]
[null,"2.","Record Nr.",null,"UNISA996575445603316"]
[null,null,"Titolo",null,"22nd Workshop - Methods and Description Languages for Modelling and Verification of Circuits and Systems : 8 April 2019, Kaiserslautern, Germany / / Institute of Electrical and Electronics Engineers"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Germany : , : VDE Verlag, , 2019"]
[null,null,"ISBN",null,"3-8007-4946-7"]
[null,null,"Edizione",null,"[Neuerscheinung]"]
[null,null,"Descrizione fisica",null,"1 online resource (9 pages)"]
[null,null,"Disciplina",null,"621.392"]
[null,null,"Soggetti",null,"Computer hardware description languages"]
[{"$nulls":4},"Integrated circuits - Verification"]
[{"$nulls":4},"System design"]
[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","PublicationDate: 20190408"]
[null,null,null,"Sommario/riassunto","Long description: MBMV ist der jährlich stattfindende Workshop der GMM/ITG/GI-Fachgruppen 3 und 4 und wurde 2019 vom 8.-9. April in Kaiserslautern organisiert.  Das Ziel des Workshops besteht darin, Experten aus Industrie und Forschung zusammenzubringen, um gemeinsam neue Trends, Ergebnisse und aktuelle Fragen auf dem Gebiet der Modellierung und der Verifikation von Schaltungen und Systemen zu diskutieren.  Der vorliegende Tagungsband ist eine ausgewählte Sammlung von 8 wissenschaftlichen Beiträgen und 8 weiteren Übersichtsvorträgen. Übersichtsvorträge berichten über bereits veröffentlichte Ergebnisse oder über noch unvollständige Arbeiten und werden als kurze Zusammenfassungen in diesem Tagungsband veröffentlicht. Wissenschaftliche Beiträge präsentieren neue Ergebnisse und werden zusätzlich als volle Beiträge in IEEE Xplore veröffentlicht."]