Formal Methods – Bücher, LPs, CDs und mehr, Seite 2

Warmduscher

Too Cold To Hold

Warmduscher kehren im Herbst 2024 mit ihrem neuen Album »Too Cold To Hold« zurück, auf dem Irvine Welsh, Lianne La Havas, Janet Planet, Jeshi und CouCou Chloe als Gäste zu hören sind. Das Album ist zw…

lieferbar in mind. 4 Wochen

LP

Wax Tailor

The Shadow Of Their Suns

Wax Tailor, mit richtigem Namen Jean-Christophe Le Saoût, ist einer der bekanntesten französischen Produzenten im Bereich Hip Hop und Trip Hop. 2001 startete er international durch, mit dem Remix von Brea…

lieferbar innerhalb einer Woche

CD

George Henry Napheys
Modern Surgical Therapeutics. A Compendium of Current Formulae, Approved Dressings and Specific Methods for the Treatment of Surgical Diseases and Injuries

Reprint of the original, first published in 1882. 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…

lieferbar innerhalb 2-3 Wochen

Buch

George Henry Napheys
Modern Surgical Therapeutics. A Compendium of Current Formulae, Approved Dressings and Specific Methods for the Treatment of Surgical Diseases and Injuries

Reprint of the original, first published in 1882. 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…

lieferbar innerhalb 2-3 Wochen

Buch

Das neunte Leben des Louis Drax

Louis Drax ist kein normaler Junge. Jedes Jahr stößt ihm unter rätselhaften Umständen etwas Schreckliches zu, wobei er beinahe ums Leben kommt. Aus unerklärlichen Gründen hat er bisher jeden Unfall überle…

lieferbar innerhalb von 3 Tagen

DVD

John Carpenter

Halloween: The Complete Expanded Collection (Limited Edition) (Red Vinyl)

John Carpenters Soundtracks für die jüngste »Halloween«-Trilogie, die er zusammen mit seinen langjährigen Mitarbeitern Cody Carpenter und Daniel Davies komponierte, markierten die Rückkehr des legendären …

lieferbar innerhalb 1-2 Wochen

6 LPs

John Carpenter

Halloween (The Complete Expanded Collection)

John Carpenters Soundtracks für die jüngste »Halloween«-Trilogie, die er zusammen mit seinen langjährigen Mitarbeitern Cody Carpenter und Daniel Davies komponierte, markierten die Rückkehr des legendären …

Artikel am Lager

3 CDs

Jane

»Nach Afrika gehen, mit Tieren leben. Das ist alles, worüber ich je nachgedacht habe.« Jane Goodall. Der Oscar- und Emmy-nominierte Regisseur Brett Morgen nutzt einen Fundus von nie zuvor gesehenem 16m…

Artikel am Lager

DVD

Jane (Blu-ray)

»Nach Afrika gehen, mit Tieren leben. Das ist alles, worüber ich je nachgedacht habe.« Jane Goodall. Der Oscar- und Emmy-nominierte Regisseur Brett Morgen nutzt einen Fundus von nie zuvor gesehenem 16m…

Artikel am Lager

Blu-ray Disc

The Meteors

Psychobilly (Limited Edition) (Transparent Green Vinyl) (Secret Bonus Track)

Die Meteors, die ursprünglichen Schöpfer der Psychobilly-Musik, begannen als Reaktion auf die sanfte Neo-Rockabilly-Musik der Rock-Revival-Ära der späten 70er Jahre. Die Band wurde 1979 zuerst unter d…

LP

Lucas Santtana

O Céu É Velho Há Muito Tempo

Das neue, mittlerweile achte Album von Lucas Santtana, ist ein Porträt der politischen, sozialen und kulturellen Lage in seinem Heimatland Brasilien. Einen Namen hat sich Santtana mit Alben zwischen Tropi…

lieferbar innerhalb von 3 Tagen

CD

AI Verification

This LNCS volume constitutes the proceedings of the Second International Symposium, SAIV 2025, in Zagreb, Croatia, during July 2025.The scope of the topics was broadly categorized into two groups. The fir…

lieferbar innerhalb 2-3 Wochen

Buch

Computer Aided Verification

This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers …

lieferbar innerhalb 2-3 Wochen

Buch

Computer Aided Verification

This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers …

lieferbar innerhalb 2-3 Wochen

Buch

Computer Aided Verification

This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers …

lieferbar innerhalb 2-3 Wochen

Buch

Computer Aided Verification

This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers …

lieferbar innerhalb 2-3 Wochen

Buch

Fundamentals of Computation Theory

This book constitutes the proceedings of the 25th International Symposium on Fundamentals of Computation Theory, FCT 2025, held in Wrocaw, Poland, during September 15--17, 2025.The 32 full papers included…

lieferbar innerhalb 2-3 Wochen

Buch

Security Standardisation Research

.- Invited keynote talks..- Standardisation of and Migration to Post-Quantum Cryptography..- Contributed papers..- The Vision of Multi-Party Computation Technical Standards..- Vision Paper: Do we need Sta…

lieferbar innerhalb 2-3 Wochen

Buch

Iony Patriota deSiqueira
Model-Driven Power System Automation

Engineer, validate, and secure IEC 61850-based protection, automation, and systemsModel-Driven Power System Automation describes formal methods for specifying, designing, commissioning, and maintaining au…

lieferbar ab 16.8.2026.

Buch

Dan Parker
Linguistic Illusions

Linguistic illusions are cases where we systematically misunderstand, misinterpret, or fail to notice anomalies in the linguistic input, despite our competencies. Revealing fresh insights into how the min…

lieferbar innerhalb 2-3 Wochen

Buch