Filter by
Statistical Physics of Spin Glasses and Information Processing: An Introduction
Spin glasses are magnetic materials with strong disorder. Statistical mechanics has been a powerful tool to theoretically analyse various unique properties of spin glasses. A number of new analytical techniques have been developed to establish a theory of spin glasses. Surprisingly, these techniques have offered new tools and viewpoints for the understanding of information processing problems, …
- Edition
- Ed. 1
- ISBN/ISSN
- 9780198509400
- Collation
- 256
- Series Title
- International Series of Monographs on Physics
- Call Number
- 006.32 NIS s
Give peace a chance: on violence and warfare in prehistory and why it matters
How is it possible that people kill each other? And above all: how is it possible that people who are able to peacefully live with each other at one moment, can kill each other at another one? These are fundamental questions about the human condition – questions that religions, philosophers and scientists have been wanting to solve since times immemorial and that continue to fascinate us toda…
- Edition
- Ed. 1
- ISBN/ISSN
- 9789082948134
- Collation
- 65
- Series Title
- -
- Call Number
- 303.66 FAN g
Computer Aided Systems Theory – EUROCAST 2015 15th International Conference…
This volume constitutes the papers presented at the 15th International Conference on Computer Aided Systems Theory, EUROCAST 2015, held in February 2015 in Las Palmas de Gran Canaria, Spain. The total of 107 papers presented were carefully reviewed and selected for inclusion in the book. The contributions are organized in topical sections on Systems Theory and Applications; Modelling Biological…
- Edition
- -
- ISBN/ISSN
- 9783319273402
- Collation
- xviii, 887 pages
- Series Title
- -
- Call Number
- 004
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
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography