Informatik Fachberichte (IFB), Band 100-199

100

Winfried Lamersdorf: Semantische Repräsentation komplexer Objektstrukturen: Modelle für nichtkonventionelle Datenbankanwendungen. Informatik-Fachberichte Vol. 100 Springer 1985, ISBN 3-540-15242-3

101

Jürgen Koch: Relationale Anfragen - Zerlegung und Optimierung. Informatik-Fachberichte Vol. 101 Springer 1985, ISBN 3-540-15646-1

102

Hans-Jürgen Appelrath: Von Datenbanken zu Expertensystemen. Informatik-Fachberichte Vol. 102 Springer 1985, ISBN 3-540-15655-0

103

Joachim Laubsch (Ed.): GWAI-84, 8th German Workshop on Artificial Intelligence, Wingst/Stade, Germany, October 8-12, 1984, Proceedings. Springer 1985, ISBN 3-540-15669-0
Contents

104

Gerhard Sagerer: Darstellung und Nutzung von Expertenwissen für ein Bildanalysesystem. Informatik-Fachberichte Vol. 104 Springer 1985, ISBN 3-540-15671-2

105

Georg E. Maier: Exceptionbehandlung und Synchronisation - Entwurf und Methode. Informatik-Fachberichte Vol. 105 Springer 1985, ISBN 3-540-15672-0

106

Harald Trost, Johannes Retti (Eds.): Österreichische Artificial Intelligence-Tagung, Wien, 24.-27. September 1985, Proceedings. Springer 1985, ISBN 3-540-15695-X
Contents

107

Heinrich Niemann (Ed.): Mustererkennung 1985, DAGM-Symposium, Erlangen, 24.-26. September 1985, Proceedings. Springer 1985, ISBN 3-540-15696-8
Contents

108

Hans Robert Hansen (Ed.): GI/OCG/ÖGI-Jahrestagung 1985, Wirtschaftsuniversität Wien, Übersichtsbeiträge und Fachgespräche zu den Themenschwerpunkten Softwaretechnologie / Standardsoftware / Bürokommunikation / Bildschirmtext, 16.-19. September 1995. Springer 1985, ISBN 3-540-15697-6
Contents

109

Dietmar P. F. Möller (Ed.): Simulationstechnik, 3. Symposium Simulationstechnik, Bad Münster am Stein-Ebernburg, 24.-26. September 1985, Proceedings. Springer 1985, ISBN 3-540-15700-X
Contents

110

Heinz Beilner (Ed.): Messung, Modellierung und Bewertung von Rechensystemen, 3. GI/NTG-Fachtagung, Dortmund, 1.-3. Oktober 1985. Springer 1985, ISBN 3-540-15969-X
Contents

111

Dirk Heger, Gerhard Krüger, Otto Spaniol, Werner Zorn (Eds.): Kommunikation in Verteilten Systemen II, Anwendungen, Betrieb, Grundlagen, GI/ITG-Fachtagung, Karlsruhe, 13.-15. März 1985, Proceedings. Springer 1985, ISBN 3-540-15971-1
Contents

112

Wilfried Brauer, Bernd Radig (Eds.): Wissensbasierte Systeme, 1. Internationaler GI-Kongress, München, 28.-29. Oktober 1985, Proceedings. Springer 1985, ISBN 3-540-15999-1
Contents

113

Peter Paul Spies (Ed.): Datenschutz und Datensicherung im Wandel der Informationstechnologien, 1. GI-Fachtagung, München, 30. und 31. Oktober 1985, Proceedings. Springer 1985, ISBN 3-540-16036-1
Contents

114

Brigitte Endres-Niggemeyer, Jürgen Krause (Eds.): Sprachverarbeitung in Information und Dokumentation, Jahrestagung der Gesellschaft für Linguistische Datenverarbeitung (GLDV) in Kooperation mit der Fachgruppe 3 "Natürlichsprachliche Systeme" im FA 1.2 der Gesellschaft für Informatik (GI), Hannover, 5.-7. März 1985, Proceedings. Springer 1985, ISBN 3-540-16071-X
Contents

