Bild mit Unilogo
homeicon uni sucheicon suche kontakticon kontakt impressicon impressum
unilogo Universität Stuttgart 
Institut für Formale Methoden der Informatik

Abteilung Algorithmik, Abteilung Theoretische Informatik

englishicon
 
Horst Prote
Systemadministrator der Theorieabteilungen (ALG, TI)
Mitarbeiterbild
Telefon +49-(0)711-685 88348
Telefax +49-(0)711-685 88310
Zimmer - 1.105
E-Mail Horst.Prote@fmi.uni-stuttgart.de
Anschrift Universität Stuttgart, FMI
Universitätsstr. 38
D-70569 Stuttgart

Sourcen
      &
Dienste:
  • - Online Anmeldung zu den Übungen, Seminaren, FaPra der Informatik.
  • Lokaler - Gentoo Linux Source Mirror; nur http, kein ftp und nur innerhalb der Informatik zugreifbar.
  • trd2 (Teubner Reproduktionsreife Druckvorlagen) LaTeX-Klasse für die Formate 17x24 und TSB.
  • - arbeitszeit: Simples Perl Skript zur Verwaltung der Arbeitszeitlisten; verwendet iviforms.cls (zu finden im lokalen - IvI TeX-Baum) zum Drucken.
  • - Zertifikat der Theorie-CA (nur intern).
 
 

Linux:
Tux
 

TeXnics:
TeX Lion
 

Links:
 
-