Modelchecking – alle CDs, Bücher und LPs

Stéphane Demri
Concise Introduction to Alternating-Time Temporal Logics

Computer Science Foundations and Applied Logic

The formal verification of multi-agent systems aimed at proving that such systems meet their specifications has given rise to a very active field of research at the crossroads of formal methods, knowledge…

lieferbar innerhalb 2-3 Wochen

Buch

Andreas Henking, Christian Bluhm, Ludwig Fahrmeir, Karl Tasch
Kreditrisikomessung

Dieses Buch schließt die Lücke zwischen statistischer Grundlagenliteratur und mathematisch anspruchsvollen Werken zur Modellierung von Kreditrisiken: Ausgehend von den wichtigsten Begriffen zum Kreditrisi…

lieferbar ab 4.7.2026.

Buch

Justin Sullivan

Surrounded

(3)

Wir können nicht sicherstellen, dass die Bewertungen von solchen Verbrauchern stammen, die die Ware tatsächlich genutzt oder erworben haben.

Justin Sullivan wird sein zweites Soloalbum veröffentlichen, achtzehn Jahre nach dem ersten. "Surrounded" ist eine Sammlung von sechzehn neuen Songs, die er in den ersten Wochen des Lockdowns 2020 geschri…

Artikel am Lager

2 LPs

Laurence Heller, Aline LaPierre,
Entwicklungstrauma heilen

Ein frühes Trauma beeinträchtigt unsere Fähigkeit, mit uns selbst und mit anderen in Kontakt zu sein. Auf diese Weise werden unsere Lebenskraft und Lebendigkeit eingeschränkt, worauf die meisten psycholog…

sofort lieferbar

Buch

Ralla Townsend
Becoming the Axis

Becoming the Axis is a guide for those who are ready to reclaim their center, align with their Higher Self, and choose a path of conscious healing. Drawing from psychology, Choice Theory, and metaphysical…

lieferbar innerhalb 2-3 Wochen

Buch

Justin Sullivan

Surrounded (Limited Edition Mediabook)

(3)

Wir können nicht sicherstellen, dass die Bewertungen von solchen Verbrauchern stammen, die die Ware tatsächlich genutzt oder erworben haben.

Justin Sullivan wird sein zweites Soloalbum veröffentlichen, achtzehn Jahre nach dem ersten. "Surrounded" ist eine Sammlung von sechzehn neuen Songs, die er in den ersten Wochen des Lockdowns 2020 geschri…

lieferbar innerhalb von 3 Tagen

CD

Justin Sullivan

Surrounded (Limited Edition)

(3)

Wir können nicht sicherstellen, dass die Bewertungen von solchen Verbrauchern stammen, die die Ware tatsächlich genutzt oder erworben haben.

Justin Sullivan wird sein zweites Soloalbum veröffentlichen, achtzehn Jahre nach dem ersten. "Surrounded" ist eine Sammlung von sechzehn neuen Songs, die er in den ersten Wochen des Lockdowns 2020 geschri…

lieferbar innerhalb von 3 Tagen

2 CDs

Model Checking Software

Lecture Notes in Computer Science - Band 15945

This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, ON, Canada, during May 7--8, 2025.The 9 full papers included in …

lieferbar innerhalb 2-3 Wochen

Buch

Mayanja Gonzaga Lutwama
The Church as Communio: in search of a healing model of the Church in the modern world

Die Kirche ist, so das Zweite Vatikanische Konzil, entscheidend Zeichen und Werkzeug des Reiches Gottes in dieser Welt. Ihre Aufgabe ist es, der Gesellschaft eine Richtung zu geben, damit Menschen Antwort…

lieferbar ab 15.8.2026.

Buch

Chuck Johnson

The Cinder Grove

Product Information The follow up to Johnson's acclaimed Balsams album, The Cinder Grove delves further into the compositional possibilities of the pedal steel guitar. This halcyon collection of tracks …

Artikel am Lager

CD

The Rolling Stones

Black And Blue (Limited Edition) (Zoetrope Picture Disc)

(6)

Wir können nicht sicherstellen, dass die Bewertungen von solchen Verbrauchern stammen, die die Ware tatsächlich genutzt oder erworben haben.

1976 stieg »Black And Blue« auf Platz 1 der US Charts ein. Nachdem die Rolling Stones meherere Ersatzgitarristen für Mick Taylor unter die Lupe genommen hatten, unter anderen auch Wayne Perkins und Harvey…

Artikel am Lager

LP

The Rolling Stones

Black And Blue (2 SHM-CD) (Deluxe Edition)

(6)

Wir können nicht sicherstellen, dass die Bewertungen von solchen Verbrauchern stammen, die die Ware tatsächlich genutzt oder erworben haben.

1976 stieg »Black And Blue« auf Platz 1 der US Charts ein. Nachdem die Rolling Stones meherere Ersatzgitarristen für Mick Taylor unter die Lupe genommen hatten, unter anderen auch Wayne Perkins und Harvey…

lieferbar innerhalb 2-3 Wochen

2 CDs

Årabrot

Norwegian Gothic

Product Information ÂRABROTS`s 9th full-length album Norwegian Gothic sees the band collaborate with Lars Horntveth (Jaga Jazzist), cellist Jo Quail, Tomas Järmyr (Motorpsycho), Anders Moller (Turbonegr…

lieferbar innerhalb von 3 Tagen

CD

The Rolling Stones

Black And Blue (SHM-CD) (Papersleeve)

(6)

Wir können nicht sicherstellen, dass die Bewertungen von solchen Verbrauchern stammen, die die Ware tatsächlich genutzt oder erworben haben.

1976 stieg »Black And Blue« auf Platz 1 der US Charts ein. Nachdem die Rolling Stones meherere Ersatzgitarristen für Mick Taylor unter die Lupe genommen hatten, unter anderen auch Wayne Perkins und Harvey…

lieferbar innerhalb 1-2 Wochen

CD

The Rolling Stones

Black And Blue (2009 Remastered)

(6)

Wir können nicht sicherstellen, dass die Bewertungen von solchen Verbrauchern stammen, die die Ware tatsächlich genutzt oder erworben haben.

1976 stieg »Black And Blue« auf Platz 1 der US Charts ein. Nachdem die Rolling Stones meherere Ersatzgitarristen für Mick Taylor unter die Lupe genommen hatten, unter anderen auch Wayne Perkins und Harvey…

lieferbar in mind. 4 Wochen

CD

Trefferliste "Modelchecking" - alle CDs, Bücher und LPs