Previous Page | Next Page | Expand All | Collapse All
Date | Time | Speaker | Event, Title, Topic | Building, Room | Event Type | ||||||
---|---|---|---|---|---|---|---|---|---|---|---|
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
|
| ||||||||||
1996-06-28 | 11:00 | Jürgen Giesl | Automatisierung von Terminierungsbeweisen | 43.1 - DFKI 1.01 | DFKI-Kolloquium | ||||||
1996-06-28 | 13:00 | Herr Dr. Daniel Keim | Suche partiell aehnlicher Polygone in CAD-Anwendungen | 45 - FB14 016 | Informatik-Kolloquium | ||||||
1996-06-28 | 15:00 | Dr. Birgit Pfitzmann | Asymmetrischer Copyrightschutz | 45 - FB14 016 | Informatik-Kolloquium | ||||||
1996-06-28 | 17:00 | Dr. Matthias Weber | Integration mathematisch-formaler Techniken in die Entwicklung eingebetteter Steuerungssysteme | 45 - FB14 016 | Vorstellungsvortrag In Informatik | ||||||
|
| ||||||||||
|
| ||||||||||
|
| ||||||||||
|
| ||||||||||
|
| ||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
|