115

Alfred Kobsa: Benutzermodellierung in Dialogsystemen. Informatik-Fachberichte Vol. 115 Springer 1985, ISBN 3-540-16074-4

116

Hans-Jörg Kreowski (Ed.): Recent Trends in Data Type Specification, 3rd Workshop on Theory and Applications of Abstract Data Types, Bremen, November 13-16, 1984, Selected Papers. Springer 1985, ISBN 3-540-16077-9
Contents

117

Johannes Röhrich: Parallele Systeme. Informatik-Fachberichte Vol. 117 Springer 1986, ISBN 3-540-16063-9

118

Herbert Stoyan (Ed.): GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel/Solling, September 23-27, 1985, Proceedings. Springer 1986, ISBN 3-540-16451-0
Contents

119

Frieder Nake (Ed.): Graphik in Dokumenten, Zweites Fachgespräch der GI-Fachgruppe "Graphische Systeme", Bremen, 3.-4. März 1986. Springer 1986, ISBN 3-540-16438-3
Contents

120

Gerhard Dirlich, Christian Freksa, Uta Schwatlo, Klaus Wimmer (Eds.): Kognitive Aspekte der Mensch-Computer-Interaktion, Workshop, München, 12.-13. April 1984. Springer 1986, ISBN 3-540-16450-2
Contents

121

Klaus Echtle: Fehlermaskierung durch verteilte Systeme. Informatik-Fachberichte Vol. 121 Springer 1986, ISBN 3-540-16464-2

122

Christopher Habel: Prinzipien der Referentialität: Untersuchungen zur propositionalen Repräsentation von Wissen. Informatik-Fachberichte Vol. 122 Springer 1986, ISBN 3-540-16493-6

123

Theo Schröder (Ed.): Arbeit und Informationstechnik, Fachtagung veranstaltet vom Fachbereich 8 "Informatik und Gesellschaft" der GI, Karlsruhe, 15.-17. Juli 1986, Proceedings. Springer 1986, ISBN 3-540-16775-7
Contents

124

Claus-Rainer Rollinger, Werner Horn (Eds.): GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings. Springer 1986, ISBN 3-540-16808-7
Contents

125

Georg Hartmann (Ed.): Mustererkennung 1986, 8. DAGM-Symposium, Paderborn 30. September - 2. Oktober 1986, Proceedings. Springer 1986, ISBN 3-540-16812-5
Contents

126

Günter Hommel, Sigram Schindler (Eds.): GI - 16. Jahrestagung I, Berlin, 6.-10. Oktober 1986, Proceedings. Springer 1986, ISBN 3-540-16813-3
Contents

127

Günter Hommel, Sigram Schindler (Eds.): GI - 16. Jahrestagung II, Berlin, 6.-10. Oktober 1986, Proceedings. Springer 1986, ISBN 3-540-16814-1
Contents

128

Wolfgang Benn: Dynamische nicht-normalisierte Relationen und symbolische Bildbeschreibung. Informatik-Fachberichte Vol. 128 Springer 1986, ISBN 3-540-16823-0

129

Ewald von Puttkamer (Ed.): Informatik-Grundbildung in Schule und Beruf, GI-Fachtagung, Kaiserslautern, 29. September - 1. Oktoker 1986, Proceedings. Springer 1986, ISBN 3-540-17158-4
Contents

130

Nina Gerner, Otto Spaniol (Eds.): Kommunikation in Verteilten Systemen, Anwendungen, Betrieb, Grundlagen, GI/ITG-Fachtagung, Aachen, 16.-20. Februar 1987, Proceedings. Springer 1987, ISBN 3-540-17213-0
Contents

131

Wolfgang Scherl: Bildanalyse allgemeiner Dokumente. Informatik-Fachberichte Vol. 131 Springer 1987, ISBN 3-540-17214-9

132

Rudi Studer: Konzepte für eine verteilte wissensbasierte Softwareproduktionsumgebung. Informatik-Fachberichte Vol. 132 Springer 1987, ISBN 3-540-17215-7

