NASA
2 Artikel erwähnen NASA
30.10.2026
Stanford-Team will Software formal verifizieren
Stanford-Team will Software formal verifizieren Die Stanford-Informatikerin Chuyue Sun und ihr Team haben ein KI-Werkzeug entwickelt, das ein...
13.09.2026Business-Engineer-Dossier zählt 44 neue Arbeitsformen in elf Unternehmensfunktionen
Business-Engineer-Dossier zählt 44 neue Arbeitsformen in elf Unternehmensfunktionen Der Newsletter The Business Engineer hat ein Dossier...