Filter by
The Sources of Anti-Slavery Constitutionalism in America, 1760-1848
This ambitious book examines the constitutional and legal doctrines of the antislavery movement from the eve of the American Revolution to the Wilmot Proviso and the 1848 national elections. Relating political activity to constitutional thought, William M. Wiecek surveys the antislavery societies, the ideas of their individual members, and the actions of those opposed to slavery and its expansi…
- Edition
- Ed. 1
- ISBN/ISSN
- 9781501726453, 9781501726446
- Collation
- 272
- Series Title
- -
- Call Number
- 901 WIE s
Advanced Problems in Mathematics: Preparing for University
"This new and expanded edition is intended to help candidates prepare for entrance examinations in mathematics and scientific subjects, including STEP (Sixth Term Examination Paper). STEP is an examination used by Cambridge Colleges for conditional offers in mathematics. They are also used by some other UK universities and many mathematics departments recommend that their applicants practice on…
- Edition
- Ed. 1
- ISBN/ISSN
- 9781783747764
- Collation
- -
- Series Title
- -
- Call Number
- 510 SIK a
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
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography