Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Las ciencias en los estudios del agua
Diálogo desde varias ópticas y disciplinas sobre la calidad, escasez, contaminación y conservación de los recursos hídricos y sus efectos en los otros componentes naturales.
General Register
Announcements for the following year included in some vols.
Truth and Reconciliation Commission of South Africa Report
CD contains the entire text of the five volume set.
Wayward Feeling
Inventive new methods of audio-visual mediation and aesthetic activism have been giving shape, since at least the mid-2000s, to feelings of despair, disappointment, and rage at the injustice that South Africa’s colonial and apartheid histories continue to trail in their wake. Wayward Feeling reveals how racism, sexism, and other forms of structural disenfranchisement have continued to assert themselves in affective terms, and how these terms have been recast in spaces both public and intimate in "post-rainbow" times. Helene Strauss argues that the tension between aspiration and achievability has yielded modes of feeling that increasingly disrupt the thrall of post-apartheid nation-building and reconciliation myths, even as wide-spread attachment to the utopian ideals of the anti-apartheid struggle continues to shape dissenting political organising and cultural production. Drawing on a variety of audio-visual forms – including video installations, conceptual artwork, documentary film, live art, and sonic installations – Wayward Feeling examines some of the affective resources that people in contemporary South Africa have been drawing on to make difficult lives more bearable.
Preserving Western History
The first collection of essays on public history in the American West.
Index Medicus
Vols. for 1963- include as pt. 2 of the Jan. issue: Medical subject headings.
Deductive Software Verification – The KeY Book
Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a large portfolio of - mostly fully automated - analyses: formal verification, test generation, security analysis, visualization, and debugging. All of them are realized in the state-of-art deductive verification framework KeY. This book is the definitive guide to KeY that lets you explore the full potential of deductive software verification in practice. It contains the complete theory behind KeY for active researchers who want to understand it in depth or use it in their own work. But the book also features fully self-contained chapters on the Java Modeling Language and on Using KeY that require nothing else than familiarity with Java. All other chapters are accessible for graduate students (M.Sc. level and beyond). The KeY framework is free and open software, downloadable from the book companion website which contains also all code examples mentioned in this book.
Global Trade Analysis
This book, drawn from the Global Trade Analysis Project (GTAP), aims to help readers conduct quantitative analysis of international trade issues in an economy-wide framework. In addition to providing a succinct introduction to the GTAP modeling framework and data base, this book contains seven of the most refined GTAP applications undertaken to date, covering topics ranging from trade policy, to the global implications of environmental policies, factor accumulation and technological change.
