Winfried Lamersdorf: Semantische Repräsentation komplexer Objektstrukturen: Modelle für nichtkonventionelle Datenbankanwendungen. Springer 1985 ISBN 3-540-15242-3
101
Jürgen Koch: Relationale Anfragen - Zerlegung und Optimierung. Springer 1985 ISBN 3-540-15646-1
102
Hans-Jürgen Appelrath: Von Datenbanken zu Expertensystemen. 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. Springer 1985 ISBN 3-540-15671-2
105
Georg E. Maier: Exceptionbehandlung und Synchronisation - Entwurf und Methode. 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 ]
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. 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. 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 ]
Klaus Echtle: Fehlermaskierung durch verteilte Systeme. Springer 1986 ISBN 3-540-16464-2
122
Christopher Habel: Prinzipien der Referentialität: Untersuchungen zur propositionalen Repräsentation von Wissen. 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 ]
Wolfgang Benn: Dynamische nicht-normalisierte Relationen und symbolische Bildbeschreibung. 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. Springer 1987 ISBN 3-540-17214-9
132
Rudi Studer: Konzepte für eine verteilte wissensbasierte Softwareproduktionsumgebung. Springer 1987 ISBN 3-540-17215-7
133
Bernd Freisleben: Mechanismen zur Synchronisation paralleler Prozesse. 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. 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. Springer 1987 ISBN 3-540-17908-9
138
Reinhard Männer: Entwurf und Realisierung eines Multiprozessors. Springer 1987 ISBN 3-540-17909-7
139
Michael Marhöfer: Fehlerdiagnose für Schaltnetze aus Modulen mit partiell injektiven Pfadfunktionen. Springer 1987 ISBN 3-540-17938-0
140
Hans-Joachim Wunderlich: Probabilistische Verfahren für den Test hochintegrierter Schaltungen. Springer 1987 ISBN 3-540-18072-9
Hans-Joachim Novak: Textgenerierung aus visuellen Daten: Beschreibungen von Straßenszenen. 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. Springer 1987 ISBN 3-540-18235-7
145
Kurt Rothermel: Kommunikationskonzepte für verteilte transaktionsorientierte Systeme. Springer 1987 ISBN 3-540-18272-1
146
Werner Damm: Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen. 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. 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 ]
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. Springer 1988 ISBN 3-540-18650-6
Hubert Mäncher: Fehlertolerante dezentrale Prozeßautomatisierung. Springer 1987 ISBN 3-540-18754-5
161
Peter Peinl: Synchronisation in zentralisierten Datenbanksystemen: Algorithmen, Realisierungsmöglichkeiten und quantitative Analyse. 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. Springer 1988 ISBN 3-540-18924-6
164
Michael Eulenstein: Generierung portabler Compiler: Das portable System POCO. Springer 1988 ISBN 3-540-18937-8
165
Hans-Ulrich Heiss: Überlast in Rechensystemen: Modellierung und Verhinderung. Springer 1988 ISBN 3-540-18944-0
166
Klaus A. Hörmann: Kollisionsfreie Bahnen für Industrieroboter: Ein Planungsverfahren. 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. 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. Springer 1988 ISBN 3-540-50131-2
175
Jürgen Hülsemann: Funktioneller Test der Auflösung von Zugriffskonflikten in Mehrrechnersystemen. 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. Springer 1989 ISBN 3-540-50244-0
178
Herbert Göttler: Graphgrammatiken in der Softwaretechnik: Theorie und Anwendungen. 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. Springer 1988 ISBN 3-540-50346-3
186
Erhard Rahm: Synchronisation in Mehrrechner-Datenbanksystemen - Konzepte, Realisierungsformen und quantitative Bewertung. 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. Springer 1988 ISBN 3-540-50429-X
191
Paul Levi: Planen für autonome Montageroboter. 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. Springer 1988 ISBN 3-540-50539-3
194
Claus Lewerentz: Interaktives Entwerfen großer Programmsysteme: Konzepte und Werkzeuge. Springer 1988 ISBN 3-540-50553-9
Marek Leszak, Horst Eggert: Petri-Netz-Methoden und -Werkzeuge: Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen. 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. Springer 1989 ISBN 3-540-50680-2
199
Clemens Beckstein: Zur Logik der Logik-Programmierung: Ein konstruktiver Ansatz. Springer 1988 ISBN 3-540-50720-5