Filter by
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, …
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following t…
- Edition
- Ed. 1
- ISBN/ISSN
- 9783031131882, 9783031131882
- Collation
- 549
- Series Title
- Lecture Notes in Computer Science, 13372
- Call Number
- 006.3 COM c
Dictators and Autocrats: Securing Power across Global Politics
In order to truly understand the emergence, endurance, and legacy of autocracy, this volume of engaging essays explores how autocratic power is acquired, exercised, and transferred or abruptly ended through the careers and politics of influential figures in more than 20 countries and six regions. The book looks at both traditional "hard" dictators, such as Hitler, Stalin, and Mao, and more mode…
- Edition
- Ed. 1
- ISBN/ISSN
- 9780367607869, 9780367607876
- Collation
- 464
- Series Title
- -
- Call Number
- 909.022 DIC d
Index and Query Methods in Road Networks
This book presents the index and query techniques on road network and moving objects which are limited to road network. Here, the road network of non-Euclidean space has its unique characteristics such that two moving objects may be very close in a straight line distance. The index used in two-dimensional Euclidean space is not always appropriate for moving objects on road network. Therefore, t…
- Edition
- -
- ISBN/ISSN
- 978-3-319-10788-2
- Collation
- XI, 161
- Series Title
- -
- Call Number
- 004 FEN i
mHealth in Practice: Mobile Technology for Health Promotion in the Developing…
This book is available as open access through the Bloomsbury Open Access programme and is available on www.bloomsburycollections.com. There has recently been an explosion of interest around the application of mobile communication technologies to support health initiatives in developing countries (mHealth). As a result, there is a need to promote and share rigorous research for better informed p…
- Edition
- Ed. 1
- ISBN/ISSN
- 9781780932811, 9781780932804
- Collation
- 256
- Series Title
- -
- Call Number
- 616.075 MHE m
Documenting Death Maternal Mortality and the Ethics of Care in Tanzania
"Documenting Death is a gripping ethnographic account of the deaths of pregnant women in a hospital in a low-resource setting in Tanzania. Through an exploration of everyday ethics and care practices on a local maternity ward, anthropologist Adrienne E. Strong untangles the reasons Tanzania has achieved so little sustainable success in reducing maternal mortality rates, despite global developme…
- Edition
- -
- ISBN/ISSN
- 9780520973916
- Collation
- -
- Series Title
- -
- Call Number
- -
Field Station Bahia: Brazil in the Work of Lorenzo Dow Turner, E. Franklin Fr…
This book offers a new perspective on the making of Afro-Brazilian, African-American and African studies through the interrelated trajectory of E. Franklin Frazier, Lorenzo Dow Turner, Frances and Melville Herskovits in Brazil. The book compares the style, network and agenda of these different and yet somehow converging scholars, and relates them to the Brazilian intellectual context, especiall…
- Edition
- Ed. 1
- ISBN/ISSN
- 9789004527164, 9789004523937
- Collation
- -
- Series Title
- -
- Call Number
- 909.82 SAN f
Sisters in Spirit: Christianity, Affect, and Community Building in East Afric…
In this pioneering study, historian Andreana Prichard presents an intimate history of a single mission organization, the Universities’ Mission to Central Africa (UMCA), told through the rich personal stories of a group of female African lay evangelists. Founded by British Anglican missionaries in the 1860s, the UMCA worked among refugees from the Indian Ocean slave trade on Zanzibar and among…
- Edition
- -
- ISBN/ISSN
- 9781628952926
- Collation
- -
- Series Title
- -
- Call Number
- -
The 1970s: Portrait of a Generation at the Doorstep
This book draws a sociological portrait of the age group born in the 1970s in Estonia and discusses its generational features and constructions. This cohort’s coming of age coincided with the social and emotional turmoil of the re-independence movement in the late 1980s and with the transformation of society in the 1990s. This was the first cohort to negotiate its transition to adulthood in t…
- Edition
- -
- ISBN/ISSN
- 9789949329090
- Collation
- -
- Series Title
- -
- Call Number
- -
Unhooking from Whiteness Resisting the Esprit de Corps
What happens to people when they choose to unhook from the rules and modes of thought whiteness requires and expects of them? Whiteness promotes a form of hegemonic thinking, which influences not only thought processes but also behavior within the academy. Working to dismantle the racism and whiteness that continue to keep oppressed people powerless and immobilized in academe requires shar…
- Edition
- -
- ISBN/ISSN
- 978-94-6300-527-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Unfolding Afterglow Unfolding Afterglow
This title examines professional learning in the contemporary milieu of public education, considering the impact of No Child Left Behind and Race to the Top on such encounters for art educators. Drawing from prominent scholars of philosophy and education (Greene, Dewey, Gadamer), aesthetic experiential play is theorized as a catalyst for teacher renewal through the embodied intensities (Merleau…
- Edition
- -
- ISBN/ISSN
- 978-94-6300-531-9
- 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