FMI | Abteilung FK und TI | Horst Prote

Bild mit Unilogo

Universität Stuttgart

|

|

|

|

|

|

|

|

	Institut für Formale Methoden der Informatik
	Abteilung Formale Konzepte, Abteilung Theoretische Informatik

Horst Prote Systemadministrator der Theorieabteilungen (FK, TI)
Telefon	+49-(0)711-7816 348
Telefax	+49-(0)711-7816 310
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. Zur Installation von Gentoo s. Kapitel “Installing Gentoo” im Gentoo Handbook. 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.



Linux:	Gentoo Linux: Hoch konfigurierbar, schnell, frei. Eine Meta-Distribution. 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.



TeXnisches:	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, DANTE FAQ, Comprehensive LaTeX Symbols List, LaTeX Bilder-HowTo Das LaTeX2e Sündenregister (Veraltete Befehle, Pakete und andere Fehler: PDF, PS-Booklet). Feinheiten bei wissenschaftlichen Publikationen - 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). Vorhersage für Stuttgart, ein Satellitenbild. Zugrichtung des Regens: Regenradarbild. Droht ein Unwetter?: Unwetterzentrale. Telefonauskunft RTF Termine: Beim BDR und bei meinem Alb-Extrem Team den Rolling Bones .