|
|
|
Institut für Formale Methoden der Informatik |
|
Abteilung Algorithmik, Abteilung Theoretische Informatik
|
|
|
|
|
Horst Prote
Systemadministrator der Theorieabteilungen (ALG, TI) |
|
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: |
|
|
|
| |
TeXnics: |
|
|
|
| |
Links:
| |
|
|
| |