Proof Assistants – alle Bücher, DVDs und Blu-ray Discs

Proof Assistants and Their Applications in Mathematics and Computer Science

Since their beginnings in the 1960s, proof assistants (also called interactive theorem provers) have grown to become essential tools to establish the correctness of hardware and software and to computeriz…

lieferbar ab 12.2.2026.

Buch

Die Erfindung des Verderbens (Blu-ray)

Der Wissenschaftler Prof. Roch erfindet einen Explosivstoff mit ungeheuerlicher Sprengkraft. Er kann mit diesem Sprengstoff Kohle und Erdöl ersetzten, er kann jedoch auch die ganze Welt vernichten. Der Pi…

Artikel am Lager

Blu-ray Disc

Die Erfindung des Verderbens

Der Wissenschaftler Prof. Roch erfindet einen Explosivstoff mit ungeheuerlicher Sprengkraft. Er kann mit diesem Sprengstoff Kohle und Erdöl ersetzten, er kann jedoch auch die ganze Welt vernichten. Der Pi…

Artikel am Lager

DVD

Die Erfindung des Verderbens

Der Wissenschaftler Prof. Roch erfindet einen Explosivstoff mit ungeheuerlicher Sprengkraft. Er kann mit diesem Sprengstoff Kohle und Erdöl ersetzten, er kann jedoch auch die ganze Welt vernichten. Der Pi…

lieferbar innerhalb einer Woche

DVD

Age-appropriate Driver Assistance Systems

People in highly developed countries are getting older and older. They want to be mobile in old age, but often have problems in road traffic. Even though they often pay a premium for age-appropriate produ…

lieferbar innerhalb 2-3 Wochen

Buch

The French School of Programming

T he French School of Programming is a collection of insightful discussions of programming and software engineering topics, by some of the most prestigious names of French computer science. The authors in…

lieferbar innerhalb 2-3 Wochen

Buch