![Bild mit Unilogo](http://www2.informatik.uni-stuttgart.de/fmi/fk/bilder/fklogo.jpg) |
|
![](http://www.uni-stuttgart.de/res/img/pixeltrans.gif) |
Institut für Formale Methoden der Informatik |
|
Abteilung Algorithmik, Abteilung Theoretische Informatik
|
|
|
![](http://www.uni-stuttgart.de/res/img/pixeltrans.gif) |
![](http://www.uni-stuttgart.de/res/img/pixeltrans.gif) |
Horst Prote
Systemadministrator der Theorieabteilungen (ALG, TI) |
![Mitarbeiterbild](prote4.jpg) |
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](icon-penguin.png) |
|
| |
TeXnics: |
|
![TeX Lion](tex.gif) |
|
| |
Links:
| |
|
![-](RadASCII.gif) |
| |