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 "Lars Ricken"
In der Folge spricht Richard Seidl mit Bianca Lutz und Lars Hupel über mathematische Beweisführung... mehr ... 15. November 2024
Im Spielfilmlängen-Special der RTL-Kultserie "Gute Zeiten, schlechte Zeiten" ist Hardy Krüger jr.... mehr ... 14. November 2024
Das Aktionsbündnis "Berlin ist Kultur" hat am Mittwoch gegen die Budgetkürzungspläne des Senats d... mehr ... 13. November 2024
Vor einem Monat warnte die Berliner Kulturszene mit einem Aktionstag gegen drohende Kürzungen im La... mehr ... 13. November 2024
**Für Eilige** Kurz gesagt: 19-Jährige Teréz Driesnack revolutioniert das Rathaus von KönigsbrÃ... mehr ... 11. November 2024
**In Kürze:** Drei südamerikanische Volleyballerinnen sind in Hoyerswerda angekommen und haben sc... mehr ... 11. November 2024
Cölbe Amöneburg Wetter Kirchhain Lohra Gladenbach Rabenau Staufenberg Stadtallendorf Homberg Lollar