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
10 Ergebnisse für Ihre Suche nach "Vereinspräsident Lutz Hillmer"
In der Folge spricht Richard Seidl mit Bianca Lutz und Lars Hupel über mathematische Beweisführung... mehr ... 15. November 2024
Das deutsche Spitzensportfördergesetz wackelt nach dem Ampel-Aus. Der Forscher Lutz Thieme sagt, wa... mehr ... 13. November 2024
Lutz ist nicht nur als Preisrichter tätig, sondern auch als Ausbilder und Schulungsleiter. Zwei mal... mehr ... 13. November 2024
Der Mauerfall am 9. November 1989, vor genau 35 Jahren, war für Lutz Pörner (57) noch eindrücklic... mehr ... 8. November 2024
Der Arbeitnehmer hat keinen Anspruch auf einen mobilen oder hÃ... mehr ... 8. November 2024
**In Kürze:** Die Bildung eines Corona-Untersuchungsausschusses in Thüringen ist von verschiedene... mehr ... 6. November 2024
**Für Eilige** In Kürze wird das Traditionshotel "Schieferhof" in Neuhaus am Rennweg eine neue Ä... mehr ... 6. November 2024