Verfasste Schriften
-
Habilitation, Heidelberg 1972:
Korrelationsstatistische Analyse mehrdimensionaler, topologisch ausgeprägter Datenfelder
-
Herde, Georg · Dissertation, Bamberg 1992:
Präzisierung dreier axiomatisierter Theorien des Rechnungswesens in einer formalen Typentheorie -
Herda, Nils · Dissertation, Bamberg 2000:
Ein Ansatz zur formalen Repräsentation und automatisierten Generierung graphischer Benutzungsoberflächen