Implementierung numerischer verifizierender Verfahren mit graphischer Benutzerschnittstelle unter Oberon-XSCMarkus LebenderHäftad, 20031 015 kr
Analyse der Wissensadäquanz traditioneller und wissensorientierter OrganisationsmodelleMathias HübnerHäftad, 20031 190 kr