10.12.2012 Aufrufe

40 Jahre Informatik in München - Fakultät für Informatik - TUM

40 Jahre Informatik in München - Fakultät für Informatik - TUM

40 Jahre Informatik in München - Fakultät für Informatik - TUM

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

ARNOLDI, HANS-MARTIN: Korrelationsbed<strong>in</strong>gte Informationsverarbeitung<br />

<strong>in</strong> neuronalen Systemen. Brauer – Gross (Ilmenau) 9.12.1996<br />

SCHREIBER, WERNER: Generierung von Dokumentverarbeitungssystemen<br />

aus formalen Spezifikationen von Dokumentarchitekturen.<br />

Eickel – Brüggemann-Kle<strong>in</strong> 10.12.1996<br />

BAUER, BERNHARD: Attributed Algebraic Specifications.<br />

Eickel – Wirs<strong>in</strong>g (LMU) 19.12.1996<br />

RUMPE, BERNHARD: Formale Methodik des Entwurfs verteilter, objektorientierter<br />

Systeme. Broy – Paul 20.12.1996<br />

BARNARD,DIETER: Temporal Language of Transitions and Client-Server<br />

Systems. Brauer – Büttner (Kaiserslautern) 20.1.1997<br />

BUTZ, DIETER: Neuronale Funktionsapproximation mit RBF-Schwerpunktnetzen.<br />

Brauer – Gross (Ilmenau) 20.1.1997<br />

HEUMANN, KLAUS: Biologische Sequenzdatenanalyse großer Datensätze<br />

basierend auf Positionsbaumvarianten.<br />

Bayer – Giegerich (Bielefeld) – Schomburg (Köln) 10.2.1997<br />

REGLER, HANS: Anwenden von algebraischen Mehrgittermethoden auf<br />

das Plazierproblem beim Chipentwurf und auf die numerische Simulation<br />

von Strömungen. Zenger – Griebel (Bonn) 10.2.1997<br />

KOCH, MICHAEL: Unterstützung kooperativer Dokumentenbearbeitung <strong>in</strong><br />

Weitverkehrsnetzen. Schlichter – Baumgarten 20.2.1997<br />

KRAMMER, JOHANN: Neue Techniken zur werkzeugunterstützten Leistungsoptimierung<br />

von datenparallelen Programmen.<br />

Bode – Jessen 24.2.1997<br />

LAMBERTS, STEFAN: Parallele verteilte Dateisysteme <strong>in</strong> Rechnernetzen.<br />

Bode – Hellwagner 5.3.1997<br />

MADER, ANGELIKA: Verification of Modal Properties Us<strong>in</strong>g Boolean<br />

Equation Systems. Brauer – Stirl<strong>in</strong>g (Ed<strong>in</strong>burgh) 10.3.1997<br />

PFAFFINGER, ALEXANDER: Funktionale Beschreibung und Parallelisierung<br />

von Algorithmen auf dünnen Gittern. Zenger – Bode 26.3.1997<br />

BALS, BERNHARD: Analyse von Arbeitsplätzen <strong>für</strong> explorative Datenauswertung<br />

und Entwurf e<strong>in</strong>er Methodik zur Werkzeug<strong>in</strong>tegration am<br />

Beispiel Biosignalverarbeitung. Paul – Neiß (ME) 9.4.1997<br />

SLOTOSCH, OSCAR: Ref<strong>in</strong>ements <strong>in</strong> HOLCF: Implementation of Interactive<br />

Systems. Broy – Nipkow 9.4.1997<br />

KOPPENHAGEN, ULLA: Optimal Algorithms for B<strong>in</strong>omial Ideals and<br />

Commutative Semigroups. Mayr – Brauer 15.5.1997<br />

HEILER, KIRSTEN: E<strong>in</strong>e Methodik zur Modellierung von Konfigurationsvorgängen<br />

<strong>für</strong> Szenarien im Netz- und Systemmanagement.<br />

Heger<strong>in</strong>g – Schlichter 12.6.1997<br />

415

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!