Modelchecking – alle Bücher, CDs 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 innerhalb 2-3 Wochen

Buch

Laurence Heller, Brad J. Kammer,
Praxisbuch Entwicklungstrauma heilen

NARM verstehen und erfolgreich anwendenDieses Praxisbuch zeigt, wie das Neuroaffektive Beziehungsmodell NARM(TM) therapeutisch angewandt werden kann, um komplexe posttraumatische Belastungsstörungen zu lö…

sofort lieferbar

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

Model Checking Software

This book constitutes the refereed proceedings of the 32nd International Symposium on Model Checking Software, SPIN 2026, held in Turin, Italy, during April 15-16, 2026.The 5 full papers, 1 short paper, a…

lieferbar ab 24.2.2027.

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 1-2 Wochen

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

Verification, Model Checking, and Abstract Interpretation

Lecture Notes in Computer Science - Band 16417

This book constitutes the proceedings of the 27th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2026, which took place in Rennes, France, during January 12-1…

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 innerhalb von 1-3 Tagen

Buch

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

Å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 (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 in mind. 4 Wochen

2 CDs

The Rolling Stones

Black And Blue (180g) (Limited Deluxe Edition) (Blue/Black Marble Vinyl)

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 von 3 Tagen

2 LPs

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…

Artikel am Lager

CD

The Rolling Stones

Black And Blue (2025) (Ltd. Edt. 5LP+BluRay)

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 von 3 Tagen

6 LPs

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