{"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":43,"n_cols":5,"rows_kept":43,"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],[2,4,2,5],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[11,2,11,3],[12,2,12,3],[15,2,15,3],[17,2,17,3],[17,4,17,5],[18,2,18,3],[18,4,18,5],[19,2,19,3],[20,2,20,3],[21,2,21,3],[22,2,22,3],[23,2,23,3],[24,2,24,3],[25,2,25,3],[35,2,35,3],[36,2,36,3],[40,2,40,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996552350103316"]
[null,null,"Autore",null,"Spiers Edward M."]
[null,null,"Titolo",null,"The Victorian soldier in Africa / / Edward M. Spiers"]
[null,null,"Pubbl/distr/stampa",null,"Manchester : , : Manchester University Press, , 2004"]
[null,null,"ISBN",null,"1-5261-3791-7"]
[null,null,"Descrizione fisica",null,"1 online resource (224 pages)"]
[null,null,"Collana",null,"Studies in imperialism (Manchester, England)"]
[null,null,"Disciplina",null,"355.10941"]
[null,null,"Soggetti",null,"HISTORY / Europe / Great Britain / General"]
[{"$nulls":4},"Great Britain History"]
[{"$nulls":4},"Africa History, Military 19th century"]
[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,"Introduction -- 1. Fighting the Asante -- 2. Campaigning in southern Africa -- 3. Battling the Boers -- 4. Intervention in Egypt -- 5. Engaging the Mahdists -- 6. The Gordon relief expedition -- 7. Trekking through Bechuanaland -- 8. Reconquering the Sudan -- 9. Re-engaging the Boers -- Epilogue -- Bibliography -- Index."]
[null,null,null,"Sommario/riassunto","The Victorian Soldier in Africa re-examines the campaign experience of British soldiers in Africa during the period, 1874--1902-the zenith of the Victorian imperial expansion-and does so from the perspective of the regimental soldier. The book utilises an unprecedented number of letters and diaries, written by regimental officers and other ranks, to allow soldiers to speak for themselves about their experience of colonial warfare. The sources demonstrate the adaptability of the British army in fighting in different climates, over demanding terrain and against a diverse array of enemies. They also uncover soldiers' responses to army reforms of the era as well as the response to the introduction of new technologies of war. Moreover, the book provides commentary on soldiers' views of commanding officers and politicians alongside assessment of war correspondents, colonial auxiliaries and African natives in their roles as bearers, allies and enemies. This book reveals new insights on imperial and racial attitudes within the army, on relations between soldiers and the media and the production of information and knowledge from frontline to homefront. It will make fascinating reading for students, academics and enthusiasts in imperial history, Victorian studies, military history and colonial warfare."]
[null,"2.","Record Nr.",null,"UNINA9910484218303321"]
[null,null,"Titolo",null,"Logic-Based Program Synthesis and Transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers / / edited by Michael Hanus"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009"]
[null,null,"ISBN",null,"3-642-00515-2"]
[null,null,"Edizione",null,"[1st ed. 2009.]"]
[null,null,"Descrizione fisica",null,"1 online resource (IX, 185 p.)"]
[null,null,"Collana",null,"Theoretical Computer Science and General Issues, , 2512-2029 ; ; 5438"]
[null,null,"Disciplina",null,"005.1"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Computer programming"]
[{"$nulls":4},"Compilers (Computer programs)"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Machine theory"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Programming Techniques"]
[{"$nulls":4},"Compilers and Interpreters"]
[{"$nulls":4},"Computer Science Logic and Foundations of Programming"]
[{"$nulls":4},"Formal Languages and Automata Theory"]
[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 bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Space Invading Systems Code -- Test Data Generation of Bytecode by CLP Partial Evaluation -- A Modular Equational Generalization Algorithm -- A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs -- Analysis of Linear Hybrid Systems in CLP -- Automatic Generation of Test Inputs for Mercury -- Analytical Inductive Functional Programming -- The MEB and CEB Static Analysis for CSP Specifications -- Fast Offline Partial Evaluation of Large Logic Programs -- An Inference Algorithm for Guaranteeing Safe Destruction -- From Monomorphic to Polymorphic Well-Typings and Beyond -- On Negative Unfolding in the Answer Set Semantics."]
[null,null,null,"Sommario/riassunto","This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. The 11 revised full papers presented "]
[{"$nulls":4},"together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement."]