{"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":49,"n_cols":5,"rows_kept":49,"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],[9,2,9,3],[10,2,10,3],[11,2,11,3],[14,2,14,3],[15,2,15,3],[18,2,18,3],[22,2,22,3],[22,4,22,5],[23,2,23,3],[23,4,23,5],[24,2,24,3],[25,2,25,3],[27,2,27,3],[28,2,28,3],[29,2,29,3],[30,2,30,3],[31,2,31,3],[44,2,44,3],[45,2,45,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910458860403321"]
[null,null,"Autore",null,"Jing Thomas"]
[null,null,"Titolo",null,"Tale of an African woman [[electronic resource] /] / Thomas Jing"]
[null,null,"Pubbl/distr/stampa",null,"Cameroon, : Langaa Research & Pub. CIG, 2007"]
[null,null,"ISBN",null,"1-283-19831-2"]
[{"$nulls":4},"9786613198310"]
[{"$nulls":4},"9956-716-44-8"]
[{"$nulls":4},"9956-716-56-1"]
[{"$nulls":4},"9956-615-61-7"]
[null,null,"Descrizione fisica",null,"1 online resource (331 p.)"]
[null,null,"Collana",null,"Langaa & African Studies Centre"]
[null,null,"Soggetti",null,"Women - Africa"]
[{"$nulls":4},"Cameroonian fiction (English)"]
[{"$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","Description based upon print version of record."]
[null,null,"Nota di contenuto",null,"Cover; Title Page; Copyright Page; Chapter One; Chapter Two; Chapter three; Chapter Four; Chapter Five; Chapter Six; Chapter Seven; Chapter Eight; Chapter Nine; Chapter Ten; Chapter Eleven; Chapter Twelve; Chapter Thirteen; Chapter Fourteen; Chapter Fifteen; Chapter Sixteen; Chapter Seventeen; Chapter Eighteen; Chapter Nineteen; Chapter Twenty; Chapter Twenty One; Chapter Twenty Two; Chapter Twenty Three; Chapter Twenty Four; Chapter Twenty Five; Chapter Twenty Six; Chapter Twenty Seven; Chapter Twenty Eight; Chapter Twenty Nine; Chapter Thirty; Chapter Thirty One; Chapter Thirty Two"]
[{"$nulls":4},"Chapter Thirty Three Chapter Thirty Four; Chapter Thirty Five; Chapter Thirty Six; Chapter Thirty Seven; Chapter Thirty Eight; Chapter Thirty Nine; Chapter Forty; Chapter Forty One; Chapter Forty Two; Chapter Forty Three; Chapter Forty Four; Chapter Forty Five; Chapter Fourth Six; Chapter Forty Seven; Chapter Forty Eight; Chapter Forty Nine; Back Cover"]
[null,null,null,"Sommario/riassunto","The village of Yakiri has been cursed by ancestral wrath because of the treatment of Yaa, the first girl who wrestled her male goatherd peers to earn the right to be initiated into the society of manhood. Her struggle is taken up generations later by Yaya, the granddaughter of Tafan and Wirba. Orphaned like her forebear, Yaya becomes a star student in the "]
[{"$nulls":4},"village's primary school and promises to go far. But, ask the villagers, is it right to invest in an education for an African girl who may become the property of another village? An educated woman will abandon the farm where she is needed, we"]
[null,"2.","Record Nr.",null,"UNINA9910357847603321"]
[null,null,"Titolo",null,"Integrated Formal Methods : 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings / / edited by Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019"]
[null,null,"ISBN",null,"9783030349684"]
[{"$nulls":4},"3030349683"]
[null,null,"Edizione",null,"[1st ed. 2019.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XVII, 554 p. 1489 illus., 92 illus. in color.)"]
[null,null,"Collana",null,"Programming and Software Engineering, , 2945-9168 ; ; 11918"]
[null,null,"Disciplina",null,"004.0151"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Compilers (Computer programs)"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Logic programming"]
[{"$nulls":4},"Computer simulation"]
[{"$nulls":4},"Computer engineering"]
[{"$nulls":4},"Computer networks"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Compilers and Interpreters"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Logic in AI"]
[{"$nulls":4},"Computer Modelling"]
[{"$nulls":4},"Computer Engineering and Networks"]
[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 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included "]
[{"$nulls":4},"are the extended abstracts of 6 \"journal-first\" papers."]