Bernhard Steffen – DVDs, Bücher, CDs und mehr

Rise Up

Wie verändert man die Welt? »Rise Up« sucht gemeinsam mit fünf außergewöhnlichen Menschen Antworten auf die verheerenden ökologischen, wirtschaftlichen und autoritären Entwicklungen unserer Zeit. Können …

Bridging the Gap Between AI and Reality

This book constitutes the proceedings of the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 2023. The papers included…

Bridging the Gap Between AI and Reality

This open access book constitutes revised selected papers from the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 202…

The Combined Power of Research, Education, and Dissemination

Starting with a Laurea in Ingegneria Elettronica and a PhD in Computer and Systems Engineering at the Politecnico di Torino, Tiziana has stayed faithful to her love of organized management of composable f…

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

Real Time and Such

This Festschrift reflects Professor Wang Yi's contributions to the fields of formal methods, real-time systems and scheduling, and multicore systems. Wang Yi received a PhD in Computer Science from Chalm…

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

Goldene Weihnachtshits (Die Neue)

Die "Goldene Weihnachtshits"-Reihe erscheint jedes Jahr zur Weihnachtszeit und bringt auf 2 CDs eine harmonische Mischung aus brandneuen deutschen Weihnachtsliedern und internationalen Klassikern. Mit ins…

Schlager Hits 2024

Sankt Maik Staffel 3 (finale Staffel)

Die dritte Staffel der erfolgreichen Dramedy-Serie bildet auch den Abschluss der Geschichten rund um den kreativen Trickbetrüger Maik Schäfer und seiner Läuterberger Gemeinde. Als »Pfarrer Sanmann« mischt…

Sankt Maik Staffel 2

Die Läuterberger sind in heller Aufruhr und in großer Sorge um ihren Herrn Pfarrer! Denn seit Maik sich vor eine Kugel warf und so das Leben von Polizistin Eva rettete, lag er schwer verletzt in der Klini…

Eichwald, MdB Staffel 2

Eichwald, der seinen Bochumer Wahlkreis mit kaum 300 Stimmen Vorsprung gegen einen jungen Rechtspopulisten verteidigen konnte, hat politische Erfolge nötiger denn je, sieht sich aber bald schon mit einem …

Sankt Maik Staffel 1

Irgendwo in der Provinz gelandet, entkommt Trickbetrüger Maik gerade noch dem Arm des Gesetzes - aber nur, indem er in eine echte Soutane schlüpft und somit zufällig zum Pfarrer der Läuterberger Kirche wi…

Achilles, Florian Schwiecker, Gisa Pauly, Iny Lorentz

Myrrhe, Mord und Marzipan

Lasst sie tot und blutig sein und uns an ihr'm Leid erfreu'n ... Sie haben keine Lust auf langweilige Weihnachten und Gedanken an Mord und Totschlag begleiten Sie während der Adventszeit? Dann ist diese…

Bernard Cornwell,

The Last Kingdom

Vor 15 Jahren erschien Bernard Cornwells erster historischer Roman um den Krieger Uhtred von Bebbanburgh, ein fiktiver Held historisch verbürgter Auseindersetzungen zwischen Wikingern und Angelsachsen im …

Poly Staffel 1-6 (Gesamtedition)

Zwischen 1961 und 1968 wurden insgesamt sechs Staffeln der französischen Kult-Abenteuerserie für Kinder über die Erlebnisse eines Jungen mit einem Zirkuspony gedreht. Geschrieben wurde die Serie von der f…