Sprungmarken

Servicenavigation

Hauptnavigation

Sie sind hier:

Hauptinhalt

Lehrveranstaltungen


Ältere Lehrveranstaltungen

Details und Material zu älteren Veranstaltungen kann auf Anfrage bereitgestellt werden.

Wintersemester 2010/2011

  • Virtualisierung und Compilation
    • Veranstalter: Dr. Oliver Rüthing,
    • Basismodul (4 SWS)
    • Starttermin: 14.10.2010
    • Ort: OH 14, Raum 304
    • Zeit: wöchentlich jeweils Montag 12-14 und Donnerstags 12-14 Uhr

 

Sommersemester 2010

  • Formale Methoden des Systementwurfs
    • Veranstalter: Prof. Dr. Bernhard Steffen,
    • Vorlesung (4 SWS)
    • Starttermin: 20.04.2010
    • Ort: Dienstag: OH 14, HS E23, Donnerstag: OH 14, HS E23
    • Zeit: wöchentlich jeweils dienstags von 10-12 Uhr und donnerstags von 14-16 Uhr
  • Virtualisierungskonzepte in der Praxis
    • Veranstalter: Prof. Dr. Bernhard Steffen,
    • Spezialvorlesung (2 SWS)
    • Starttermin: 21.04.2010
    • Ort: OH 14, Raum 104
    • Zeit: wöchentlich jeweils mittwochs 10:00-12:00 Uhr
  • Prozess-Management in der Bioinformatik
    • Veranstalter: Prof. Dr. Bernhard Steffen
    • Blockseminar (2 SWS)
  • Technologien zur Beherrschung heterogener Systemlandschaften - Thema "Geschäftsprozesse"
    • Veranstalter: Prof. Dr. Bernhard Steffen, Dr. Oliver Rüthing, Dipl.-Inf. Markus Doedt
    • Fachprojekt (4 SWS)
  • Execution Engines im praktischen Einsatz
    • Veranstalter: Prof. Dr. Bernhard Steffen
    • Blockseminar (2 SWS)

 

Wintersemester 2009/2010

  • Virtualisierung und Compilation
    • Veranstalter: Prof. Dr. Bernhard Steffen,
    • Basismodul (3 SWS)
    • Starttermin: 22.10.2009
    • Ort: OH 14, Raum 104
    • Zeit: wöchentlich jeweils donnerstags 10 - 13 Uhr
  • Aktuelle Themen der Dienstleistungsinformatik
    • Veranstalter: Prof. Dr. Bernhard Steffen
    • Wahlmodul (2 SWS)
    • Starttermin: 20.10.2009
    • Ort: OH 14, Raum 104
    • Zeit: wöchentlich, jeweils dienstags 14 - 16 Uhr
  • Execution Engines im praktischen Einsatz
    • Veranstalter: Prof. Dr. Bernhard Steffen
    • Blockseminar (2 SWS)
  • Prozess-Management in der Bioinformatik
    • Veranstalter: Prof. Dr. Bernhard Steffen
    • Blockseminar (2 SWS)
  • Technologien zur Beherrschung heterogener Systemlandschaften
    • Veranstalter: Prof. Dr. Bernhard Steffen, Dipl.-Inf. Maik Merten
    • Fachprojekt (4 SWS)

 

Sommersemester 2009

  • Virtualisierungskonzepte in der Praxis
    • Veranstalter: Prof. Dr. Bernhard Steffen,
    • Spezialvorlesung (2 SWS)
    • Starttermin: 22.04.2009
    • Ort: OH 14, Raum 104
    • Zeit: wöchentlich jeweils mittwochs 09:15-11:00 Uhr
  • Formale Methoden des Systementwurfs
    • Veranstalter: Prof. Dr. Bernhard Steffen,
    • Vorlesung (4 SWS)
    • Starttermin: 20.04.2009
    • Ort: Montag: OH 14, Raum 104, Donnerstag: OH 14, Raum 104
    • Zeit: wöchentlich jeweils montags 16:15-18:00 Uhr und donnerstags 12:15-14:00 Uhr
  • Technologien und Methoden zur prozessorientierten Spezifikation
    • Veranstalter: Prof. Dr. Bernhard Steffen
    • Blockseminar (2 SWS)
    • Ort: OH 14, Raum 114
    • Zeit: Die erste Vorbesprechung findet am Dienstag, dem 19.05.2009 um 13.30 Uhr statt. Da der Termin sehr kurzfristig gelegt wurde, können Sie sich noch bis zum 29.05.2009 nachmelden.

 

