{"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":66,"n_cols":5,"rows_kept":66,"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],[5,2,5,3],[6,2,6,3],[11,2,11,3],[11,4,11,5],[12,2,12,3],[12,4,12,5],[13,2,13,3],[13,4,13,5],[14,2,14,3],[15,2,15,3],[16,2,16,3],[17,2,17,3],[18,2,18,3],[19,2,19,3],[22,2,22,3],[22,4,22,5],[23,2,23,3],[23,4,23,5],[24,2,24,3],[24,4,24,5],[25,2,25,3],[27,2,27,3],[30,2,30,3],[31,2,31,3],[32,2,32,3],[35,2,35,3],[36,2,36,3],[40,2,40,3],[42,2,42,3],[42,4,42,5],[43,2,43,3],[43,4,43,5],[44,2,44,3],[45,2,45,3],[46,2,46,3],[47,2,47,3],[48,2,48,3],[49,2,49,3],[50,2,50,3],[59,2,59,3],[60,2,60,3],[63,2,63,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996386348703316"]
[null,null,"Titolo",null,"Articles to be enquired of within the diocesse and iurisdiction of Peterborough, at the visitation of the reverend father in God, Thomas, by the permission of God Bishop of Peterborough, this present yeare 1626 [[electronic resource]]"]
[null,null,"Pubbl/distr/stampa",null,"Cambridge, : Printed by the printers to the Vniversitie, 1626"]
[null,null,"Descrizione fisica",null,"[9] p"]
[null,null,"Soggetti",null,"Visitations, Ecclesiastical - 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","Signatures: Aâ\u0081µ."]
[{"$nulls":4},"Reproduction of original in the Lambeth Palace Library."]
[null,null,null,"Sommario/riassunto","eebo-0076"]
[null,"2.","Record Nr.",null,"UNISA996580672503316"]
[null,null,"Autore",null,"JACOMBE, Thomas <1622-1687.>"]
[null,null,"Titolo",null,"Enochs walk and change : opened in a sermon at Lawrence-Jury in London, Febr. 7th, 1655 at the funeral of the Reverend Mr. Richard Vines, Minister of the Gospel there : with a short account of his life and death, with some elegies &c. on his death / by Tho. Jacombe"]
[null,null,"Pubbl/distr/stampa",null,"London, : Printed by T.R. and E.M. for Ralph Smith, 1656"]
[null,null,"Descrizione fisica",null,"Testo elettronico (PDF) ([8], 59 p.)"]
[null,null,"Disciplina",null,"252.1"]
[null,null,"Soggetti",null,"Funerali - Sermoni"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Risorsa elettronica"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Sommario/riassunto","Riproduzione dell'originale nella Bodleian Library"]
[null,"3.","Record Nr.",null,"UNINA9910824767303321"]
[null,null,"Autore",null,"Lozowick Yaacov"]
[null,null,"Titolo",null,"Hitler's bureaucrats : the Nazi security police and the banality of evil / / Yaacov Lozowick ; translated by Haim Watzman"]
[null,null,"Pubbl/distr/stampa",null,"London, [England] ; ; New York, [New York] : , : Continuum, , 2002"]
[{"$nulls":4},"©2000"]
[null,null,"ISBN",null,"1-282-71054-0"]
[{"$nulls":4},"9786612710544"]
[{"$nulls":4},"1-4411-8626-3"]
[null,null,"Descrizione fisica",null,"1 online resource (319 p.)"]
[null,null,"Disciplina",null,"940.53/18"]
[null,null,"Soggetti",null,"Nazis"]
[{"$nulls":4},"War criminals - Germany - Psychology"]
[{"$nulls":4},"Holocaust, Jewish (1939-1945)"]
[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,"Contents; Preface to the English Edition; Archival Sources; Tables and Charts of SS Organization; Introduction; 1 From Theory to Practice: 1933-8; 2 Documents in the Bureaucratic System; 3 Toward the Final Solution; 4 Executing the Final Solution in Germany; 5 Holland; 6 France; 7 Hungary; 8 Conclusion: Listening to the Screams; Bibliography; Index"]
[null,null,null,"Sommario/riassunto","For many, the name of Adolf Eichmann is synonymous with the Nazi murder of six million Jews. As a perpetuator of the Final Solution he stands alongside Adolf Hitler and Heinrich Himmler as one of history's most notorious murderers, yet ever since Hannah Arendt's seminal book, Eichmann in Jerusalem: A Report on the Banality of Evil, there has been disagreement about the essence of Eichmann and by extension, about the definition of evil action. Was he a human monster or a petty bureaucrat? To what degree did the totalitarian organization to which he belonged absolve him and his staff from indivi"]
[null,"4.","Record Nr.",null,"UNINA9910767583403321"]
[null,null,"Titolo",null,"Types in Compilation [[electronic resource] ] : Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings / / edited by Xavier Leroy, Atsushi Ohori"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998"]
[null,null,"ISBN",null,"3-540-68308-9"]
[null,null,"Edizione",null,"[1st ed. 1998.]"]
[null,null,"Descrizione fisica",null,"1 online resource (VIII, 308 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 1473"]
[null,null,"Disciplina",null,"005.4/53"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Programming languages (Electronic computers)"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Operating systems (Computers)"]
[{"$nulls":4},"Software Engineering/Programming and Operating Systems"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Operating Systems"]
[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,"Compiling Java to a typed lambda-calculus: A preliminary report -- Stack-based Typed Assembly Language -- How generic is a generic back end? using MLRISC as a back end for the TIL compiler -- A toolkit for constructing type- and constraint-based program analyses -- Optimizing ML using a hierarchy of monadic types -- Type-directed continuation allocation -- Polymorphic equality — No tags required -- Optimal type lifting -- Formalizing resource allocation in a compiler -- An approach to improve locality using sandwich types -- Garbage collection via dynamic type inference - A formal treatment - -- Strong normalization by type-directed partial evaluation and run-time code generation -- Determination of dynamic method dispatches using run-time code generation -- Type-based analysis of concurrent programs -- A type-based semantics for user-defined marshalling in polymorphic languages."]
[null,null,null,"Sommario/riassunto","This book constitutes the thoroughly refereed post-workshop "]
[{"$nulls":4},"proceedings of the Second International Workshop on Types in Compilation, TIC '98, held in Kyoto, Japan in March 1998. The book presents 13 revised full papers carefully selected during an iterated reviewing process together with three invited papers. The papers are organized in topical sections on typed intermediate languages, program analyses, program transformations and code generation, memory management, partial evaluation and run-time code generation, and distributed computing."]