FMI | Abteilung ALG und TI | Horst Prote

Bild mit Unilogo

Universität Stuttgart

|

|

|

|

|

|

|

|

	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:	Gentoo Linux: Hoch konfigurierbar, schnell, frei. Eine Meta-Distribution. Buchempfehlung: Gunnar Wrobel, Gentoo Linux — Installation - Konfiguration - Administration ( Printausgabe, PDF unter CC-Lizenz). LTSP (Linux Terminal Server Project): Thin client computers in a GNU/Linux environment. Knoppix: Von CD lauffähiges Linux mit automatischer Hardwareerkennung. grml: Linux Live-CD for sysadmins / texttool-users / geeks. LOAF: Linux on a floppy. The Linux Documentation Project: Main site, Mirror Ulm. TuxMobil: Linux On Mobile Computers, Gentoo Linux on Mobile Computers. repair4laptop: All About Do It Yourself Laptop and Notebook Repair. USB Scanners on Linux.



TeXnics:	Hinweise zum lokalen IvI TeX-Baum. Wo finde ich Antworten auf TeXnische Fragen? Lokal, bei DANTE, in der TeX Clinic oder gar unter den TeX Pearls. Aus der lokalen TeX Doku: UK TUG FAQ, Comprehensive LaTeX Symbols List, LaTeX Bilder-HowTo Detexify² - LaTeX symbol classifier. Das LaTeX2e Sündenregister (Veraltete Befehle, Pakete und andere Fehler: PDF, PS-Booklet). Mikrotypographie-Regeln Teil I (DTK 4/96; S.23-40), Teil II (DTK 1/97; S.25-44). Mathematikschriften für LaTeX. DANTE (Deutschsprachige Anwendervereiniung TeX). The TUG Homepage; TeXLive; MacTeX
$TeX Lion$


Links:	Informatik Forum Stuttgart infos e. V. Google, Google Scholar, Seekport, Yahoo, Ask.com und andere Suchmaschinen Wikipedia, Wictionary Akronyme und Abkürzungen, LEO Dict, Heise 7-Tage News OpenStreetMap (Alternative zu Google Maps) Fahrplanauskunft VVS und Baden-Württemberg DB Fahrplanauskunft und Ankunfts-/Abfahrtspläne (ggf. mit Gleiswechsel und Verspätungen) Nahverkehrswegweiser. Auskunfts- und Fahrplan FAQ (ganz Europa) Wetter: Wetterzentrale (insbes. langfristig). Einfache Vorhersage für Stuttgart, aktuelle Satellitenbilder. Umfassend bei www.wetter.info (z.B. Regenradarbild, Unwetterzentrale). Telefonauskunft RTF Termine: Beim BDR und bei meinem Alb-Extrem Team den Rolling Bones .