Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Asian literature

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Inspired by the current political moment around the globe in which uprisings, protests, revolutions, and movements are on the rise, this book examines the intersections between the Bible and activism. It does this by showcasing intersectional readings of the Bible as an activist act and a tool for activism; historicizing the uses of the Bible within activist/freedom movements around the globe; and offering activist approaches to teaching the Bible. Each chapter in this volume provides a critical and substantive response from the discipline of Biblical Studies to global political trends. International in scope, with contributors from Africa, Asia, the Caribbean, Europe, Latin America, Oceania, South Africa, and the United States, they address themes such as gender politics, racial injustices, violence toward women, political resistance, and activist hermeneutics and pedagogies. Together they harness the intellectual energies of minoritized Biblical scholars in a nonessentialist manner to reflect on the Bible as a tool for liberating social and political change. Reflecting on the activist potential of the Bible, this book will be of keen interest to scholars in Biblical Studies, Political Theology, and Religious Studies.

Bible and politics --- Political theology --- Liberation theology $ --- Social justice --- Biblical teaching

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. The 21 revised full papers 5 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 82 submissions. The focos lies on theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as on applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools. The papers are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, tool demonstration papers, timed and stochastic systems, theory, and short papers.

Computer science --- Programming --- Computer architecture. Operating systems --- Information systems --- Computer. Automation --- ICT (informatie- en communicatietechnieken) --- informatica --- programmeren (informatica) --- informatiesystemen --- programmeertalen --- software engineering --- computernetwerken