Nikolai Kosmatov – Bücher, CDs, DVDs und mehr

Integrated Formal Methods

This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK.The 19 full papers pre…

lieferbar innerhalb 2-3 Wochen

Buch

Guide to Software Verification with Frama-C

Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications. With the growing complexity and ubiquit…

lieferbar innerhalb 2-3 Wochen

Buch

Boris Tischtschenko (1939-2010)

Symphonie Nr.8

Mila Shkirtil (Mezzo), Chingiz Osmanov (Violine), Nikolai Mazhara (Klavier), St. Petersburg State Symphony Orchestra, Yuri Serov

lieferbar innerhalb 1-2 Wochen

CD

Nikolaj Roslavets (1881-1944)

Cellosonaten Nr.1 & 2

Lachezar Kostov, Viktor Valkov

Artikel am Lager

CD

The Red Book Ritual

Die drei Freunde Bea, Sophia und Justin treffen sich in einer alten, verlassenen Villa, um dort ein mysteriöses Spiel zu spielen, bei dem sie sich gegenseitig Geschichten aus einem Buch mit rotem Einband …

Artikel am Lager

DVD

Mandy

Shadow Mountains, 1983: Der friedliebende Einzelgänger Red Miller kocht vor Wut und Trauer. Hilflos musste er mitansehen, wie seine große Liebe Mandy verbrannt wurde. Jeremiah Sand, der charismatische Füh…

lieferbar innerhalb einer Woche

DVD

Mandy (Blu-ray)

Shadow Mountains, 1983: Der friedliebende Einzelgänger Red Miller kocht vor Wut und Trauer. Hilflos musste er mitansehen, wie seine große Liebe Mandy verbrannt wurde. Jeremiah Sand, der charismatische Füh…

lieferbar innerhalb einer Woche

Blu-ray Disc

Trefferliste "Nikolai Kosmatov" - alle Bücher, CDs, DVDs und mehr