133

Bernd Freisleben: Mechanismen zur Synchronisation paralleler Prozesse. Informatik-Fachberichte Vol. 133 Springer 1987, ISBN 3-540-17217-3

134

Ferdinand Peischl (Ed.): Organisation und Betrieb der verteilten Datenverarbeitung, 7. GI-Fachgespräch über Rechenzentren, München, 5.-6. März 1987, Proceedings. Springer 1987, ISBN 3-540-17222-X
Contents

135

Andreas Meier: Erweiterung relationaler Datenbanksysteme für technische Anwendungen. Informatik-Fachberichte Vol. 135 Springer 1987, ISBN 3-540-17693-4

136

Hans-Jörg Schek, Gunter Schlageter (Eds.): Datenbanksysteme in Büro, Technik und Wissenschaft, GI-Fachtagung, Darmstadt, 1.-3. April 1987, Proceedings. Springer 1987, ISBN 3-540-17736-1
Contents

137

Dieter Lienert: Die Konfigurierung modular aufgebauter Datenbanksysteme. Informatik-Fachberichte Vol. 137 Springer 1987, ISBN 3-540-17908-9

138

Reinhard Männer: Entwurf und Realisierung eines Multiprozessors. Informatik-Fachberichte Vol. 138 Springer 1987, ISBN 3-540-17909-7

139

Michael Marhöfer: Fehlerdiagnose für Schaltnetze aus Modulen mit partiell injektiven Pfadfunktionen. Informatik-Fachberichte Vol. 139 Springer 1987, ISBN 3-540-17938-0

140

Hans-Joachim Wunderlich: Probabilistische Verfahren für den Test hochintegrierter Schaltungen. Informatik-Fachberichte Vol. 140 Springer 1987, ISBN 3-540-18072-9

141

Ernst Günter Schukat-Talamazzini: Generierung von Worthypothesen in kontinuierlicher Sprache. Informatik-Fachberichte Vol. 141 Springer 1987, ISBN 3-540-17998-4

142

Hans-Joachim Novak: Textgenerierung aus visuellen Daten: Beschreibungen von Straßenszenen. Informatik-Fachberichte Vol. 142 Springer 1987, ISBN 3-540-18026-5

143

Roland Wagner, Roland Traunmüller, Heinrich C. Mayr (Eds.): Informationsbedarfsermittlung und -analyse für den Entwurf von Informationssystemen, Fachtagung EMISA, Linz, 2. und 3. Juli 1987, Proceedings. Springer 1987, ISBN 3-540-18052-4
Contents

144

Horst Oberquelle: Sprachkonzepte für benutzergerechte Systeme. Informatik-Fachberichte Vol. 144 Springer 1987, ISBN 3-540-18235-7

145

Kurt Rothermel: Kommunikationskonzepte für verteilte transaktionsorientierte Systeme. Informatik-Fachberichte Vol. 145 Springer 1987, ISBN 3-540-18272-1

146

Werner Damm: Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen. Informatik-Fachberichte Vol. 146 Springer 1987, ISBN 3-540-18320-5

147

Fevzi Belli, Winfried Görke (Eds.): Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems, 3. Internationale GI/ITG/GMA-Fachtagung, Bremerhaven, 9.-11. September 1987, Proceedings. Springer 1987, ISBN 3-540-18294-2
Contents

148

Frank Puppe: Diagnostisches Problemlösen mit Expertensystemen. Informatik-Fachberichte Vol. 148 Springer 1987, ISBN 3-540-18342-6

149

Erwin Paulus (Ed.): Mustererkennung 1987, 9. DAGM-Symposium, Braunschweig, 29.9. - 1.10.1987, Proceedings. Springer 1987, ISBN 3-540-18375-2
Contents

150

Hans Jürgen Halin (Ed.): Simulationstechnik, 4. Symposium Simulationstechnik, Zürich, 9.-11. September 1987, Proceedings. Springer 1987, ISBN 3-540-18373-6
Contents

151

Ernst Buchberger, Johannes Retti (Eds.): 3. Österreichische Artificial Intelligence-Tagung, Wien, 22.-25. September 1987. Springer 1987
Contents

152

Katharina Morik (Ed.): GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, September 28 - October 2, 1987, Proceedings. Springer 1987, ISBN 3-540-18388-4
Contents

153

Dietrich Meyer-Ebrecht (Ed.): ASST '87, 6. Aachener Symposium für Signaltheorie: Mehrdimensionale Signale und Bildverarbeitung, Aachen, 9.-12. September 1987, Proceedings. Springer 1987, ISBN 3-540-18401-5
Contents

154

Ulrich Herzog, Martin Paterok (Eds.): Messung, Modellierung und Bewertung von Rechensystemen, 4. GI/ITG-Fachtagung, Erlangen, 29. September - 1. Oktober 1987, Proceedings. Springer 1987, ISBN 3-540-18406-6
Contents

155

Wilfried Brauer, Wolfgang Wahlster (Eds.): Wissensbasierte Systeme, 2. Internationaler GI-Kongress, München, 20./21. Oktober 1987, Proceedings. Springer 1987, ISBN 3-540-18494-5
Contents

156

Manfred Paul (Ed.): GI - 17. Jahrestagung, Computerintegrierter Arbeitsplatz im Büro, München, 20.-23. Oktober 1987, Proceedings. Springer 1987, ISBN 3-540-18478-3
Contents

157

Ulrich Mahn: Attributierte Grammatiken und Attributierungsalgorithmen. Informatik-Fachberichte Vol. 157 Springer 1988, ISBN 3-540-18650-6

158

Günther Cyranek, Asha Purna Kachru, Heidrun Kaiser (Eds.): Informatik und "Dritte Welt": Berichte und Analysen. Springer 1988, ISBN 3-540-18651-4
Contents

159

Thomas Christaller, Hans-Werner Hein, Michael M. Richter (Eds.): Künstliche Intelligenz, Theoretische Grundlagen und Anwendungsfelder, Frühjahrsschulen, Dassel, 8.-16. März 1985 und 8.-16. März 1986. Springer 1988, ISBN 3-540-18903-3
Contents

160

Hubert Mäncher: Fehlertolerante dezentrale Prozeßautomatisierung. Informatik-Fachberichte Vol. 160 Springer 1987, ISBN 3-540-18754-5

161

Peter Peinl: Synchronisation in zentralisierten Datenbanksystemen: Algorithmen, Realisierungsmöglichkeiten und quantitative Analyse. Informatik-Fachberichte Vol. 161 Springer 1987, ISBN 3-540-18752-9

162

Herbert Stoyan (Ed.): Begründungsverwaltung, Beiträge zu einem Workshop über Reason Maintenance, Berlin, 9. Oktober 1986, Proceedings. Springer 1988, ISBN 3-540-18853-3
Contents

163

Heinrich Müller: Realistische Computergraphik: Algorithmen, Datenstrukturen und Maschinen. Informatik-Fachberichte Vol. 163 Springer 1988, ISBN 3-540-18924-6

164

Michael Eulenstein: Generierung portabler Compiler: Das portable System POCO. Informatik-Fachberichte Vol. 164 Springer 1988, ISBN 3-540-18937-8

165

Hans-Ulrich Heiss: Überlast in Rechensystemen: Modellierung und Verhinderung. Informatik-Fachberichte Vol. 165 Springer 1988, ISBN 3-540-18944-0

166

Klaus A. Hörmann: Kollisionsfreie Bahnen für Industrieroboter: Ein Planungsverfahren. Informatik-Fachberichte Vol. 166 Springer 1988, ISBN 3-540-18978-5

167

Rudolf Lauber (Ed.): Prozeßrechnersysteme '88, Automatisierungstechnik, Leittechnik, Informations- und Kommunikationstechnik, Stuttgart, 2.-4. März 1988, Proceedings. Springer 1988, ISBN 3-540-18986-6
Contents

