{"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":45,"n_cols":5,"rows_kept":45,"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],[8,2,8,3],[9,2,9,3],[15,2,15,3],[16,2,16,3],[20,2,20,3],[23,2,23,3],[23,4,23,5],[24,2,24,3],[24,4,24,5],[25,2,25,3],[26,2,26,3],[30,2,30,3],[31,2,31,3],[32,2,32,3],[33,2,33,3],[38,2,38,3],[39,2,39,3],[43,2,43,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910464947003321"]
[null,null,"Titolo",null,"Biography and the black Atlantic / / edited by Lisa A. Lindsay and John Wood Sweet"]
[null,null,"Pubbl/distr/stampa",null,"Philadelphia : , : University of Pennsylvania Press, , [2014]"]
[{"$nulls":4},"©2014"]
[null,null,"ISBN",null,"0-8122-0870-6"]
[null,null,"Edizione",null,"[First edition.]"]
[null,null,"Descrizione fisica",null,"1 online resource (379 p.)"]
[null,null,"Collana",null,"The Early Modern Americas"]
[null,null,"Disciplina",null,"909/.049601821"]
[null,null,"Soggetti",null,"Biography as a literary form"]
[{"$nulls":4},"Slave trade - Atlantic Ocean Region - History"]
[{"$nulls":4},"Black people - Atlantic Ocean Region"]
[{"$nulls":4},"Black people - Atlantic Ocean Region - History"]
[{"$nulls":4},"Black people - Atlantic Ocean Region - Historiography"]
[{"$nulls":4},"Electronic books."]
[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,null,"Nota di bibliografia","Includes bibliographies and index."]
[null,null,"Nota di contenuto",null,"Front matter -- Contents -- Introduction: Biography and the Black Atlantic -- Chapter one. A Historical Appreciation of the Biographical Turn -- Chapter two. Understanding the Slave Experience in West Africa -- Chapter three. Robinson Charley: The Ideological Underpinnings of Atlantic History -- Chapter four. Black Pearls: Writing Black Atlantic Women’s Biography -- Chapter five. Recovered Lives as a Window into the Enslaved Family -- Chapter six. From Slave to Wealthy African Freedman: The Story of Manoel Joaquim Ricardo -- Chapter seven. David Dorr’s Journey Toward Selfhood in Europe -- Chapter eight. Methodology in the Making and Reception of Equiano -- Chapter nine. Remembering His Country Marks: A Nigerian American Family and Its “African” Ancestor -- Chapter ten. The Atlantic Transformations of Francisco Menéndez -- Chapter eleven. Echoes of the Atlantic: Benguela (Angola) and Brazilian Independence -- Chapter twelve. Rosalie of the Poulard Nation: Freedom, Law, and Dignity in the Era of the Haitian Revolution -- Afterword -- Notes -- Contributors -- Index -- Acknowledgments"]
[null,null,null,"Sommario/riassunto","In Biography and the Black Atlantic, leading historians in the field of Atlantic studies examine the biographies and autobiographies of eighteenth- and nineteenth-century African-descended people and "]
[{"$nulls":4},"reflect on the opportunities and limitations these life stories present to studies of slavery and the African diaspora. The essays remind us that historical developments like slavery and empire-building were mostly experienced and shaped by men and women outside of the elite political, economic, and military groups to which historians often turn as sources. Despite the scarcity of written records and other methodological challenges, the contributors to Biography and the Black Atlantic have pieced together vivid glimpses into lives of remarkable, through previously unknown, enslaved and formerly enslaved people who moved, struggled, and endured in different parts of Africa, the Americas, and Europe. From the woman of Fulani origin who made her way from Revolutionary Haiti to Louisiana to the free black American who sailed for Liberia and the former slave from Brazil who became a major slave trader in Angola, these stories render the Atlantic world as a densely and sometimes unpredictably interconnected sphere. Biography and the Black Atlantic demonstrates the power of individual stories to illuminate history: though the life histories recounted here often involved extraordinary achievement and survival against the odds, they also portray the struggle for self-determination and community in the midst of alienation that lies at the heart of the modern condition. Contributors: James T. Campbell, Vincent Carretta, Roquinaldo Ferreira, Jean-Michel Hébrard, Martin Klein, Lloyd S. Kramer, Sheryl Kroen, Jane Landers, Lisa A. Lindsay, Joseph C. Miller, Cassandra Pybus, João José Reis, Rebecca J. Scott, Jon Sensbach, John Wood Sweet."]
[null,"2.","Record Nr.",null,"UNINA9910781757703321"]
[null,null,"Titolo",null,"Software and systems safety [[electronic resource] ] : specification and verification / / edited by Manfred Broy, Christian Leuxner and Tony Hoare"]
[null,null,"Pubbl/distr/stampa",null,"Amsterdam, The Netherlands, : IOS Press, 2011"]
[null,null,"ISBN",null,"6613289604"]
[{"$nulls":4},"1-283-28960-1"]
[{"$nulls":4},"9786613289605"]
[{"$nulls":4},"1-60750-711-0"]
[null,null,"Descrizione fisica",null,"1 online resource (296 p.)"]
[null,null,"Collana",null,"NATO science for peace and security series. Sub-series D, Information and communication security, , 1874-6268 ; ; v. 30"]
[null,null,"Disciplina",null,"005.10289"]
[null,null,"Soggetti",null,"Software protection"]
[{"$nulls":4},"Computer software - Reliability"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Computer security"]
[{"$nulls":4},"System safety"]
[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 indexes."]
[null,null,"Nota di contenuto",null,"Title; Preface; Contents; Model-Based Testing; Towards a Theory of Architectural Contracts: Schemes and Patterns of Assumption/Promise Based System Specification; Engineering Evolving and Self-Adaptive Systems: An Overview; Formal Verification; Requirements Models for Critical Systems; From Concurrency Models to Numbers: Performance and Dependability; Unifying Models of Data Flow; Model-Based Verification and Analysis for Real-Time Systems; Model Checking; Subject Index; Author Index"]
[null,null,null,"Sommario/riassunto","Information security depends upon an understanding of the functionality of software systems. Customers and information can only be protected from attack if this functionality is guaranteed to be correct and safe. A scientific foundation of software engineering not only provides models enabling the capture of application domains and requirements, but also ensures an understanding of the structure and working of software systems, architectures and programs. This book presents contributions based on the lectures delivered at the 31st International Summer School: Software and Systems Safety: Speci"]