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

Model Checking Software

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

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

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…

lieferbar innerhalb 1-2 Wochen

2 CDs

The Rolling Stones

Black And Blue (Limited 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…

lieferbar innerhalb 1-2 Wochen

2 LPs

The Rolling Stones

Black And Blue (Super Deluxe Edition) (4 SHM-CDs + Blu-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

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

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

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 (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 (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

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

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

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

.- Automated Reasoning for Data-Aware Petri Nets..- Petri Nets and Higher-Dimensional Automata..- Discovering the Influence of Exogenous Data on Decisions in Processes..- Synthesizing Petri Nets from Labe…

lieferbar innerhalb 2-3 Wochen

Buch