Filter by
Human-Centered Urban Planning and Design in China: Volume I
This book explores a more human-centered development pathway associated with the ideological shift from "quantity" to "quality" growth in the new era of Chinese urbanization. Sustainable urban and rural planning should be “people-centered” and concerned about urban-rural coordination. The authors argue that successful urban and rural development in China should promote social equity, cultu…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-83856-0
- Collation
- xii, 291p.:ill
- Series Title
- -
- Call Number
- 304.2 Hum
Human-Centered Urban Planning and Design in China: Volume II
This book provides insights and discusses human-centered urban design and placemaking, human activities and urban mobility in China. It argues that sustainable urban design and mobility should be “people-centered” and concerned about “place-making” in the new era of Chinese urbanization. Successful urban design and placemaking should adopt interdisciplinary approaches to planning and de…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-83860-7
- Collation
- xii, 358p.:ill
- Series Title
- -
- Call Number
- 307.76 Hum
R-Calculus, III: Post Three-Valued Logic
This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates. In this book, R-calculus is taken as Tableau-based/sequent-based/multisequent-based to preserve the satisfiability of the Theory/sequent/multisequent to revise, or sequent…
- Edition
- 1
- ISBN/ISSN
- 978-981-19-4270-9
- Collation
- xii, 273p.: Ill.
- Series Title
- Perspectives in Formal Induction, Revision and Evolution
- Call Number
- 006.332 Li r
Data Driven Smart Manufacturing Technologies and Applications
This book reports innovative deep learning and big data analytics technologies for smart manufacturing applications. In this book, theoretical foundations, as well as the state-of-the-art and practical implementations for the relevant technologies, are covered. This book details the relevant applied research conducted by the authors in some important manufacturing applications, including intell…
- Edition
- -
- ISBN/ISSN
- 978-3-030-66849-5
- Collation
- ix, 218p.:Ill
- Series Title
- Springer Series in Advanced Manufacturing
- Call Number
- 670 Dat
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography