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.

DEUSSEN, PETER: L<strong>in</strong>eare Darstellungen von Automaten. 30.10.1969<br />

SCHECHER, HEINZ: Pr<strong>in</strong>zipien beim Aufbau kle<strong>in</strong>er elektronischer Rechenanlagen.<br />

29.10.1970<br />

BRAUN, STEPHAN: Eigenschaften strukturierter Symbole <strong>in</strong> formalen<br />

Sprachen. 22.7.1971<br />

SCHMIDT, GUNTHER: Programme als partielle Graphen. 31.5.1978<br />

KRÖGER, FRED: Unendliche Schlußregeln zur Verifikation von Programmen.<br />

29.7.1980<br />

RENTROP, PETER: Partitionierte Runge-Kutta-Verfahren zur numerischen<br />

Lösung von nichtsteifen und steifen Anfangswertaufgaben.<br />

1.12.1982<br />

BROY, MANFRED: E<strong>in</strong>e Theorie <strong>für</strong> nichtdeterm<strong>in</strong>istische, parallele,<br />

kommunizierende und konkurrierende Programme. 17.12.1982<br />

GANZINGER,HARALD: Increas<strong>in</strong>g modularity and language-<strong>in</strong>dependency<br />

<strong>in</strong> automatically generated compilers. 29.7.1983<br />

MAJSTER-CEDERBAUM, MILA E.: General properties of semantics.<br />

29.7.1983<br />

WIRSING, MARTIN: Structured algebraic specifications: A kernel language.<br />

18.12.1984<br />

PARTSCH, HELMUTH: Transformational program development <strong>in</strong> a particular<br />

problem doma<strong>in</strong>. 8.5.1985<br />

PEPPER, PETER: Applicative languages and modal logics. 17.7.1985<br />

MÖLLER, BERNHARD: Higher-order algebraic specifications. 30.7.1987<br />

DIEKERT, VOLKER: Comb<strong>in</strong>atorics on traces with applications to Petri<br />

nets and to replacement systems. 1.2.1989<br />

FURBACH, ULRICH: Funktionen <strong>in</strong> Hornklausellogik. 31.7.1990<br />

POHLMANN, WERNER: Simulationsmodelle <strong>für</strong> den Verkehr <strong>in</strong> Rechensystemen.<br />

31.7.1990<br />

VOGLER, WALTER: Modular construction and partial order semantics<br />

of Petri Nets. 25.7.1991<br />

BEMMERL, THOMAS: Programmierung skalierbarer Multiprozessoren.<br />

11.12.1991<br />

KUNDE, MANFRED: Rout<strong>in</strong>g and sort<strong>in</strong>g on grids. 19.2.1992<br />

STRUSS, PETER: A Theory of Diagnosis Based on Multiple Models.<br />

23.7.1992<br />

RÜDE, ULRICH: Computational Techniques for Multilevel Adaptive<br />

Methods. 27.5.1993<br />

GRIEBEL, MICHAEL: Punktblock-Multilevelmethoden zur Lösung elliptischer<br />

Differentialgleichungen. 2.8.1993<br />

396

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!