Zhang zhiming (40 Ergebnisse)

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Hardcover. Zustand: New. 252 pages : illustrations : 23 cm. Summary:This book aims to investigate how cities in China's rust belt restructure their urban industries and economies. Over the years, China's "economic miracle" has been mainly attributed to rapid development in its coastal region, where the majority of research into the country's development has originated from. Development in the rest of China seems to be attracting relatively scant research attention, especially in China's rust belt. In fact, the urban industrial restructuring process is an ongoing process in inland China, notably in the recent decade in terms of the scope, scale and speed of restructuring. The old industrial cities in Northeast China (Manchuria) were the cradle of China's industrialization and had significantly contributed to the industrialization of the nation during the Mao era. Deng's open door policy and economic reform disadvantaged the region and left it behind others. In the context of market economy and competition from rapidly growing coastal areas, Northeast China became the burden to China's overall economic development. With a high concentration of state-owned heavy industries, cities in this region suffered from heavy losses in revenue and massive layoffs of millions of former state-owned enterprise workers, known as the "Northeast Phenomenon" or "Neo-Northeast Phenomenon". The once towering economic giant was down. Such a "phenomenon" is not uncommon in other "rust belt" regions in industrialized economies. However, since the implementation of the Chinese Government's "Revitalisation Strategy of Northeast China" in 2003, cities in Northeast China have gone through various transformations. Their recent economic performance has made many Chinese economists predict that Northeast China will become China's new growth engine and catch up with the economic performance of other prosperous regional economies such as the Pearl River Delta, Lower Yangtze River Delta and Beijing-Tianjin region. This book investigates how cities in Northeast China are shaking off their economic disadvantages and implementing various forms of restructuring in their industries. The authors identify six different reindustrialization models, namely Shenyang Tiexi Model - repacking old industries; Dalian Model - beyond the China's coast development model; Daqing Model - extension of industrial chain; Fuxin Model - modern agro-processing saved the coal mining city from "ghost town"; Jilin City - low carbon-oriented model; and Central Liaoning Urban Cluster Model - negotiated/agreed industrial division. All these models will be explained through analysis of their approaches, key actors, and mechanisms.…

Zustand: New. pp. 250.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Hardcover. Zustand: Fine. Zustand des Schutzumschlags: Fine. 2005 Reprint ; 400 pages : illustrations (some color), color maps ; 30 cm OCLC 812707504 and 49853630 ISBN 9780881925555, 0881925551 LCCN 2002020473 LC SB457.55 .V25 2002 Dewey 635.90951 ; green and white cloth in price-clipped dustjacket ; In this new companion book to The Garden Plants of China, Peter Valder describes more than 200 gardens he has visited in China. He documents temple courtyards and gardens, evocative enclosures of ancient burial grounds and imperial tombs, and public parks, botanical gardens, and arboreta, most of which have sprung up since 1949. ; Gardens in China is illustrated with more than 500 color photographs, many of them depicting gardens not previously illustrated in any Western publication, as well as reproductions of illustrations of historical interest. With their distinctive characteristics, the gardens of China are among the most fascinating in the world. This book is essential reading for visitors to China with an interest in gardens, garden history, and Chinese culture. ; Born in Australia and brought up in the bush, Peter Valder's early interest in the Australian flora was stimulated by local amateur botanists. He went on to become a plant pathologist and mycologist after graduating from the Universities of Sydney and Cambridge. He was pleased to later become involved in the teaching of general botany in addition to his mycological work. Peter has also been an office bearer of the Linnean Society and the Australian Institute of Agricultural Science. Since drifting into the popularizing of Australian botany and horticulture, he has made appearances on radio and television, wrote for magazines, and lectured to organizations concerned with plants and gardens ; FINE/FINE. Book.…

Zustand: New. In English.

HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Paperback. Zustand: Brand New. 240 pages. 9.25x6.10x0.75 inches. In Stock.

Paperback. Zustand: Brand New. 240 pages. 9.25x6.10x0.51 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 5th International School on Engineering Trustworthy Software Systems, SETSS 2019, held in Chongqing, China, in April 2019.The five chapters in this volume provide lectures on leading-edge research in methods and tools for use in computer system engineering. The topics covered in these chapter include Seamless Model-based System Development: Foundations; From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT; Weakest Preexpectation Semantics for Bayesian Inference: Conditioning, Continuous Distributions and Divergence; K - A Semantic Framework for Programming Languages and Formal Analysis Tools; and Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains a record of some of the lectures and seminars deliveredat the Second International School on Engineering Trustworthy Software Systems(SETSS 2016), held in March/April 2016 at Southwest University inChongqing, China.The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six courses and two seminars on topics such as: modelling and verification in event-B; parallel programming today; runtime verification; Java in the safety-critical domain; semantics of reactive systems; parameterized unit testing; formal reasoning about infinite data values; and Alan Turing and his remarkable achievements.The material is useful for postgraduate students, researchers, academics, and industrial engineers, who are interested in the theory and practiceof methods and tools for the design and programming of trustworthysoftware systems.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the lecture notes of the five coursesand one seminar given at the School on Engineering Trustworthy Software Systems(SETSS 2014), held in September 2014 at Southwest University in Chongqing,China.The material is useful for postgraduate students,researchers, academics and industrial engineers who are interested in thetheory and practice of methods and tools for the design and programming oftrustworthy software systems. The common themes of the courses include thedesign and use of theories, techniques and tools for software specification andmodeling, analysis and verification. The courses cover sequential programming,component- and object software, hybrid systems and cyber-physical systems withchallenges of termination, security, safety, security, fault-tolerance andreal-time requirements. The techniques include model checking, correctness byconstruction through refinement and model transformations, synthesis andcomputer algebra.…

Zustand: New.

Paperback. Zustand: Brand New. 340 pages. 9.00x6.00x0.75 inches. In Stock.

Zustand: New.

Zustand: New.

HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains lectures on leading-edge research in methods and tools for use in computer system engineering; at the 4th International School on Engineering Trustworthy Software Systems, SETSS 2018, held in April 2018 at Southwest University inChongqing, China.The five chapters in this volume provide an overview of research in the frontier of theories, methods, and tools for software modelling, design, and verification. The topics covered in these chapter include Software Verification with Whiley, Learning Büchi Automata and Its Applications, Security in IoT Applications, Programming in Z3, and The Impact of Alan Turing: Formal Methods and Beyond. The volume provides a useful resource for postgraduate students, researchers, academics, and engineers in industry, who are interested in theory, methods, and tools for the development of trustworthy software.…

Paperback. Zustand: Brand New. 200 pages. 9.25x6.10x0.98 inches. In Stock.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New.

Paperback. Zustand: Brand New. 257 pages. 9.00x6.00x0.75 inches. In Stock.