17.06.2004: Dr. Bernhard Beckert, "Formale Verifikation objekt-orientierter Software"
PDF (34kB, 2012-12-06) [mehr ...]

08.06.2004: Dr. Markus Bläser, "Algorithmische Probleme in Netzwerken" [mehr ...]

17.06.2004: Dr. Bernhard Gramlich, "Strategien in Computationaler Logik"
PDF (35kB, 2012-12-06) [mehr ...]

13.12.2004: Oliver Heckmann, "Providing efficient IP services with support for quality of service" [mehr ...]

23.04.2004: Gordon Kindlman, "Tensor invariants, their gradients, and their fallings" [mehr ...]

08.06.2004: Dr. Maciej Liśkiewicz, "Sicherung der Privatsphäre in verteilten Systemen" [mehr ...]

07.06.2004: Dr. Markus Nebel, "Zufall in der Algorithmik" [mehr ...]

07.06.2004: Dr. Rolf Niedermeier, "Parametrisierte Komplexität in Theorie und Praxis" [mehr ...]

20.12.2004: Prof. Dr. W. J. Paul, "Engeneering a provably correct operating system microkernel" [mehr ...]

08.07.2004: Dr. Jörg Peters, "Shape Characterization of (subdivision) Surfaces" [mehr ...]

07.05.2004: Dr. Birgit Reinert, "Abhängigkeiten zwischen Schlüsselwahl und Schlüsselalgorithmus am Beispiel der EC-Karte" [mehr ...]

13.12.2004: Prof. Dr. B. Seeger, "PIPES: Eine Infrastruktur für die Anfrageverarbeitung auf Datenströmen" [mehr ...]

26.07.2004: Steffen Skatulla, "Storage, Indexing and Processing of Complex Objects in ORDBMS" [mehr ...]

26.04.2004: Prof. Dr. Dr. h.c. Manfred Broy und Prof. Dr. David Parnas
"Deficits in Software Engineering Research and Education" [mehr ...]

16.06.2004: Dr. Tsuyoshi Takagi, "Beweisbar sichere und effiziente Kryptographie"
PDF (36kB, 2012-12-06) [mehr ...]

23.04.2004: Dr. Xavier Tricoche, "Visualizing the Topology of Tensor Fields" [mehr ...]

16.06.2004: Dr. Christoph Weidenbach, "Automatischer Nachweis von Eigenschaften mit SPASS 2.1"
PDF (35kB, 2012-12-06) [mehr ...]

23.04.2004: Dr. Thomas Wischgoll, "Detection of Closed Hyperstreamlines" [mehr ...]

Vorträge und Kolloquien des Fachbereichs Informatik. [mehr ...]

Email an den Verantwortlichen dieser Seite (sakdapol@informatik.uni-kl.de) [mehr ...]