Forschungsberichte 2000
- 3/2000, Wolfgang A. Halang, Bernd J. Krämer und Sias Mostert
Formal Verification of Function Blocks for Industrial Process Automation (PDF 420 KB)
- 2/2000, Bernd J. Krämer
FernUniversität’s Strategy to Build a Virtual University (PDF 206 KB)
- 1/2000, Christian Martens
Entwurf einer agentenorientierten Softwarestruktur für einen Rehabilitationsroboter (PDF 3 MB)
ISSN 0945-0130 1/2000
mathinf.webteam
| 10.05.2024