{"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":55,"n_cols":5,"rows_kept":55,"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],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[10,2,10,3],[11,2,11,3],[15,2,15,3],[15,4,15,5],[16,2,16,3],[16,4,16,5],[17,2,17,3],[18,2,18,3],[20,2,20,3],[21,2,21,3],[22,2,22,3],[23,2,23,3],[24,2,24,3],[35,2,35,3],[36,2,36,3],[39,2,39,3],[42,2,42,3],[42,4,42,5],[43,2,43,3],[43,4,43,5],[44,2,44,3],[44,4,44,5],[45,2,45,3],[47,2,47,3],[48,2,48,3],[49,2,49,3],[50,2,50,3],[51,2,51,3],[52,2,52,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910795014303321"]
[null,null,"Titolo",null,"Captivating subjects : writing confinement, citizenship, and nationhood in the nineteenth century / / edited by Jason Haslam and Julia M. Wright"]
[null,null,"Pubbl/distr/stampa",null,"Toronto, [Ontario] ; ; Buffalo, [New York] ; ; London, [England] : , : University of Toronto Press, , 2005"]
[{"$nulls":4},"2005"]
[null,null,"ISBN",null,"1-4426-7273-0"]
[null,null,"Descrizione fisica",null,"1 online resource (290 pages)"]
[null,null,"Disciplina",null,"365/.918/1209034"]
[null,null,"Soggetti",null,"Imprisonment - Western countries - History - 19th century"]
[{"$nulls":4},"Imprisonment - Social aspects - Western countries"]
[{"$nulls":4},"Prisoners' writings - History and criticism"]
[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,null,"Sommario/riassunto","Ever since Michel Foucault's highly regarded work on prisons and confinement in the 1970s, critical examination of the forerunners to the prison - slavery, serfdom, and colonial confinements - has been rare. However, these institutions inform and participate in many of the same ideologies that the prison enforces.Captivating Subjectsis a collection of essays that fills several crucial gaps in the critical examination of the relations between Western state-sanctioned confinement, identity, nation, and literature. Editors Jason Haslam and Julia M. Wright have brought together an esteemed group of international scholars to examine nineteenth-century writings by prisoners, slaves, and other captives, tracing some of the continuities among the varieties of captivity and their crucial relationship to post-Enlightenment subjectivities.This volume is the first sustained examination of the ways in which the diverse kinds of confinement intersect with Western ideologies of subjectivity, investigating the modern nation-state's reliance on captivity as a means of consolidating notions of individual and national sovereignty. It details the specific historical and cultural practices of confinement and their relations to each other and to punishment through a range of national contexts."]
[null,"2.","Record Nr.",null,"UNINA9910483645303321"]
[null,null,"Titolo",null,"Recent Trends in Algebraic Development Techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers / / edited by Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015"]
[null,null,"ISBN",null,"9783319281148"]
[{"$nulls":4},"3319281143"]
[null,null,"Edizione",null,"[1st ed. 2015.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XI, 171 p. 35 illus. in color.)"]
[null,null,"Collana",null,"Theoretical Computer Science and General Issues, , 2512-2029 ; ; 9463"]
[null,null,"Disciplina",null,"004.0151"]
[null,null,"Soggetti",null,"Computer science"]
[{"$nulls":4},"Machine theory"]
[{"$nulls":4},"Computer science - Mathematics"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Logic, Symbolic and mathematical"]
[{"$nulls":4},"Computer Science Logic and Foundations of Programming"]
[{"$nulls":4},"Formal Languages and Automata Theory"]
[{"$nulls":4},"Mathematics of Computing"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Mathematical Logic and Foundations"]
[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 Logic Embeddings and Gödel’s God -- An Institutional Foundation for the K Semantic Framework -- A Theoretical Foundation for Programming Languages Aggregation -- Coalgebraic Semantics of Heavy-Weighted Automata -- Foundations of Logic Programming in Hybridised Logics -- What Is a Derived Signature Morphism? -- Use Case Analysis Based on Formal Methods: An Empirical Study -- A Full Operational Semantics for Asynchronous Relational Networks -- A SOC-Based Formal Specification and Verification of Hybrid Systems."]
[null,null,null,"Sommario/riassunto","This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Workshop on Algebraic Development Techniques, WADT 2014, held in September 2014 in "]
[{"$nulls":4},"Sinaia, Romania. The 8 revised papers presented were carefully reviewed and selected from 13 presentations and focus together with one invited paper on foundations of algebraic specification, approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing, specification languages, methods, and environments, semantics of conceptual modeling methods and techniques, model-driven development, graph transformations, term rewriting and proof systems, integration of formal specification techniques, formal testing and quality assurance, validation, and verification."]
[null,"3.","Record Nr.",null,"UNINA9911049078303321"]
[null,null,"Autore",null,"Hussain Shahid"]
[null,null,"Titolo",null,"SEET--Software Engineering for Emerging Technologies : First International Conference, SEET 2025, Long Beach, CA, USA, August 11-12, 2025, Proceedings"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer, , 2025"]
[{"$nulls":4},"©2026"]
[null,null,"ISBN",null,"3-032-08977-8"]
[null,null,"Edizione",null,"[1st ed.]"]
[null,null,"Descrizione fisica",null,"1 online resource (1003 pages)"]
[null,null,"Collana",null,"Communications in Computer and Information Science Series ; ; v.2725"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the First International Conference on Software Engineering for Emerging Technologies, SEET 2025, held at Long Beach, California, USA, during August 11-12, 2025.The 33 full papers and 5 short papers presented in this book were carefully selected and reviewed from 147 submissions."]