Reification – Bücher, CDs, LPs und mehr, Seite 4 online kaufen

Automated Technology for Verification and Analysis

The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October…

lieferbar innerhalb 2-3 Wochen

Buch

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

Lecture Notes in Computer Science - Band 15223

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, …

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

Brad Mehldau (geb. 1970)

Jacob's Ladder

Brad Mehldaus »Jacob's Ladder« enthält neue Kompositionen, die inhaltlich vom Reflektieren der Heiligen Schriften und von der Suche nach Gott geprägt sind. Musikalisch wurde das neue Album vom Progrock in…

lieferbar innerhalb einer Woche

2 LPs

Brad Mehldau (geb. 1970)

Jacob's Ladder

Brad Mehldaus »Jacob's Ladder« enthält neue Kompositionen, die inhaltlich vom Reflektieren der Heiligen Schriften und von der Suche nach Gott geprägt sind. Musikalisch wurde das neue Album vom Progrock in…

Artikel am Lager

CD

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

Lecture Notes in Computer Science - Band 15222

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, …

lieferbar innerhalb 2-3 Wochen

Buch

African Kung Fu Nazis

Er ist wieder da! Wie jeder weiß, hat sich Adolf Hitler nach Kriegsende per U-Boot an die Küste Ghanas in Westafrika retten können. Mit seinen ergebenen Handlangern, dem japanischen Oberbefehlshaber Hidek…

umgehend lieferbar, Bestand beim Lieferanten vorhanden

DVD

AI Verification

This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024. The scope of the topics was broadly categorized…

lieferbar innerhalb 2-3 Wochen

Buch

Zurück in die Zukunft I-III (Blu-ray)

Zurück in die Zukunft - Teil 1 Marty McFly ist alles andere als happy, denn die Schule stinkt ihm und seine Eltern gehen ihm gehörig auf die Nerven. Sein einziger Trost ist der exzentrische Wissenschaftl…

lieferbar innerhalb einer Woche

4 Blu-ray Discs

African Kung Fu Nazis (Blu-ray)

Er ist wieder da! Wie jeder weiß, hat sich Adolf Hitler nach Kriegsende per U-Boot an die Küste Ghanas in Westafrika retten können. Mit seinen ergebenen Handlangern, dem japanischen Oberbefehlshaber Hidek…

Artikel am Lager

Blu-ray Disc

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

Lecture Notes in Computer Science - Band 15220

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, …

lieferbar innerhalb 2-3 Wochen

Buch

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

Lecture Notes in Computer Science - Band 15219

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, …

lieferbar innerhalb 2-3 Wochen

Buch

African Kung Fu Nazis (Blu-ray im Mediabook)

Er ist wieder da! Wie jeder weiß, hat sich Adolf Hitler nach Kriegsende per U-Boot an die Küste Ghanas in Westafrika retten können. Mit seinen ergebenen Handlangern, dem japanischen Oberbefehlshaber Hidek…

umgehend lieferbar, Bestand beim Lieferanten vorhanden

2 Blu-ray Discs

Principles of Verification: Cycling the Probabilistic Landscape

This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the Uni…

lieferbar innerhalb 2-3 Wochen

Buch

Principles of Verification: Cycling the Probabilistic Landscape

This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the Uni…

lieferbar innerhalb 2-3 Wochen

Buch

Principles of Verification: Cycling the Probabilistic Landscape

This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the Uni…

lieferbar innerhalb 2-3 Wochen

Buch

Zurück in die Zukunft I-III (30th Anniversary Edition)

Zurück in die Zukunft - Teil 1 Marty McFly ist alles andere als happy, denn die Schule stinkt ihm und seine Eltern gehen ihm gehörig auf die Nerven. Sein einziger Trost ist der exzentrische Wissenschaftl…

lieferbar innerhalb einer Woche

4 DVDs

Bob Marley

Survival (180g)

Als Bob Marley 1979 sein elftes Studioalbum Survival veröffentlichte, war das für den damals 34-Jährigen ein klarer thematischer Richtungswechsel von seinen vorherigen Longplayern. Vor allem sein letztes …

umgehend lieferbar, Bestand beim Lieferanten vorhanden

LP

Cats TV

Los!

Die Kultband aus Cuxhaven veröffentlicht 2023 ein Album mit zehn neuen Songs, von dem die Band sagt, es sei sehr rocklastig, das Label vermutet bereits einen neuen Klassiker. Fans sollten sich den 25.3.20…

lieferbar innerhalb einer Woche

LP

Gregory Porter (geb. 1971)

Liquid Spirit (10th Anniversary) (Limited Edition)

Seit Kurt Elling hat es im Jazz keinen Sänger gegeben, der einen so glänzenden Karriereeinstieg hinlegte wie Gregory Porter. Mit »Water« (2010) und »Be Good« (2012), seinen beiden ersten, von der Kritik f…

Artikel am Lager

3 LPs

Trefferliste "Reification" - alle Bücher, CDs, LPs und mehr