168

Uwe Kastens, Franz J. Rammig (Eds.): Architektur und Betrieb vpn Rechensystemen, 10. GI/ITG-Fachtagung, 9.-11. März 1988, Paderborn, Germany, Proceedings. Springer 1988, ISBN 3-540-18994-7
Contents

169

Gerhard Heyer, Josef Krems, Günther Görz (Eds.): Wissensarten und ihre Darstellung, Beiträge aus Philosophie, Informatik und Linguistik [Workshop 20./21. November 1986, Universität Erlangen-Nürnberg]. Springer 1988, ISBN 3-540-19071-6
Contents

170

Andreas Jaeschke, Bernd Page (Eds.): Informatikanwendungen im Umweltbereich, 2. Symposium, Karlsruhe, 9./10. November 1987, Proceedings. Springer 1988, ISBN 3-540-19127-5
Contents

171

Herbert Lutterbach (Ed.): Non-Standard Datenbanken für Anwendungen der Graphischen Datenverarbeitung, GI-Fachgespräch, Dortmund, 21./22. März 1988, Proceedings. Springer 1988, ISBN 3-540-19175-5
Contents

172

Gerhard Rahmstorf (Ed.): Wissensrepräsentation in Expertensystemen, Workshop, Herrenberg, 16.-18. März 1987, Proceedings. Springer 1988, ISBN 3-540-19216-6
Contents

173

Michael H. Schulz: Testmustergenerierung und Fehlersimulation in digitalen Schaltungen mit hoher Komplexität. Informatik-Fachberichte Vol. 173 Springer 1988, ISBN 3-540-50051-0

174

Alfred Endrös: Rechtsprechung und Computer in den neunziger Jahren: Am Beispiel von Begriff und Typologie der Körperschaft des Öffentlichen Rechts. Informatik-Fachberichte Vol. 174 Springer 1988, ISBN 3-540-50131-2

175

Jürgen Hülsemann: Funktioneller Test der Auflösung von Zugriffskonflikten in Mehrrechnersystemen. Informatik-Fachberichte Vol. 175 Springer 1988, ISBN 3-540-50114-2

176

Harald Trost (Ed.): 4. Österreichische Artificial-Intelligence-Tagung, Wiener Workshop Wissensbasierte Sprachverarbeitung, Wien, 29.-31. August 1988, Proceedings. Springer 1988, ISBN 3-540-50180-0
Contents

177

Lutz Voelkel, Jürgen Pliquett: Signaturanalyse: Theoretische Grundlagen und Probleme; Ausblick auf Anwendungen. Informatik-Fachberichte Vol. 177 Springer 1989, ISBN 3-540-50244-0

178

Herbert Göttler: Graphgrammatiken in der Softwaretechnik: Theorie und Anwendungen. Informatik-Fachberichte Vol. 178 Springer 1988, ISBN 3-540-50243-2

179

Walter Ameling (Ed.): Simulationstechnik, 5. Symposium Simulationstechnik, Aachen, 28.-30. September 1988, Proceedings. Springer 1988, ISBN 3-540-50273-4
Contents

180

Horst Bunke, Olaf Kübler, Peter Stucki (Eds.): Mustererkennung 1988, 10. DAGM-Symposium, Zürich, 27.-29. September 1988, Proceedings. Springer 1988, ISBN 3-540-50280-7
Contents

181

Wolfgang Hoeppner (Ed.): Künstliche Intelligenz, GWAI-88, 12. Jahrestagung, Eringerfeld, 19.-23. September 1988, Proceedings. Springer 1988, ISBN 3-540-50293-9
Contents

182

Wilhelm Barth (Ed.): Visualisierungstechniken und Algorithmen, Fachgespräch, Wien, 26./27. September 1988, Proceedings. Springer 1988, ISBN 3-540-50323-4
Contents

183

Alexander Clauer, Werner Purgathofer (Eds.): Austrographics '88, Aktuelle Entwicklungen in der Graphischen Datenverarbeitung, Fachtagung, Wien, 28.-30. September 1988, Proceedings. Springer 1988, ISBN 3-540-50305-6
Contents

184

Bernhard Gollan, Wolfgang J. Paul, Alwine Schmitt (Eds.): Innovative Informations-Infrastrukturen, Ergebnisse einer Kooperation der Universität des Saarlandes und der Siemens AG, I.I.I.-Forum, Saarbrücken, 12.-13. Oktober 1988, Proceedings. Springer 1988, ISBN 3-540-50334-X
Contents

185

Bernhard Mitschang: Ein Molekül-Atom-Datenmodell für Non-Standard-Anwendungen: Anwendungsanalyse, Datenmodellentwurf und Implementierungskonzepte. Informatik-Fachberichte Vol. 185 Springer 1988, ISBN 3-540-50346-3

186

Erhard Rahm: Synchronisation in Mehrrechner-Datenbanksystemen - Konzepte, Realisierungsformen und quantitative Bewertung. Informatik-Fachberichte Vol. 186 Springer 1988, ISBN 3-540-50348-X
Contents

187

Rüdiger Valk (Ed.): GI - 18. Jahrestagung I, Vernetzte and komplexe Informatik-Systems, Hamburg, 17.-19. Oktober 1988, Proceedings. Springer 1988, ISBN 3-540-50354-4
Contents

188

Rüdiger Valk (Ed.): GI - 18. Jahrestagung II, Vernetzte and komplexe Informatik-Systems, Hamburg, 17.-19. Oktober 1988, Proceedings. Springer 1988, ISBN 3-540-50360-9
Contents

189

Bernd E. Wolfinger (Ed.): Vernetzte und komplexe Informatik-Systeme, Industrieprogramm zur 18. Jahrestagung der Gesellschaft für Informatik, Hamburg, 18./19. Oktober 1988, Proceedings. Springer 1988, ISBN 3-540-50462-1
Contents

190

Dieter Maurer: Relevanzanalyse: Eine Kombination von Striktheits- und Datenflußanalyse zur effizienten Auswertung funktionaler Programme. Informatik-Fachberichte Vol. 190 Springer 1988, ISBN 3-540-50429-X

191

Paul Levi: Planen für autonome Montageroboter. Informatik-Fachberichte Vol. 191 Springer 1988, ISBN 3-540-50530-X

192

Klaus Kansy, Peter Wißkirchen (Eds.): Graphik im Bürobereich, GI-Fachgespräch, Bad Honnef, 29./30. November 1988, Proceedings. Springer 1988, ISBN 3-540-50543-1
Contents

193

Willi Gotthard: Datenbanksysteme für Software-Produktionsumgebungen. Informatik-Fachberichte Vol. 193 Springer 1988, ISBN 3-540-50539-3

194

Claus Lewerentz: Interaktives Entwerfen großer Programmsysteme: Konzepte und Werkzeuge. Informatik-Fachberichte Vol. 194 Springer 1988, ISBN 3-540-50553-9

195

István S. Bátori, Udo Hahn, Manfred Pinkal, Wolfgang Wahlster (Eds.): Computerlinguistik und ihre theoretischen Grundlagen, Symposium, Saarbrücken, 9.-11. März 1988, Proceedings. Springer 1988, ISBN 3-540-50554-7
Contents

196

(was never published)

197

Marek Leszak, Horst Eggert: Petri-Netz-Methoden und -Werkzeuge: Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen. Informatik-Fachberichte Vol. 197 Springer 1989, ISBN 3-540-50642-X

198

Ulrich Reimer: FRM: Ein Frame-Repräsentationsmodell und seine formale Semantik: Zur Integration von Datenbank- und Wissensrepräsentationsansätzen. Informatik-Fachberichte Vol. 198 Springer 1989, ISBN 3-540-50680-2

199

Clemens Beckstein: Zur Logik der Logik-Programmierung: Ein konstruktiver Ansatz. Informatik-Fachberichte Vol. 199 Springer 1988, ISBN 3-540-50720-5