{"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":41,"n_cols":5,"rows_kept":41,"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],[6,2,6,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[13,2,13,3],[14,2,14,3],[16,2,16,3],[19,2,19,3],[19,4,19,5],[20,2,20,3],[20,4,20,5],[21,2,21,3],[21,4,21,5],[22,2,22,3],[23,2,23,3],[24,2,24,3],[25,2,25,3],[26,2,26,3],[27,2,27,3],[35,2,35,3],[36,2,36,3],[38,2,38,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910591043003321"]
[null,null,"Autore",null,"Zhu Xinkai"]
[null,null,"Titolo",null,"40 Years of China's War on Poverty / / by Xinkai Zhu, Chao Peng"]
[null,null,"Pubbl/distr/stampa",null,"Singapore : , : Springer Nature Singapore : , : Imprint : Palgrave Macmillan, , 2022"]
[null,null,"ISBN",null,"9789811930041"]
[{"$nulls":4},"981193004X"]
[null,null,"Edizione",null,"[1st ed. 2022.]"]
[null,null,"Descrizione fisica",null,"1 online resource (xxv, 303 pages) : illustrations (some color)"]
[null,null,"Disciplina",null,"338.9"]
[null,null,"Soggetti",null,"Economic development"]
[{"$nulls":4},"Economic history"]
[{"$nulls":4},"Development Studies"]
[{"$nulls":4},"Economy-wide Country Studies"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"Chapter 1. A Brilliant Chapter in the Fight against Poverty: China's Road -- Chapter 2. The Evolution and Historical Mission of Anti-Poverty in China -- Chapter 3. China's Anti-poverty: Exploration since the 18th CPC National Congress -- Chapter 4. China's Anti-poverty Experience: Economic Growth and Regional Equilibrium -- Chapter 5. China's Experience in Anti-poverty: Industrial Development and Ecological Protection -- Chapter 6. China's Experience in Combating Poverty: Culture, Education and Guarantee Mechanism."]
[null,null,null,"Sommario/riassunto","China's anti-poverty campaign has liberated hundreds of millions of citizens from absolute poverty, offering a compelling model for other developing countries around the world. This book demonstrates the path of China's poverty alleviation and explores the approach and the theory underlying the country's experience. The authors elucidate four important stages of poverty alleviation in China. They further investigate how the administration has balanced economic growth, regional development and the protection of ecosystem and cultural and heritage sites during China's remarkable transformation. As China's development experience have extended the theory of international poverty alleviation, this book should provide valuable insights and offer enlightenment to global scholars, NGOs and governments of other developing countries. Xinkai Zhu is a professor and vice president in Renmin University of China. He is widely recognized for his "]
[{"$nulls":4},"achievement in agriculturaland development economics. He is an influential opinion leader and offers effective strategies to the administration to address complex challenges in agriculture and rural development. Chao Peng is an associate fellow in the Rural Economy Research Center of the Ministry of Agriculture and Rural Affairs in China. ."]
[null,"2.","Record Nr.",null,"UNINA9910728387303321"]
[null,null,"Autore",null,"Drechsler Rolf"]
[null,null,"Titolo",null,"Advanced Boolean Techniques : Selected Papers from the 15th International Workshop on Boolean Problems / / edited by Rolf Drechsler, Sebastian Huhn"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023"]
[null,null,"ISBN",null,"3-031-28916-1"]
[null,null,"Edizione",null,"[1st ed. 2023.]"]
[null,null,"Descrizione fisica",null,"1 online resource (174 pages)"]
[null,null,"Disciplina",null,"621.3815"]
[null,null,"Soggetti",null,"Electronic circuits"]
[{"$nulls":4},"Computer science - Mathematics"]
[{"$nulls":4},"Embedded computer systems"]
[{"$nulls":4},"Electronic circuit design"]
[{"$nulls":4},"Electronic Circuits and Systems"]
[{"$nulls":4},"Mathematical Applications in Computer Science"]
[{"$nulls":4},"Embedded Systems"]
[{"$nulls":4},"Electronics Design and Verification"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"Chapter 1. Arithmetic Satisfiability-Modulo-Theory Solving Applied to Non-Standard Analysis Problems of Cyber-Physical Systems -- Chapter 2. Fast AIG-based Approximate Logic Synthesis -- Chapter 3. External Don’t Cares in Logic Synthesis -- Chapter 4. Maiorana-McFarland Boolean Bent Functions Characterized by their Reed-Muller Spectra -- Chapter 5. Towards System-level Assertions for Heterogeneous Systems -- Chapter 6. SAT-based Key Determination Attack for Improving the Quality Assessment of Logic Locking Mechanisms -- Chapter 7. Autosymmetric and D-reducible Functions: Theory and Application to Security -- Chapter 8. Two-operands modular multiplication to small bit-ranges -- Chapter 9. Low Latency Real-Time Inference for Multilayer Perceptrons on FPGAs -- Chapter 10. Thirty-six Officers of Euler - New Insights Computed Using XBOOLE -- Chapter 11. Start Small but Dream Big: On Choosing a Static Variable Order for Multiplier BDDs."]
[null,null,null,"Sommario/riassunto","This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system "]
[{"$nulls":4},"design, but also basic research in mathematics and theoretical computer science. Content includes invited chapters and a selection of the best papers presented at the 15th annual International Workshop on Boolean Problems. Provides a single-source reference to the state-of-the-art in logic synthesis and Boolean techniques; Includes a selection of the best papers presented at the 15th annual International Workshop on Boolean Problems; Covers Boolean algebras, Boolean logic, Boolean modeling, Combinatorial Search, Boolean and bitwise arithmetic and more."]