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.

SCHIEDER, BIRGIT: Logic and Proof Method of Recursion.<br />

Broy – Paul 18.10.1994<br />

WEIß, GERHARD: Distributed Mach<strong>in</strong>e Learn<strong>in</strong>g.<br />

Brauer – Burkhard (Humboldt U Berl<strong>in</strong>) 26.10.1994<br />

MÜLLER, ANDREAS: Kommunikationsstruktur <strong>in</strong> Multiprozessorsystemen.<br />

Hertweck – Bode 28.10.1994<br />

GROSU, RADU: AFormal Foundation for Concurrent Object Oriented<br />

Programm<strong>in</strong>g. Broy – Nipkow 24.11.1994<br />

REGENSBURGER, FRANZ: HOLCF — E<strong>in</strong>e konservative Erweiterung<br />

von HOL um LCF. Nipkow – Broy 9.12.1994<br />

PAWLOWSKI, MARKUS: Synchronisation <strong>in</strong> parallelen Datenbanksystemen.<br />

Bayer – Schlichter 16.12.1994<br />

TREML, THOMAS: Monitor<strong>in</strong>g paralleler Programme.<br />

Bode – Jessen 16.12.1994<br />

BRAUN, PETER: Visualisierung des Ablaufverhaltens paralleler Programme.<br />

Bode – Endres 16.12.1994<br />

WISMÜLLER,ROLAND: Quellsprachorientiertes Debugg<strong>in</strong>g von optimierten<br />

Programmen. Bode – Eickel 20.12.1994<br />

WEININGER, ANDREAS: Verfahren zur Behandlung von Nichtdeterm<strong>in</strong>ismus<br />

<strong>in</strong> parallelen Systemen. Paul – Bode 20.12.1994<br />

BALDER, ROBERT: Adaptive Verfahren <strong>für</strong> elliptische und parabolische<br />

Differentialgleichungen auf dünnen Gittern.<br />

Zenger – Hoppe (MA) 22.12.1994<br />

STÖRTKUHL,THOMAS: E<strong>in</strong> numerisches adaptives Verfahren zur Lösung<br />

der biharmonischen Gleichung auf dünnen Gittern.<br />

Zenger – Hoppe (MA) 6.2.1995<br />

SCHNEIDER, MICHAEL: Verteilte adaptive numerische Simulation auf<br />

der Basis der F<strong>in</strong>ite-Elemente-Methode. Zenger – Eickel 14.2.1995<br />

ERTL,HUBERT: Virtuell geme<strong>in</strong>samer Speicher schwächerer Konsistenz<br />

und se<strong>in</strong>e Integration <strong>in</strong> e<strong>in</strong> Nachrichtensystem.<br />

Bode – Jessen 17.2.1995<br />

PREHOFER, CHRISTIAN: Solv<strong>in</strong>g Higher-Order Equations: From Logic<br />

to Pragramm<strong>in</strong>g. Nipkow – Ganz<strong>in</strong>ger (Saarland) 20.2.1995<br />

WINKLER, CHRISTINA: Methodik zur Erstellung e<strong>in</strong>es Testsystems <strong>für</strong><br />

e<strong>in</strong> offenes Fehlermanagement auf der Basis von OSI Protokollbeschreibungen.<br />

Heger<strong>in</strong>g – Drobnik (Frankfurt a. M.) 2.3.1995<br />

GÜNTHER,MICHAEL: Ladungsorientierte Rosenbrock-Wanner-Methoden<br />

zur numerischen Simulation digitaler Schaltungen.<br />

Rentrop – Zenger 3.3.1995<br />

411

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!