0
EUR
00,00*
Warenkorb EUR 00,00 *
Filter
    Erweiterte Suche
    Konto anlegen
    1. Startseite
    2. Reification
    3. Reification – Bücher, CDs, LPs und mehr, Seite 4

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

    Wir konnten keine exakten Treffer zu Ihrer Suche nach "reification" finden. Könnten diese Produkte zu Ihrer Suche passen?

    Ansicht:

    Computer Aided Verification

    This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24 27, 2024. The…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 43,80

    John Stuart Stuart Glennie
    Isis and Osiris; Or, The Origin of Christianity as a Verification of an Ultimate Law of History.

    Reprint of the original, first published in 1878. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 89,90

    Bob Marley
    Survival

    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
    CD
     
    Aktueller Preis: EUR 11,99

    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
    Aktueller Preis: EUR 142,37

    David Allen Burke
    Atomic Testing in Mississippi

    In Atomic Testing in Mississippi, David Allen Burke illuminates the nearly forgotten history of America's only nuclear detonations east of the Mississippi River. The atomic tests, conducted in the mid-196…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 46,60

    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
    Aktueller Preis: EUR 63,51

    John Stuart Stuart Glennie
    Isis and Osiris; Or, The Origin of Christianity as a Verification of an Ultimate Law of History.

    Reprint of the original, first published in 1878. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 69,90

    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
    Aktueller Preis: EUR 164,28

    Gregory Porter (geb. 1971)
    Liquid Spirit

    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
    CD
     
    Aktueller Preis: EUR 8,99

    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
    Aktueller Preis: EUR 54,75

    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…

    Artikel am Lager
    4 Blu-ray Discs
    Aktueller Preis: EUR 21,99

    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
    Aktueller Preis: EUR 72,27

    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
     
    Aktueller Preis: EUR 32,99

    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
     
    Aktueller Preis: EUR 16,99

    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
    Aktueller Preis: EUR 142,37

    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
    Aktueller Preis: EUR 72,27

    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
    Aktueller Preis: EUR 81,04

    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
    Vorheriger Preis EUR 14,99, reduziert um 46%
    Aktueller Preis: EUR 7,99

    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
    Aktueller Preis: EUR 76,66

    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…

    Artikel am Lager
    4 DVDs
    Vorheriger Preis EUR 17,99, reduziert um 22%
    Aktueller Preis: EUR 13,99
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.
    © jpc-Schallplatten-Versandhandelsgesellschaft mbH