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.

Sign up

General Register
  • Language: en
  • Pages: 1178

General Register

  • Type: Book
  • -
  • Published: 1924
  • -
  • Publisher: Unknown

Announcements for the following year included in some vols.

Deductive Software Verification – The KeY Book
  • Language: en
  • Pages: 714

Deductive Software Verification – The KeY Book

  • Type: Book
  • -
  • Published: 2016-12-19
  • -
  • Publisher: Springer

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.

Wayward Feeling
  • Language: en
  • Pages: 318

Wayward Feeling

  • Categories: Art

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
  • Language: en
  • Pages: 428

Preserving Western History

  • Type: Book
  • -
  • Published: 2005
  • -
  • Publisher: UNM Press

The first collection of essays on public history in the American West.

Truth and Reconciliation Commission of South Africa Report
  • Language: en
  • Pages: 568

Truth and Reconciliation Commission of South Africa Report

CD contains the entire text of the five volume set.

Index Medicus
  • Language: en
  • Pages: 1892

Index Medicus

  • Type: Book
  • -
  • Published: 2001
  • -
  • Publisher: Unknown

Vols. for 1963- include as pt. 2 of the Jan. issue: Medical subject headings.

Transcript of the Enrollment Books
  • Language: en
  • Pages: 622

Transcript of the Enrollment Books

  • Type: Book
  • -
  • Published: 1941
  • -
  • Publisher: Unknown

None

The Bone People
  • Language: en

The Bone People

  • Type: Book
  • -
  • Published: 2023-08
  • -
  • Publisher: Unknown

This novel is one of a dozen classics released in the Popular Penguin format to mark 50 years of publishing in New Zealand. The format reaches further back to 1935, when Allen Lane founded Penguin Books with a clear vision- 'We believed in the existence of a vast reading public for intelligent books at a low price, and staked everything on it.' Winner of the Booker Award, this powerful and mesmerising novel tracks the complicated relationships between three outcasts of mixed European and Maori heritage- Kerewin, an artist estranged from her family and art; a mute boy called Simon, who tries to steal from her; and his tender but brutal foster father Joe.