Springer International Publishing: 24533 books
Leveraging Applications of Formal Methods, Verification, and Validation
6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers
Language: English
Release Date: December 20, 2016
This book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2014, held in Corfu, Greece, in October 2014, and the 5th International Symposium, ISoLA 2012, held in Heraklion, Crete, Greece, in October...
by Farhad Malekian
Language: English
Release Date: March 31, 2017
Language: English
Release Date: March 31, 2017
This volume is a new chapter in the future history of law. Its general perspective could not be more original and its critical ethical edge on the state of international law could not be timelier. It explores a compassionate philosophical approach to the genuine substance of law, criminal procedure,...
by
Language: English
Release Date: September 19, 2016
Language: English
Release Date: September 19, 2016
This last one out of four volumes by Richard Ned Lebow in this book series focuses on various fields of social sciences and their connection to international politics. The author writes about topics in psychology, tragedy, and ethics. All of these fields are being put into relation with political aspects, especially international relations.
The Accusation Model Before the International Criminal Court
Study of Convergence of Criminal Justice Systems
Language: English
Release Date: May 7, 2015
This book examines how the functioning of the International Criminal Court has become a forum of convergence between the common law and civil law criminal justice systems. Four countries were selected as primary examples of these two legal traditions: the United States, England and Wales, Germany...
by
Language: English
Release Date: November 2, 2016
Language: English
Release Date: November 2, 2016
This volume honors the lifetime achievements of the distinguished activist and scholar Elise Boulding (1920–2010) on the occasion of her 95th birthday. Known as the “matriarch” of the twentieth century peace research movement, she made significant contributions in the fields of peace education,...
The Brazilian Amazon
Politics, Science and International Relations in the History of the Forest
Language: English
Release Date: August 25, 2015
The aim of this book is to analyse the current development scenario in the Amazon, using Terra Preta de Índio as a case study. To do so it is necessary to go back in time, both in the national and international sphere, through the second half of the last century to analyse its trajectory. It will...
The Evolution of UN Sanctions
From a Tool of Warfare to a Tool of Peace, Security and Human Rights
Language: English
Release Date: October 27, 2017
Marking the 50th anniversary of UN sanctions, this work examines the evolution of sanctions from a primary instrument of economic warfare to a tool of prevention and protection against global conflicts and human rights abuses. The rise of sanctions as a versatile and frequently used tool to confront...
Nuclear Proliferation in South Africa
History and Politics
Language: English
Release Date: June 6, 2016
This book investigates drivers and trends in nuclear proliferation in the Global South. Based on an in-depth analysis of South Africa’s nuclear history, it examines general causes of proliferation, such as technical capabilities and constraints; a country’s motivation to build a nuclear bomb;...
Understanding China Today
An Exploration of Politics, Economics, Society, and International Relations
Language: English
Release Date: June 19, 2017
This book covers numerous areas and aspects of Chinese domestic and external politics and policies, the Chinese economy, Chinese society and culture, and Chinese literature and history. It is divided into four sections, the first of which focuses on China’s place in world politics, including its...
by Steve Hess, Richard Aidoo
Language: English
Release Date: July 13, 2015
Language: English
Release Date: July 13, 2015
This book investigates China’s emergence as an outside player in SSA over the last several decades and the current understanding of the impact of Beijing’s growing presence on the continent, including several case studies focused on specific SSA countries. China’s accelerating economic and political...
by Yeshwant Naik
Language: English
Release Date: April 7, 2017
Language: English
Release Date: April 7, 2017
The book analyses the Indian Supreme Court’s jurisprudence on homosexuality, its current approach and how its position has evolved in the past ten years. It critically analyses the Court’s landmark judgments and its perception of equality, family, marriage and human rights from an international...
Engineering Psychology and Cognitive Ergonomics
13th International Conference, EPCE 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings
Language: English
Release Date: July 4, 2016
This book constitutes the refereed proceedings of the 13th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, held in Toronto, ON, Canada, in July 2016.
The total...
UN Peacekeeping in Africa
A Critical Examination and Recommendations for Improvement
Language: English
Release Date: November 17, 2016
This timely volume explores the “dark side” of United Nations (UN) Peacekeeping in Africa: when rather than help establish a rule of law in the host country, they become perpetrators of crime. The work of the UN peacekeepers is generally comprised of police and military personnel, from countries...
Human Aspects of IT for the Aged Population. Design for Aging
Second International Conference, ITAP 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17–22, 2016, Proceedings, Part I
Language: English
Release Date: July 4, 2016
The two LNCS volume set 9754-9755 constitutes the refereed proceedings of the Second International Conference on Human Aspects of IT for the Aged Population, ITAP 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, held in Toronto, ON, Canada, in July...