Formal Proofs – Bücher, CDs, Blu-ray Discs und mehr

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*

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*

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…

Artikel am Lager

2 DVDs

EUR 9,99*

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*

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

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*

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

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*

Bento Louro, Ana Alves de Sá
Sequences and Series

This book investigates sequences and series with a clear and focused approach, presenting key theoretical concepts alongside a diverse range of examples and proposed problems, complete with solutions. It …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 69,33*

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*

Michail Zhitomirskii
Ordinary Differential Equations: Basic Methods, Qualitative Theory, and Fun Models

One of the few books on Ordinary Differential Equations (ODEs), this book contains both qualitative theory, allowing students to analyze the solutions without obtaining formulas, and methods and technique…

Erscheint bald

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

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

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*

Formal Proofs – Bücher, CDs, Blu-ray Discs und mehr

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