Dietmar Ratz · 4 obras en el catálogoObrasGrundkurs Programmieren in JavaC++ toolbox for verified computing IPASCAL-XSCAAutomatische Ergebnisverifikation bei globalen OptimierungspAutomatische Ergebnisverifikation bei globalen Optimierungsproblemen
AAutomatische Ergebnisverifikation bei globalen OptimierungspAutomatische Ergebnisverifikation bei globalen Optimierungsproblemen