heise.de
Podcast Software Testing: Korrektheit durch formale Methoden
In der Folge spricht Richard Seidl mit Bianca Lutz und Lars Hupel über mathematische Beweisführung... mehr ... 15. November 2024
aktuelle Nachrichten aus Marburg an der Lahn
10 Ergebnisse für Ihre Suche nach "Podcast Nordwestkurve"
In der Folge spricht Richard Seidl mit Bianca Lutz und Lars Hupel über mathematische Beweisführung... mehr ... 15. November 2024
Der grüne Höhenflug ist passé. Das Ampel-Aus macht der Partei zu schaffen. Vor dem Grünen-Partei... mehr ... 15. November 2024
Im c't-Datenschutz-Podcast ist Ulf Buermeyer zu Gast. Es geht es ums Sicherheitspaket der ehemaligen... mehr ... 15. November 2024
Kritik an Politikerinnen ist nicht gleich frauenfeindlich – doch oft stecken Vorurteile dahinter. ... mehr ... 14. November 2024
Mal angenommen, es gibt den Superakku. Muss ich mein Handy dann nie wieder laden? Haben wir genug Ro... mehr ... 14. November 2024
Ein deutsches Kriegsschiff fährt durchs Südchinesische Meer und die Straße von Taiwan und sendet ... mehr ... 14. November 2024
Cölbe Amöneburg Wetter Kirchhain Lohra Gladenbach Rabenau Staufenberg Stadtallendorf Homberg Lollar