Wintersemester 2008/2009

  • Virtualisierung und Compilation
    • Veranstalter: Prof. Dr. Bernhard Steffen,
    • Spezialvorlesung (4 SWS)
    • Starttermin: 22.10.2008
    • Ort: OH 14, Raum 114
    • Zeit: wöchentlich jeweils mittwochs 10:15-12:00 und freitags 12:00-13:30
  • Multicore Programming in Enterprise Systems
    • Veranstalter: Dr. Asuman Sünbül,
    • Vorlesung (2 SWS)
    • Starttermin: 20.10.2008
    • Ort: OH 14, Raum 104
    • Zeit: wöchentlich jeweils montags 17:00-19:00
  • Formale Methoden des Systementwurfs II
    • Veranstalter: Dr. Oliver Rüthing,
    • Spezialvorlesung (2 SWS)
    • Starttermin: 16.10.2008
    • Ort: OH 14, Raum 105
    • Zeit: wöchentlich jeweils Donnerstag 12:00-14:00
  • Technologien und Methoden zur prozessorientierten Spezifikation
    • Veranstalter: Prof. Dr. Bernhard Steffen
    • Blockseminar (2 SWS)
    • Ort: OH 14, Raum 114
    • Zeit: 1. Vorbesprechung am 10.11. um 10 Uhr.
  • Inkrementelles Lernen
    • Veranstalter: Prof. Dr. Bernhard Steffen,
    • Blockseminar (2 SWS)
    • Ort: OH 14, Raum 114
    • Zeit: 1. Vorbesprechung am 10.11. um 11 Uhr.

 

Sommersemester 2008

  • Formale Methoden des Systementwurfs
    • Veranstalter: Dr. Oliver Rüthing,
    • Vorlesung (4 SWS)
    • Starttermin: 08.04.2008
    • Ort: OH 14, Raum E23
    • Zeit: wöchentlich jeweils dienstags 12:00-14:00 und freitags 14:00-16:00
  • Aktuelle Algorithmen zur Lösung von Spielen
    • Veranstalter: PD Dr. Stefan Edelkamp
    • Spezialvorlesung (2 SWS)
    • Starttermin: 09.04.2008
    • Ort: OH 14/ Raum 105
    • Zeit: Mi 10-12
  • Concurrency in Enterprise Systems
    • Veranstalter: Prof. Dr. Bernhard Steffen/ Dr. Asuman Sünbül
    • Spezialvorlesung (2 SWS)
    • Starttermin: 16.04.2008
    • Ort: OH 14/ Raum 105
    • Zeit: Mi 17.00-18.30 Uhr st

 

Wintersemester 2007/2008

  • Strukturierte operationelle Semantiken
    • Veranstalter: Prof. Dr. Steffen
    • Spezialvorlesung (2 SWS)
  • Formale Methoden des Systementwurfs II
    • Veranstalter: Prof. Dr. Steffen
    • Vorlesung (4 SWS)

 

Sommersemester 2007

  • Service-Orchestrierung von verteilten Systemen
    • Veranstalter: Prof. Dr. Bernhard Steffen, Martin Karusseit, Markus Bajohr
    • Blockseminar (2 SWS)
  • Gerichtete Modellprüfung (Directed Model Checking)
    • Veranstalter: PD Dr. Stefan Edelkamp
    • Spezialvorlesung (2 SWS)
  • Strukturierte operationelle Semantiken
    • Veranstalter: Prof. Dr. Steffen
    • Spezialvorlesung (2 SWS)
  • Formale Methoden des Systementwurfs
    • Veranstalter: Prof. Dr. Steffen, Dr. Oliver Rüthing
    • Vorlesung (4 SWS)
  • Koordination entfernter GUI-basierter Tools
    • Veranstalter: Prof. Dr. Steffen
    • Blockseminar (2 SWS)
  • Übungen zur Vorlesung Übersetzerbau
    • Veranstalter: Oliver Rüthing, Wilfried Rupflin
    • Übungen (1 SWS)

 

Wintersemester 2006/2007

  • Strukturierte operationelle Semantiken
    • Veranstalter: Prof. Dr. Steffen
    • Spezialvorlesung (2 SWS)
  • Approximationsalgorithmen
    • Veranstalter: Thomas Hofmeister
    • Spezialvorlesung (4 SWS)
  • Effiziente Algorithmen in der Praxis
    • Veranstalter: Prof. Dr. Bernhard Steffen, Priv.-Doz. Dr. Thomas Hofmeister
    • Blockseminar (2 SWS)
  • Übung zu Datenstrukturen, Algorithmen und Programmierung 1
    • Veranstalter: Dr. Oliver Rüthing
    • Übungen (2 SWS)
  • Datenstrukturen, Algorithmen und Programmierung 1
    • Veranstalter: Prof. Dr. Steffen
    • Stammvorlesung (4 SWS)

 

Sommersemester 2006

  • Formale Methoden des Systementwurfs
    • Veranstalter: Prof. Dr. Steffen
    • Vorlesung (4 SWS)
  • Effiziente Algorithmen in der Praxis
    • Veranstalter: Prof. Dr. Bernhard Steffen, Priv.-Doz. Dr. Thomas Hofmeister
    • Blockseminar
  • Web Services und Process Management
    • Veranstalter: Dr. Andreas Wombacher
    • Vorlesung
  • Autonome Workflows
    • Veranstalter: Dr. Andreas Wombacher
    • Seminar

 

Wintersemester 2005/2006

  • Datenstrukturen, Algorithmen und Programmierung 1
    • Veranstalter: Prof. Dr. Steffen
    • Vorlesung (4 SWS)
  • Effiziente Algorithmen in der Praxis
    • Veranstalter: Prof. Dr. Bernhard Steffen, Priv.-Doz. Dr. Thomas Hofmeister
    • Blockseminar

 

Sommersemester 2005

  • Formale Methoden des Systementwurfs
    • Veranstalter: Prof. Dr. Steffen
    • Vorlesung (4 SWS)

Nebeninhalt

 

Kontakt

Tel. (0231) 755-5801
Fax (0231) 755-5802