Model Checking – Bücher, CDs, LPs und mehr

Verification, Model Checking, and Abstract Interpretation

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, …

lieferbar innerhalb 2-3 Wochen

Buch

Verification, Model Checking, and Abstract Interpretation

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, …

lieferbar innerhalb 2-3 Wochen

Buch

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 ab 23.1.2026.

Buch

Clown Motel (Blu-ray)

Eine Gruppe von Geisterjägern und eine feierwütige Junggesellinnen-Gang treffen zufällig im abgelegenen »Clown Motel« aufeinander. Da sie in dem offenbar verlassenen Hotel niemand in Empfang nimmt, checke…

Artikel am Lager

Blu-ray Disc

The Rolling Stones

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

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

2 CDs

The Rolling Stones

Black And Blue (Super Deluxe Edition) (4 SHM-CDs + Bu-ray Audio)

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 ab 5.12.2025.

4 CDs

Jim Sullivan

U.F.O. (Blue Splatter Vinyl)

Im März 1975 verschwand Jim Sullivan auf mysteriöse Weise außerhalb von Santa Rosa, New Mexico. Sein VW-Käfer wurde verlassen aufgefunden, sein Motelzimmer war unberührt. Manche glauben, er habe sich in d…

Artikel am Lager

LP

Jim Sullivan

If The Evening Were Dawn

Am 4. März 1975 verschwand Jim Sullivan auf mysteriöse Weise bei Santa Rosa in New Mexico. Sein VW-Käfer wurden verlassen gefunden, sein Motelzimmer wirkte unberührt. Einige denken, dass er sich verirrt h…

lieferbar innerhalb 2-3 Wochen

CD

The Rolling Stones

Black And Blue (SHM-CD) (Papersleeve)

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 (2009 Remastered)

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

Jim Sullivan

U.F.O. (remastered) (Colored Vinyl)

Im März 1975 verschwand Jim Sullivan auf mysteriöse Weise außerhalb von Santa Rosa, New Mexico. Sein VW-Käfer wurde verlassen aufgefunden, sein Motelzimmer war unberührt. Manche glauben, er habe sich in d…

lieferbar innerhalb 2-3 Wochen

LP

The Rolling Stones

Black And Blue (remastered) (180g) (Half Speed Master)

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

LP

Drew McDowall

Agalma (Limited Edition) (Dark Translucent Green Vinyl)

Product Information Veteran NYC based Scottish electronic musician Drew McDowall's latest work is his loftiest, most liturgical, and least industrial outing to date - and potentially the apex of his rec…

lieferbar innerhalb einer Woche

LP

The Rolling Stones

Black And Blue (Limited Japan SHM-CD)

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…

CD

Drew McDowall

Agalma

Product Information Veteran NYC based Scottish electronic musician Drew McDowall's latest work is his loftiest, most liturgical, and least industrial outing to date - and potentially the apex of his rec…

lieferbar in mind. 4 Wochen

LP

Daniel Sorensen
Statistical Learning in Genetics

Overview.- Part I: Fitting Likelihood and Bayesian Models.- 2. Likelihood.- 3. Computing the Likelihood.- 4. Bayesian Methods.- 5. McMC in Practice.- Part II: Prediction.- 6. Fundamentals of Prediction.- …

lieferbar innerhalb 2-3 Wochen

Buch

Static Analysis

This book constitutes the refereed proceedings of the 32nd International Static Analysis Symposium, SAS 2025, held in Singapore, Singapore, in October 2025.The 15 papers included here were carefully revie…

lieferbar innerhalb 2-3 Wochen

Buch

Bridging the Gap Between AI and Reality

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

sofort lieferbar

Buch

Application and Theory of Petri Nets and Concurrency

This book constitutes the proceedings of the 46th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2025, held in Paris, France, during June 22--27, 2025. The 21…

lieferbar innerhalb 2-3 Wochen

Buch

Principles of Formal Quantitative Analysis

This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field of theoretical computer science, particularly in formal methods, temporal logics, model checking, and proba…

lieferbar innerhalb 2-3 Wochen

Buch