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
- 9783319216683
- Collation
- xviii, 469 pages
- Series Title
- -
- Call Number
- 004
Yoga in Transformation: Historical and Contemporary Perspectives
This volume explores aspects of yoga over a period of about 2500 years. In its first part, it investigates facets of the South Asian and Tibetan traditions of yoga, such as the evolution of posture practice, the relationship between yoga and sex, yoga in the theistic context, the influence of Buddhism on early yoga, and the encounter of Islam with classical yoga. The second part addresses aspec…
- Edition
- Ed. 1
- ISBN/ISSN
- 9783737008624
- Collation
- -
- Series Title
- -
- Call Number
- 294.307 YOG y
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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography