Perspektiven der Informatik, Dagstuhl 1993

Reinhard Wilhelm (Ed.): Informatik: Grundlagen - Amwendungen - Perspektiven [Forum "Perspektiven der Informatik", Dagstuhl, November 1993]. Verlag C. H. Beck 1996, ISBN 3-406-40338-7

@proceedings{DBLP:conf/dagstuhl/1993perspektiven,
  editor    = {Reinhard Wilhelm},
  title     = {Informatik: Grundlagen - Amwendungen - Perspektiven [Forum "Perspektiven
               der Informatik", Dagstuhl, November 1993]},
  booktitle = {Perspektiven der Informatik},
  publisher = {Verlag C. H. Beck},
  year      = {1996},
  isbn      = {3-406-40338-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Einleitung

Volker Claus, Reinhard Wilhelm: Einleitung. 9-12

Die Informatik als Systemwissenschaft

Thomas Lengauer: Informatik in den technischen Disziplinen. 13-16
Thomas Lengauer: Informatik in den Naturwissenschaften. 16-20
Achim Sydow: Informatik und Umwelt. 21-23
Peter Mertens: Wirtschaftsinformatik. 23-25
Gerhard Weikum: Datenbanksysteme. 26-32
Otto Spaniol, Kai Jakobs: Datennetze. 32-37
Heinrich Niemann: Mustererkennung. 37-47
Heinrich Müller, Otto Spaniol, Hans Hagen: Graphische Datenverarbeitung und Visualisierung. 47-53
Dieter Roller, Hans Hagen: CAD. 54-56
Friedemann Mattern: Modellbildung und Simulation. 56-64
Reinhard Keil-Slawik: Mensch-Maschine-Schnittstelle. 65-69

Die Informatik als Ingenieurwissenschaft

Wolfgang K. Giloi: Rechnerarchitektur. 72-76
Boris Groth, Stefan Jähnichen, Wilfried Koch: Software und Softwaretechnik. 76-83
Reinhard Wilhelm: Generische und generative Methoden. 84-85
Reinhard Wilhelm, Hans Hagen: Programmiersprachen. 86-90
Reinhard Wilhelm, Otto Spaniol: Parallele und verteilte Systeme. 90-94
Wolfgang A. Halang, Günter Hommel, Rudolf Lauber: Echtzeit. 94-98
Johann H. Schlichter: Rechnergestützte Gruppenarbeit. 98-103

Die Informatik als Grundlagenwissenschaft

Roland Vollmar, Helge Ritter, Volker Claus: Berechnungsmodelle. 105-113
Kurt Mehlhorn, Volker Claus, Wolfgang Thomas: Komplexitätstheorie und Algorithmik. 113-116
Wolfgang Thomas: Logik in der Informatik. 116-120
Wolfgang Thomas: Semantik und Verifikation. 120-124

Informatik in der Gesellschaft

Wolfgang Coy: Informatik und Gesellschaft. 125-132
Otto Spaniol: Akzeptanz. 133-134