Proof – Bücher, CDs, LPs und mehr, Seite 8

Dale Miller

Proof Theory and Logic Programming

This book offers a principled view of programming, showing how computation arises from logic. It explores different logical and proof-theoretic systems as foundations for programming, providing a deeper u…

Marcin Wasilewski (geb. 1975)

Live

Seit Jahren hoffen die Fans des polnischen Marcin Wasilewski Trios auf ein Live-Album. Hier ist es nun, mitgeschnitten auf dem Jazz Middelheim Festival in Antwerpen, Belgien, im August 2016. Es fängt die …

John Stillwell

The Story of Proof

How the concept of proof has enabled the creation of mathematical knowledgeThe Story of Proof investigates the evolution of the concept of proof-one of the most significant and defining features of mathem…

Nas

King's Disease III (Limited Edition) (Ruby Red & Black Striped Vinyl)

»King's Disease III« ist der dritte Teil der mit dem GRAMMY Award ausgezeichneten King's Disease-Reihe von Nas und Hit-Boy und markiert die mit Spannung erwartete Rückkehr des Duos seit der Überraschungs-…

Wild Billy Childish

Brand New Cage

Wild Billy Childish & CTMF sind mit ihrem fünften Album innerhalb von fünf Jahren zurück. »Brand New Cage« folgt dem von Fans und Kritikern gefeierten 2016er Album »SQ1« und enthält zehn neue Billy Childi…

Future-Proof Legal Services

Analyses the profound transformation that has been affecting the business of law around the world.

Sohn

Rennen

Die Ruhe nach dem Rennen Nachdem sich Sohn bereits mit Remixen von Lana Del Rey, Laura Mvula und Rhye und seiner EP »The Wheel« einen Namen in der Electronicaszene gemacht hatte, präsentierte er vor zwei …

Wormwitch

Wolf Hex (Clear w/ Black Swirl Vinyl)

Wormwitch erheben sich aus dem Lehm mit einem neuen Ziel, das von den Lektionen des Lebens und des Weges geprägt ist, und sind nicht gewillt, in Frieden zu ruhen; Wormwitch stehen exhumiert und stinkend u…

The Gathering

Almost A Dance

Kevin Hartnett

The Proof in the Code

The inside story of Lean, a computer program that answers the age-old question: How do you know if something is true? It began as an obscure bug-checking program at Microsoft Research developed by a lone …

Caravan

In The Land Of Grey And Pink (+ Bonus Tracks)

»In The Land Of Grey And Pink« gilt vielen als beste Veröffentlichung der britischen Prog-Rock-Band Caravan. Die Mischung aus Jazz und Folk-Instrumentierung und Improvisationen erinnert an Bands wie Traff…

Philip Ording,

99 Variationen eines Beweises

Am Anfang stehen eine mathematische Gleichung - und 99 Lösungen. Inspiriert von den berühmten "Stilübungen", in denen eine vermeintlich öde Alltagsepisode in zahlreichen Variationen erzählt wird…

Jonas Caldwell

The Crisis-Proof Family Budget Planner

YOUR FAMILY'S FINANCIAL SECURITY STARTS TODAYWorried about making ends meet? Stressed about job security? Uncertain how to handle emergencies? You're not alone. 60% cannot cover a $1,000 emergency. Here's…

Massive Attack

Collected

Cat Power

The Greatest

Cat Powers bestes Werk in neuer Verpackung Als Indie-Ikone von Fans und Medien gleichermaßen verehrt, gelang Chan Marshall 2006 nun endlich auch der kommerzielle Durchbruch in Deutschland. Mit „The Greate…

Charles R. Morrison

The Proofs of Christ's Resurrection; From a Lawyer's Standpoint

Reproduction of the original. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the public in good conditio…

Caroline Fothergill

Put to the Proof. A Novel

Reprint of the original, first published in 1883. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

Caroline Fothergill

Put to the Proof. A Novel

Reprint of the original, first published in 1883. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

Charles R. Morrison

The Proofs of Christ's Resurrection; From a Lawyer's Standpoint

Reproduction of the original. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the public in good conditio…