0
EUR
00,00*
Warenkorb EUR 00,00 *
Filter
    Erweiterte Suche
    Konto anlegen
    1. Startseite

    2. Formal Proof – Bücher, CDs, Blu-ray Discs und mehr

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

    Ansicht:
    Anno Saul: Charité Staffel 2 (Blu-ray), BR

    Charité Staffel 2 (Blu-ray)

    Anni studiert während des Zweiten Weltkriegs Medizin an der Charité und ist überzeugt von der Rassen-Ideologie der Nazis. Sie erwartet freudig ein Kind des angesehenen Kinderarztes Dr. Artur Waldhausen. A…

    Artikel am Lager
    Blu-ray Disc
     
    EUR 22,99*
    Lewis Trondheim: Donjon 10: Die Beschwörungsformel, Buch

    Lewis Trondheim, Joann Sfar, Boulet,
    Donjon 10: Die Beschwörungsformel

    Während Horus seit Tagen versucht, die von Guillaume de la Cour aus der Seelentruhe befreiten Geister von Terra Amata zu hypnotisieren, wendet sich der Wächter an Marvin. Um dem Wunderheiler zu helfen, mu…

    sofort lieferbar
    Buch
    EUR 13,00*
    Anno Saul: Charité Staffel 2, DVD,DVD

    Charité Staffel 2

    Anni studiert während des Zweiten Weltkriegs Medizin an der Charité und ist überzeugt von der Rassen-Ideologie der Nazis. Sie erwartet freudig ein Kind des angesehenen Kinderarztes Dr. Artur Waldhausen. A…

    umgehend lieferbar, Bestand beim Lieferanten vorhanden
    2 DVDs
     
    EUR 19,99*
    Das Lumpenpack: Eine herbe Enttäuschung, CD

    Das Lumpenpack
    Eine herbe Enttäuschung

    Noch größer, noch mutiger, noch musikalischer: Das neue Album »Eine Herbe Enttäuschung« des Lumpenpacks erscheint auf Roof Records! Das Lumpenpack entsteht 2012 in einem dänischen Ferienhaus. Max Kenn…

    Artikel am Lager
    CD
     
    EUR 12,99*
    Divo G. Müller: Training für die Faszien - Die Erfolgsformel für ein straffes Bindegewebe, Buch

    Divo G. Müller, Karin Hertzer
    Training für die Faszien - Die Erfolgsformel für ein straffes Bindegewebe

    Faszien durchziehen den Körper von Kopf bis Fuß und bilden ein körperweites Netzwerk. Sie sind an jeder Bewegung beteiligt und geben außerdem Struktur und Halt. So hängt es vor allem von der Spannung der …

    lieferbar ab 11.12.2024.
    Buch
    EUR 9,99*
    Herbie Hancock: Flood: Live In Japan (180g), LP,LP

    Herbie Hancock (geb. 1940)
    Flood: Live In Japan (180g)

    »Flood« - Herbie Hancock (keyb); Bennie Maupin (sax, cl, fl, perc); Blackbird McKnight (g); Paul Jackson (b); Mike Clark (dr); Bill Summers (cga, perc) Die überaus erfolgreiche Tournee des Herbie Hanco…

    umgehend lieferbar, Bestand beim Lieferanten vorhanden
    2 LPs
     
    EUR 56,99*
    Herbie Hancock: Flood, CD

    Herbie Hancock (geb. 1940)
    Flood

    »Flood« - Herbie Hancock (keyb); Bennie Maupin (sax, cl, fl, perc); Blackbird McKnight (g); Paul Jackson (b); Mike Clark (dr); Bill Summers (cga, perc) Die überaus erfolgreiche Tournee des Herbie Hanco…

    CD
    Herbie Hancock: Flood (Blu-Spec CD 2), CD

    Herbie Hancock (geb. 1940)
    Flood (Blu-Spec CD 2)

    »Flood« - Herbie Hancock (keyb); Bennie Maupin (sax, cl, fl, perc); Blackbird McKnight (g); Paul Jackson (b); Mike Clark (dr); Bill Summers (cga, perc) Die überaus erfolgreiche Tournee des Herbie Hanco…

    CD
    Nathaniel Bouton: Autobiography of Nathaniel Bouton, D.D.: former pastor of the First Congregational Church of Concord, and late state historian of New Hampshire: also, tributes to his memory by Prof. Henry D. Parker, D.D., E.E. Cummings, D.D., and Rev. F.D. Ayer, Buch

    Nathaniel Bouton, Henry Elijah Parker
    Autobiography of Nathaniel Bouton, D.D.: former pastor of the First Congregational Church of Concord, and late state historian of New Hampshire: also, tributes to his memory by Prof. Henry D. Parker, D.D., E.E. Cummings, D.D., and Rev. F.D. Ayer

    Reprint of the original, first published in 1879. 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
    EUR 24,90*
    Nathaniel Bouton: Autobiography of Nathaniel Bouton, D.D.: former pastor of the First Congregational Church of Concord, and late state historian of New Hampshire: also, tributes to his memory by Prof. Henry D. Parker, D.D., E.E. Cummings, D.D., and Rev. F.D. Ayer, Buch

    Nathaniel Bouton, Henry Elijah Parker
    Autobiography of Nathaniel Bouton, D.D.: former pastor of the First Congregational Church of Concord, and late state historian of New Hampshire: also, tributes to his memory by Prof. Henry D. Parker, D.D., E.E. Cummings, D.D., and Rev. F.D. Ayer

    Reprint of the original, first published in 1879. 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
    EUR 44,90*
    Richard L. Mendelsohn: First-Order Modal Logic, Buch

    Richard L. Mendelsohn, Melvin Fitting
    First-Order Modal Logic

    Synthese Library -Band 480

    This revised edition of the highly recommended book "First-Order Modal Logic", originally published in 1998, contains both new and modified chapters reflecting the latest scientific developments. Fitting …

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 131,42*
    Fernando Q. Gouvêa: A Short Book on Long Sums, Buch

    Fernando Q. Gouvêa
    A Short Book on Long Sums

    Readings in Mathematics

    This concise textbook introduces calculus students to power series through an informal and captivating narrative that avoids formal proofs but emphasizes understanding the fundamental ideas. Power series …

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 58,66*
    Reza N. Jazar: Advanced Vibrations, Buch

    Reza N. Jazar
    Advanced Vibrations

    Now in an updated new edition, this textbook explains mechanical vibrations concepts in detail, concentrating on their practical use. This second edition includes the new chapter Multi-Degree-of-Freedom (…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 90,66*
    George Grätzer: The Congruences of a Finite Lattice, Buch

    George Grätzer
    The Congruences of a Finite Lattice

    The congruences of a lattice form the congruence lattice. Over the last several decades, the study of congruence lattices has established itself as a large and important field with a great number of inter…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 63,99*
    : Symbolic Computation in Software Science, Buch

    Symbolic Computation in Software Science

    Lecture Notes in Artificial Intelligence -Band 14991

    This book constitutes the refereed proceedings of the 10th International Symposium on Symbolic Computation in Software Science, SCSS 2024, which took place in Tokyo, Japan, during August 28-30, 2024. The…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 120,46*
    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