| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910464266203321 |
|
|
Autore |
Rein Shaun <1977-> |
|
|
Titolo |
The end of cheap China : economic and cultural trends that will disrupt the world / / Shaun Rein |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Hoboken : , : Wiley, , [2014] |
|
©2014 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-118-92678-1 |
1-118-92679-X |
|
|
|
|
|
|
|
|
Edizione |
[Revised and updated.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (243 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Labor - China |
Costs, Industrial - China |
Consumption (Economics) - China |
Electronic books. |
China Economic conditions 2000- |
China Social conditions 2000- |
China Commerce |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
The End of Cheap China: Economic and Cultural Trends That Will Disrupt the World; Copyright; Contents; Prologue; Chapter 1: Chinese Billionaires Outnumber American Ones; Chapter 2: Cheap Chinese Labor? Not Anymore: China's Workers Are Demanding Better Pay and Better Conditions-and They Are Earning Them; Chapter 3: Stability Is the Key to Happiness: How China's Government Thinks and Why It Acts the way It Does; Chapter 4: The Modern Chinese Woman; Chapter 5: Why Chinese Consider Kentucky Fried Chicken Healthful: China's Iffy Food Supply Chain Is Putting a Premium on Safe Food |
Chapter 6: Understanding Corruption in China: What China's Underground Sex Trade Shows About Its Government Chapter 7: China's Real Estate Sector: Boom or Bust or Something Else?; Chapter 8: Chinese Neo-Colonialism in Africa and the End of American Hegemony?; Australia; Pakistan; America; Chinese Soft Power; Chapter 9: China's Educational Sector: Preventing China From Cementing Its |
|
|
|
|
|
|
|
|
|
|
|
Superpower Status; Chapter 10: What the End of Cheap China Means for the Rest of the World; China: The World's New Hegemonic Power?; Economic Growth Hitting a Wall; Reforming the Political System; Epilogue |
Postscript Acknowledgments; Index; End User License Agreement |
|
|
|
|
|
|
Sommario/riassunto |
|
"An expose; on how the rise of China will affect the American way of lifeThe End of Cheap China is a fun, riveting, must-read book not only for people doing business in China but for anyone interested in understanding the forces that are changing the world.Many Americans know China for manufacturing cheap products, thanks largely to the country's vast supply of low-cost workers. But China is changing, and the glut of cheap labor that has made everyday low prices possible is drying up as the Chinese people seek not to make iPhones, but to buy them. Shaun Rein, Founder of the China Market Research Group, puts China's continuing transformation from producer to large-scale consumer - a process that is farther along than most economists think - under the microscope, examining eight megatrends that are catalyzing change in China and posing threats to Americans' consumption-driven way of life.Rein takes an engaging and informative approach to examining the extraordinary changes taking place across all levels of Chinese society, talking to everyone from Chinese billionaires and senior government officials to poor migrant workers and even prostitutes. He draws on personal stories and experiences from living in China since the 1990s as well as hard economic data. Each chapter focuses on a different aspect of China's transformation, from fast-improving Chinese companies to confident, optimistic Chinese women to the role of China's government, and at the end breaks down key lessons for readers to take away.The End of Cheap China shows: How rising labor and real estate costs are forcing manufacturers of cheap Chinese products to close, relocate, or move up the value stream How a restructuring economy moving away from exports to domestic consumption, and rising incomes will create opportunities for foreign brands to sell products in China rather than just producing there How Chinese consumption will build pressure on the global commodities markets, causing both inflation and friction with other nations How China's economic transformation spells the end of cheap consumption for Americans China's days as a low cost production center are numbered. The End of Cheap China exposes the end of America's consumerist way of life and gives clear advice on how companies can succeed in the new world order"-- |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910484284303321 |
|
|
Titolo |
Automated Deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings / / edited by Frank Pfenning |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2007.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 524 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 4603 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Machine theory |
Computer science |
Software engineering |
Artificial Intelligence |
Formal Languages and Automata Theory |
Computer Science Logic and Foundations of Programming |
Software Engineering |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Session 1. Invited Talk: Colin Stirling -- Games, Automata and Matching -- Session 2. Higher-Order Logic -- Formalization of Continuous Probability Distributions -- Compilation as Rewriting in Higher Order Logic -- Barendregt’s Variable Convention in Rule Inductions -- Automating Elementary Number-Theoretic Proofs Using Gröbner Bases -- Session 3. Description Logic -- Optimized Reasoning in Description Logics Using Hypertableaux -- Conservative Extensions in the Lightweight Description Logic -- An Incremental Technique for Automata-Based Decision Procedures -- Session 4. Intuitionistic Logic -- Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4 -- A Labelled System for IPL with Variable Splitting -- Session 5. Invited Talk: Ashish Tiwari -- Logical Interpretation: Static Program Analysis Using Theorem Proving -- Session 6. Satisfiability Modulo Theories -- Solving Quantified Verification Conditions Using |
|
|
|
|
|
|
|
|
|
|
|
Satisfiability Modulo Theories -- Efficient E-Matching for SMT Solvers -- -Decision by Decomposition -- Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic -- Session 7. Induction, Rewriting, and Polymorphism -- Improvements in Formula Generalization -- On the Normalization and Unique Normalization Properties of Term Rewrite Systems -- Handling Polymorphism in Automated Deduction -- Session 8. First-Order Logic -- Automated Reasoning in Kleene Algebra -- SRASS - A Semantic Relevance Axiom Selection System -- Labelled Clauses -- Automatic Decidability and Combinability Revisited -- Session 9. Invited Talk: K. Rustan M. Leino -- Designing Verification Conditions for Software -- Session 10. Model Checking and Verification -- Encodings of Bounded LTL Model Checking in Effectively Propositional Logic -- Combination Methodsfor Satisfiability and Model-Checking of Infinite-State Systems -- The KeY system 1.0 (Deduction Component) -- KeY-C: A Tool for Verification of C Programs -- The Bedwyr System for Model Checking over Syntactic Expressions -- System for Automated Deduction (SAD): A Tool for Proof Verification -- Session 11. Invited Talk: Peter Baumgartner -- Logical Engineering with Instance-Based Methods -- Session 12. Termination -- Predictive Labeling with Dependency Pairs Using SAT -- Dependency Pairs for Rewriting with Non-free Constructors -- Proving Termination by Bounded Increase -- Certified Size-Change Termination -- Session 13. Tableaux and First-Order Systems -- Encoding First Order Proofs in SAT -- Hyper Tableaux with Equality -- System Description: E- KRHyper -- System Description: Spass Version 3.0. |
|
|
|
|
|
|
Sommario/riassunto |
|
A veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field of automated deduction right now. This book contains the refereed proceedings of the 21st International Conference on Automated Deduction, CADE-21, held in Bremen, Germany, in July 2007. The 28 revised full papers and 6 system descriptions presented were selected from 64 submissions. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems. |
|
|
|
|
|
|
|
| |