Aktuelles aus der Informatik:
Seminar Logische und regelbasierte Programmierung Für das Seminar "Logische und regelbasierte Programmierung" der Arbeitsgruppe Prof. Clausing/Sergej Lewin im SS 2010 werden noch weitere Teilnehmer gesucht.  mehr... |
Aktuelles aus dem Fachbereich:
Projektveranstaltung Informatikmuseum (LIMO) 10.02.2010 16:00 Uhr (Fliednerstraße 21, 2.030): Vorbesprechung zur Veranstaltung > im Rahmen des Projekts >. Die Veranstaltung ist offen für Studenten jeglic... mehr... |
Vorbesprechung zum Seminar "Minimalflächen" am Donnerstag, 4. Februar, 14 Uhr s.t., Hörsaal M 6 mehr... |
Für das Projektseminar "Erweiterung des Isabelle Collections Frameworks" der Arbeitsgruppe Softwareentwicklung und Verifikation im SS 2010 werden noch weit... mehr... |
Seminar Logische und regelbasierte Programmierung Für das Seminar "Logische und regelbasierte Programmierung" der Arbeitsgruppe Prof. Clausing/Sergej Lewin im SS 2010 werden noch weitere Teilnehmer gesucht. mehr... |
Im Zuge der Umstellung der Webserver auf neue Hardware und CentOS ist inzwischen mit den Umzügen begonnen worden, Der neue Server heißt (noch) weberknecht, fa... mehr... |
- Aktuelles
-
- Wochenplan
- Stellen FB10
- Stellen extern
- Studieren:
- Prüfungsamt
- BSc/MSc Hinweise
- Prüfungsordnung BSc Informatik
- Fachspezifische Bestimmungen 2-Fach BSc (Lehramt)
- HIS/LSF/Vorlesungen
- Arbeitsgruppen
- Computer Vision and Pattern Recognition
- Datenbanken¸ Informationssysteme und Workflow-Management
- Parallele und Verteilte Systeme (PVS)
- Routing in selbstorg. Funknetzwerken (DIRC)
- Softcomputing
- Softwareentwicklung und Verifikation
- Visualisierung und Computergrafik
- Didaktik der Informatik
