Filter by
Computer aided verification : 27th International Conference, CAV 2015, San Fr…
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015. The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model check…
- Edition
- -
- ISBN/ISSN
- 9783319216904
- Collation
- xxiii, 677 pages
- Series Title
- -
- Call Number
- 004
Urban Vulnerability and Climate Change in Africa A Multidisciplinary Approach
Urbanisation and climate change are among the major challenges for sustainable development in Africa. The overall aim of this book is to present innovative approaches to vulnerability analysis and for enhancing the resilience of African cities against climate change-induced risks. Locally adapted IPCC climate change scenarios, which also consider possible changes in urban population, have been …
- Edition
- -
- ISBN/ISSN
- 978-3-319-03982-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Design Tools: A reflection towards the definition of a taxonomy
This book aims at encompassing the panorama of design tools being developed, tested and adopted by researchers and professors at the Department of Design of Politecnico di Milano. The tools are organized in a taxonomy that reflects the path of choice of a possible user in need for the right tool for a task to be performed. The taxonomy is based on a formalization of the design process proposed …
- Edition
- Ed. 1
- ISBN/ISSN
- 9788835141730, 9788835141730
- Collation
- 94
- Series Title
- Design International
- Call Number
- 658.5752 DES d
Urban Transportation and the Environment Issues, Alternatives and Policy Ana…
The book deals with urban transportation planning in light of environmental sustainability and social equity. It begins with a review of the Indian urban transportation system and the issues surrounding it, and discusses the alternatives and policy directions that are being considered. It examines all the environmental issues arising out of transportation as a sector and assesses the alternativ…
- Edition
- -
- ISBN/ISSN
- 978-81-322-2313-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Aided Virtual Manufacturing Using Creo Parametric: Easy to Learn Ste…
Providing a step-by-step guide for the implementation of virtual manufacturing using Creo Parametric software (formerly known as Pro-Engineer), this book creates an engaging and interactive learning experience for manufacturing engineering students. Featuring graphic illustrations of simulation processes and operations, and written in accessible English to promote user-friendliness, the book co…
- Edition
- -
- ISBN/ISSN
- 9783319233598
- Collation
- l, 640 pages
- Series Title
- -
- Call Number
- 004
Urban Mining Systems
This book focuses on the fundamental concept of and current endeavors in “urban mining” among those who are interested in both metal resources and ecology. Systems for recycling and reusing precious metals and rare-earth minerals contained in used and discarded electronics are introduced in this book. The target audience is not academic researchers in the resource management and ecology fie…
- Edition
- -
- ISBN/ISSN
- 978-4-431-55075-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Urban Land Economics
This book covers the main aspects of regional and urban economics and presents state-of-the-art theories in a comprehensive and concise way. The book will be of interest to undergraduates in business and economics and covers specific areas such as real estate, urban and regional planning and geography and development studies.
- Edition
- -
- ISBN/ISSN
- 978-3-319-15320-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Urban Innovation and Upgrading in China Shanty Towns Changing the Rules of D…
By using field survey and World Bank investment project evaluation method, this book investigates the experience of slum rebuilding in Liaoning province, China. It figures out that the experience of Liaoning province is relatively successful and can be of great significance for developing countries and regions. The issue of slums is a huge challenge in the process of global urbanization. The po…
- Edition
- -
- ISBN/ISSN
- 978-3-662-43905-0
- Collation
- -
- Series Title
- -
- Call Number
- -
Urban Development Challenges, Risks and Resilience in Asian Mega Cities
In this book, an interdisciplinary research group of faculty members, researchers, professionals, and planners contributed to an understanding of the dynamics and dimensions of emerging challenges and risks in megacities in the rapidly changing urban environments in Asia and examined emerging resilience themes from the point of view of sustainability and public policy. The world’s urban popul…
- Edition
- -
- ISBN/ISSN
- 978-4-431-55043-3
- Collation
- -
- Series Title
- -
- Call Number
- -
Uranium - Past and Future Challenges Proceedings of the 7th International Co…
This book is the collection of papers from the latest International Uranium Mining and Hydrogeology Conference (UMH VII) held in September 2014, in Freiberg, Germany. It is divided to five sessions: Uranium Mining, Uranium and Phosphates, Clean-up technologies for water and soil. Uranium and daughter nuclides and basic research and modeling. Each session covers a wide range of related topic and…
- Edition
- -
- ISBN/ISSN
- 978-3-319-11059-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography