Informationsbearbeitung und Datenanalyse mit dem Programmsystem SASDetlef SteinhausenEsaurito4,3Avvisami
Wissensbasierte Pr-T-Netze zur Planungsunterstützung in offenen SystemenFrank VictorEsaurito4,3Avvisami
Spezifikation und Verifikation von Optimierungsalgorithmen für imperative ProgrammeGerd KockEsaurito4,3Avvisami
