Informatik Fachberichte (IFB), Band 200-299

200: Alexander Reinefeld: Spielbaum-Suchverfahren. Informatik-Fachberichte Vol. 200 Springer 1989, ISBN 3-540-50742-6
201: Angelika M. Kotz: Triggermechanismen in Datenbanksystemen. Informatik-Fachberichte Vol. 201 Springer 1989, ISBN 3-540-50743-4
202: Thomas Christaller (Ed.): Künstliche Intelligenz, 5. Frühjahrsschule, KIFS-87, Günne, 28. März - 5. April 1987, Proceedings. Springer 1989, ISBN 3-540-50884-8
Contents
203: Kai von Luck (Ed.): Künstliche Intelligenz, 7. Frühjahrsschule, KIFS-89, Günne, 11.-19. März 1989, Proceedings. Springer 1989, ISBN 3-540-50878-3
Contents
204: Theo Härder (Ed.): Datenbanksysteme in Büro, Technik und Wissenschaft, GI/Si-Fachtagung, Zürich, 1.-3. März 1989, Proceedings. Springer 1989, ISBN 3-540-50894-5
Contents
205: Paul J. Kühn (Ed.): Kommunikation in Verteilten Systemen, Grundlagen, Anwendungen, Betrieb, ITG/GI-Fachtagung, Stuttgart, 22.-24. Februar 1989, Proceedings. Springer 1989, ISBN 3-540-50893-7
Contents
206: Patrick Horster, Hartmut Isselhorst: Approximative Public-Key-Kryptosysteme. Informatik-Fachberichte Vol. 206 Springer 1989, ISBN 3-540-50904-6
207: Jan von Knop (Ed.): Organisation der Datenverarbeitung, an der Schwelle der 90er Jahre, 8. GI-Fachgespräch über Rechenzentren, Düsseldorf, 2.-3. März 1989, Proceedings. Springer 1989, ISBN 3-540-51030-3
Contents
208: Johannes Retti, Karl Leidlmair (Eds.): 5. Österreichische Artificial Intelligence-Tagung, Igls, Tirol, 28. bis 30. September 1989, Proceedings. Springer 1989, ISBN 3-540-51039-7
Contents
209: Udo W. Lipeck: Dynamische Integrität von Datenbanken: Grundlagen der Spezifikation und Überwachung. Informatik-Fachberichte Vol. 209 Springer 1989, ISBN 3-540-51130-X
210: Klaus Drosten: Termersetzungssysteme : Grundlagen der Prototyp-Generierung algebraischer Spezifikationen. Informatik-Fachberichte Vol. 210 Springer 1989, ISBN 3-540-51172-5
211: Hans Werner Meuer (Ed.): Supercomputer'89: Anwendungen, Architekturen, Trends, Seminar, Mannheim, 8.-10. Juni 1989, Proceedings. Springer 1989, ISBN 3-540-51310-8
Contents
212: Wolfram-Manfred Lippe (Ed.): Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung, veranstaltet vom Fachausschluß 2.1 der GI, Marburg, 21.-23. Juni 1989, Proceedings. Springer 1989, ISBN 3-540-51353-1
Contents
213: Ingrid M. Walter: Datenbankgestützte Repräsentation und Extraktion von Episodenbeschreibungen aus Bildfolgen. Informatik-Fachberichte Vol. 213 Springer 1989, ISBN 3-540-51462-7
214: Winfried Görke, Holger Sörensen (Eds.): Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems, Automatisierungssysteme, Methoden, Anwendungen / Automation Systems, Methods, Applications; 4. Internationale GI/ITG/GMA-Fachtagung, Baden-Baden, 20.-22. September 1989, Proceedings. Springer 1989, ISBN 3-540-51565-8
Contents
215: Mehrdad Bidjan-Irani: Qualität und Testbarkeit hochintegrierter Schaltungen: Qualitätssicherung durch regelbasierte Systeme. Informatik-Fachberichte Vol. 215 Springer 1989, ISBN 3-540-51608-5
216: Dieter Metzing (Ed.): GWAI-89, 13th German Workshop on Artificial Intelligence, Eringerfeld, 18.-22. September 1989, Proceedings. Springer 1989, ISBN 3-540-51743-X
Contents
217: Martin Zieher: Kopplung von Rechnernetzen: Techniken zu Planung, Entwurf, Vermessung und Leistungsoptimierung. Informatik-Fachberichte Vol. 217 Springer 1989, ISBN 3-540-51873-8
218: Günther Stiege, J. S. Lie (Eds.): Messung, Modellierung und Bewertung von Rechensystemen, 5. GI/ITG-Fachtagung, Braunschweig, 26.-28. September 1989, Proceedings. Springer 1989, ISBN 3-540-51713-8
Contents
219: Hans Burkhardt, Karl Heinz Höhne, Bernd Neumann (Eds.): Mustererkennung 1989, 11. DAGM-Symposium, Hamburg, 2.-4. Oktober 1989, Proceedings. Springer 1989, ISBN 3-540-51748-0
Contents
220: Franz Stetter, Wilfried Brauer (Eds.): Informatik und Schule 1989: Zukunftsperspektiven der Informatik für Schule und Ausbildung, GI-Fachtagung, München, 15.-17. November 1989, Proceedings. Springer 1989, ISBN 3-540-51801-0
Contents
221: Heidi Schelhowe (Ed.): Frauenwelt - Computerräume, Fachtagung, veranstaltet von der Fachgruppe "Frauenarbeit und Informatik" im Fachbereich 8 der GI, Bremen, 21.-24. September 1989, Proceedings. Springer 1989, ISBN 3-540-51802-9
Contents
222: Manfred Paul (Ed.): GI - 19. Jahrestagung, I, Computergestützter Arbeitsplatz, München, 18.-20. Oktober 1989, Proceedings. Springer 1989, ISBN 3-540-51821-5
Contents
223: Manfred Paul (Ed.): GI - 19. Jahrestagung, II, Computergestützter Arbeitsplatz, München, 18.-20. Oktober 1989, Proceedings. Springer 1989, ISBN 3-540-51822-3
Contents
224: Udo Voges: Software-Diversität und ihre Modellierung: Software-Fehlertoleranz und ihre Bewertung durch Fehler- und Kostenmodelle. Informatik-Fachberichte Vol. 224 Springer 1989, ISBN 3-540-51827-4
225: Willi Stoll: Test von OSI-Protokollen. Informatik-Fachberichte Vol. 225 Springer 1989, ISBN 3-540-51824-X
226: Friedemann Mattern: Verteilte Basisalgorithmen. Informatik-Fachberichte Vol. 226 Springer 1989, ISBN 3-540-51835-5
227: Wilfried Brauer, Christian Freksa (Eds.): Wissensbasierte Systeme, 3. Internationaler GI-Kongress, München, 16./17. Oktober 1989, Proceedings. Springer 1989, ISBN 3-540-51838-X
Contents
228: Andreas Jaeschke, Werner Geiger, Bernd Page (Eds.): Informatik im Umweltschutz, 4. Symposium, Karlsruhe, 6.-8. November 1989, Proceedings. Springer 1989, ISBN 3-540-51887-8
Contents
229: Wolfgang Coy, Lena Bonsiepen: Erfahrung und Berechnung: Kritik der Expertensystemtechnik. Informatik-Fachberichte Vol. 229 Springer 1989, ISBN 3-540-51893-2
230: Arndt Bode, Rüdiger Dierstein, Martin Göbel, Andreas Jaeschke (Eds.): Visualisierung von Umweltdaten in Supercomputersystemen, Karlsruhe, 1. Fachtagung, 8. November 1989, Proceedings. Springer 1990, ISBN 3-540-52746-X
Contents
231: Richarl K. H. Henn, Klaus Stieger (Eds.): PEARL 89 - Workshop über Realzeitsysteme, 10. Fachtagung des PEARL-Vereins e.V., Boppard, 7./8. Dezember 1989, Proceedings. Springer 1989, ISBN 3-540-51986-6
Contents
232: Rita Loogen: Parallele Implementierung funktionaler Programmiersprachen. Informatik-Fachberichte Vol. 232 Springer 1990, ISBN 3-540-52049-X
233: Stefan Jablonski: Datenverwaltung in verteilten Systemen: Grundlagen und Lösungskonzepte. Informatik-Fachberichte Vol. 233 Springer 1990, ISBN 3-540-52184-4
234: Andreas Pfitzmann: Diensteintegrierende Kommunikationsnetze mit teilnehmerüberprüfbarem Datenschutz. Informatik-Fachberichte Vol. 234 Springer 1990, ISBN 3-540-52327-8
235: Christiane Feder: Ausnahmebehandlung in objektorientierten Programmiersprachen. Informatik-Fachberichte Vol. 235 Springer 1990, ISBN 3-540-52467-3
236: Jürgen J. Stoll: Fehlertoleranz in verteilten Realzeitsystemen: Anwendungsorientierte Techniken. Informatik-Fachberichte Vol. 236 Springer 1990, ISBN 3-540-52331-6
237: Reinhard Grebe (Ed.): Parallele Datenverarbeitung mit dem Transputer, 1. Transputer-Anwender-Treffen TAT '89, Aachen, 25.-26. September 1989. Springer 1990, ISBN 3-540-52366-9
Contents
238: Brigitte Endres-Niggemeyer, Thomas Hermann, Alfred Kobsa, Dietmar Rösner (Eds.): Interaktion und Kommunikation mit dem Computer, Jahrestagung der Gesellschaft für Linguistische Datenverarbeitung (GLDV), Ulm, 8.-10. März 1989, Proceedings. Springer 1990, ISBN 3-540-52413-4
Contents
239: Klaus Kansy, Peter Wißkirchen (Eds.): Graphik und KI, GI-Fachgespräch, Königswinter, 3./4. April 1990, Proceedings. Springer 1990, ISBN 3-540-52503-3
Contents
240: Djamshid Tavangarian: Flagorientierte Assoziativspeicher und -prozessoren. Informatik-Fachberichte Vol. 240 Springer 1990, ISBN 3-540-52487-8
241: Alexander Schill: Migrationssteuerung und Konfigurationsverwaltung für verteilte objektorientierte Anwendungen. Informatik-Fachberichte Vol. 241 Springer 1990, ISBN 3-540-52542-4
242: Dieter Wybranietz: Multicast-Kommunikation in verteilten Systemen. Informatik-Fachberichte Vol. 242 Springer 1990, ISBN 3-540-52551-3
243: Udo Hahn: Lexikalisch verteiltes Text-Parsing: Eine objektorientierte Spezifikation eines Wortexpertensystems auf der Grundlage des Aktorenmodells. Informatik-Fachberichte Vol. 243 Springer 1990, ISBN 3-540-53230-7
244: Bernhard R. Kämmerer: Sprecherunabhängigkeit und Sprecheradaption: Lösungsansätze für das Problem des Sprecherwechsels bei der automatischen Spracherkennung. Informatik-Fachberichte Vol. 244 Springer 1990, ISBN 3-540-52789-3
245: Christian Freksa, Christopher Habel (Eds.): Repräsentation und Verarbeitung räumlichen Wissens. Springer 1990, ISBN 3-540-52758-3
Contents
246: Thomas Bräunl: Massiv parallele Programmierung mit dem Parallaxis-Modell. Informatik-Fachberichte Vol. 246 Springer 1990, ISBN 3-540-52853-9
247: Heiko Krumm: Funktionelle Analyse von Kommunikationsprotokollen. Informatik-Fachberichte Vol. 247 Springer 1990, ISBN 3-540-52854-7
248: Guido Moerkotte: Inkonsistenzen in deduktiven Datenbanken: Diagnose und Reparatur. Informatik-Fachberichte Vol. 248 Springer 1990, ISBN 3-540-53077-0
249: Peter A. Gloor, Norbert A. Streitz (Eds.): Hypertext und Hypermedia: Von theoretischen Konzepten zur praktischen Anwendung. Springer 1990, ISBN 3-540-53089-4
Contents
250: Hans Werner Meuer (Ed.): Supercomputer'90: Anwendungen, Architekturen, Trends, Seminar, Mannheim, 21.-23. Juni 1990, Proceedings. Springer 1990, ISBN 3-540-52792-3
Contents
251: Heinz Marburger (Ed.): GWAI-90, 14th German Workshop on Artificial Intelligence, Eringerfeld, 10.-14. September 1990, Proceedings. Springer 1990, ISBN 3-540-53132-7
Contents
252: Georg Dorffner (Ed.): Konnektionismus in Artificial Intelligence und Kognitionsforschung. Proceedings 6. Österreichische Artificial Intelligence-Tagung (KONNAI), Salzburg, Österreich, 18. bis 21. September 1990. Springer 1990, ISBN 3-540-53131-9
Contents
253: Walter Ameling (Ed.): ASST '90, 7. Aachener Symposium für Signaltheorie: Modellgestützte Signalverarbeitung, Aachen, 12.-14. September 1990, Proceedings. Springer 1990, ISBN 3-540-53124-6
Contents
254: Rudolf E. Großkopf (Ed.): Mustererkennung 1990, 12. DAGM-Symposium, Oberkochen-Aalen, 24.-26. September 1990, Proceedings. Springer 1990, ISBN 3-540-53172-6
Contents
255: Bernd Reusch (Ed.): Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme, GME/GI/ITG-Fachtagung, Dortmund, Oktober 1990, Proceedings. Springer 1990, ISBN 3-540-53163-7
Contents
256: Werner Pillmann, Andreas Jaeschke (Eds.): Informatik für den Umweltschutz, 5. Symposium, Wien, Österreich, 19.-21. September 1990, Proceedings. Springer 1991, ISBN 3-540-53171-8
Contents
257: Andreas Reuter (Ed.): GI - 20. Jahrestagung I, Informatik auf dem Weg zum Anwender, Stuttgart, 8.-12. Oktober 1990, Proceedings. Springer 1990, ISBN 3-540-53212-9
Contents
258: Andreas Reuter (Ed.): GI - 20. Jahrestagung II, Informatik auf dem Weg zum Anwender, Stuttgart, 8.-12. Oktober 1990, Proceedings. Springer 1990, ISBN 3-540-53213-7
Contents
259: Hans-Jürgen Friemel, Gisbert Müller-Schönberger, Andreas Schütt (Eds.): Forum '90 Wissenschaft und Technik, Neue Anwendungen mit Hilfe aktueller Computer-Technologien, Trier 8./9. Oktober 1990, Proceedings. Springer 1990, ISBN 3-540-53218-8
Contents
260: Bernhard J. Frommherz: Ein Roboteraktionsplanungssystem. Informatik-Fachberichte Vol. 260 Springer 1990, ISBN 3-540-53401-6
261: Wolf Zimmermann: Automatische Komplexitätsanalyse funktionaler Programme. Informatik-Fachberichte Vol. 261 Springer 1990, ISBN 3-540-53430-X
262: Wilfried Gerth, Per Baacke (Eds.): PEARL 90, Workshop über Realzeitsysteme, 11. Fachtagung des PEARL-Vereins e.V. unter Mitwirkung von GI und GMA, Boppard, 29./30. November 1990, Proceedings. Springer 1990, ISBN 3-540-53464-4
Contents
263: Henning Eckhardt: Entwurfstransaktionen für modulare Objektsysteme: Synchronisierung in objektorientierten Datenbanksystemen. Informatik-Fachberichte Vol. 263 Springer 1990, ISBN 3-540-53481-4
264: Theo Härder, Hartmut Wedekind, Gerhard Zimmermann (Eds.): Entwurf und Betrieb verteilter Systeme, Fachtagung des Sonderforschungsbereiche 124 und 182, Dagstuhl, 19.-21. September 1990, Proceedings. Springer 1990, ISBN 3-540-53490-3
Contents
265: Ulrich Herrmann: Mehrbenutzerkontrolle in Nicht-Standard-Datenbanksystemen. Informatik-Fachberichte Vol. 265 Springer 1991, ISBN 3-540-53576-4
266: Roman Cunis, Andreas Günter, Helmut Strecker (Eds.): Das PLAKON-Buch, Ein Expertensystemkern für Planungs- und Konfigurierungsaufgaben in technischen Domänen. Springer 1991, ISBN 3-540-53683-3
Contents
267: Wolfgang Effelsberg, Hans Werner Meuer, Günter Müller (Eds.): Kommunikation in Verteilten Systemen, Grundlagen, Anwendungen, Betrieb, GI/ITG-Fachtagung, Mannheim, 20.-22. Februar 1991, Proceedings. Springer 1991, ISBN 3-540-53721-X
Contents
268: Jörg Raczkowsky: Multisensordatenverarbeitung in der Robotik. Informatik-Fachberichte Vol. 268 Springer 1991, ISBN 3-540-53745-7
269: Günter Hommel (Ed.): Prozeßrechnersysteme '91, Automatisierungs- und Leitsysteme in den neunziger Jahren, Berlin, 25.-27. Februar 1991, Proceedings. Springer 1991, ISBN 3-540-53808-9
Contents
270: Hans-Jürgen Appelrath (Ed.): Datenbanksysteme in Büro, Technik und Wissenschaft, GI-Fachtagung, Kaiserslautern, 6.-8. März 1991, Proceedings. Springer 1991, ISBN 3-540-53861-5
Contents
271: Andreas Pfitzmann, Eckart Raubold (Eds.): VIS'91, Verläßliche Informationssysteme, GI-Fachtagung, Darmstadt, 13.-15. März 1991, Proceedings. Springer 1991, ISBN 3-540-53911-5
Contents
272: Reinhard Grebe, Christian Ziemann (Eds.): Parallele Datenverarbeitung mit dem Transputer, 2. Transputer-Anwender-Treffen TAT '90, Aachen, 17.-18. September 1990. Springer 1991, ISBN 3-540-53976-X
Contents
273: Michael Timm (Ed.): Requirements Engineering '91, "Structured Analysis" und verwandte Ansätze, Marburg, 10./11. April 1991, Proceedings. Springer 1991, ISBN 3-540-54025-3
Contents
274: Ralf Denzer, Hans Hagen, Karl-Heinz Kutschke (Eds.): Visualisierung von Umweltdaten, Rostock, 20. November 1990, Proceedings. Springer 1991, ISBN 3-540-54189-6
Contents
275: Dietmar P. F. Möller, Otto Richter (Eds.): Analyse dynamischer Systeme in Medizin, Biologie und Ökologie, 4. Ebernburger Gespräch, Bad Münster, 5.-7. April 1990, Proceedings. Springer 1991, ISBN 3-540-54669-3
Contents
276: Hermann A. Maurer (Ed.): Hypertext/Hypermedia, Tagung der GI, SI und OCG, Graz, 27./28 Mai 1991, Proceedings. Springer 1991, ISBN 3-540-54145-4
Contents
277: Ulrich Borgolte: Flexible, realzeitfähige Kollisionsvermeidung in Mehrroboter-Systemen. Informatik-Fachberichte Vol. 277 Springer 1991, ISBN 3-540-54363-5
278: Hans Werner Meuer (Ed.): Supercomputer'91: Anwendungen, Architekturen, Trends, Seminar, Mannheim, 20.-22. Juni 1991, Proceedings. Springer 1991, ISBN 3-540-54231-0
Contents
279: Günter Schwichtenberg (Ed.): Organisation und Betrieb von Informationssystemen, 9. GI-Fachgespräch über Rechenzentren, Dortmund, 14.-15. März 1991, Proceedings. Springer 1991, ISBN 3-540-54250-7
Contents
280: Bernhard Westfechtel: Revisions- und Konsistenzkontrolle in einer integrierten Softwareentwicklungsumgebung. Informatik-Fachberichte Vol. 280 Springer 1991, ISBN 3-540-54432-1
281: Werner Emde: Modellbildung, Wissensrevision und Wissensrepräsentation im Maschinellen Lernen. Informatik-Fachberichte Vol. 281 Springer 1991, ISBN 3-540-54523-9
282: Peter Buchholz: Die strukturierte Analyse Markovscher Modelle. Informatik-Fachberichte Vol. 282 Springer 1991, ISBN 3-540-54540-9
283: Mario Dal Cin, Wolfgang Hohl (Eds.): Fault-Tolerant Computing Systems, Tests, Diagnosis, Fault Treatment, 5th International GI/ITG/GMA Conference, Nürnberg, Germany, September 25-27, 1991, Proceedings. Springer 1991, ISBN 3-540-54545-X
Contents
284: Rolf Stadler: Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache. Informatik-Fachberichte Vol. 284 Springer 1991, ISBN 3-540-54546-8
285: Thomas Christaller (Ed.): GWAI-91, 15. Fachtagung für Künstliche Intelligenz, Bonn, 16.-20. September 1991, Proceedings. Springer 1991, ISBN 3-540-54558-1
Contents
286: Axel Lehmann, Fritz Lehmann (Eds.): Messung, Modellierung und Bewertung von Rechensystemen, 6. GI/ITG-Fachtagung, 18.-20. September 1991, Neubiberg, Proceedings. Springer 1991, ISBN 3-540-54550-6
Contents
287: Hermann Kaindl (Ed.): Proc. 7th Austrian Conference on Artificial Intelligence, ÖGAI-91, Wien, 24.-27. September 1991. Springer 1991
Contents
288: Gerhard Helm: Symbolische und konnektionistische Modelle der menschlichen Informationsverarbeitung - Eine kritische Gegenüberstellung. Informatik-Fachberichte Vol. 288 Springer 1991, ISBN 3-540-54575-1
289: Norbert Fuhr (Ed.): Information Retrieval, GI/GMD-Workshop, Darmstadt, 23./24. Juni 1991, Proceedings. Springer 1991, ISBN 3-540-54618-9
Contents
290: Bernd Radig (Ed.): Mustererkennung 1991, 13. DAGM-Symposium, München, 9.-11. Oktober 1991, Proceedings. Springer 1991, ISBN 3-540-54597-2
Contents
291: Wilfried Brauer, Daniel Hernández (Eds.): Verteilte Künstliche Intelligenz und kooperatives Arbeiten, 4. Internationaler GI-Kongress Wissensbasierte Systeme, München, 23.-24. Oktober 1991, Proceedings. Springer 1991, ISBN 3-540-54617-0
Contents
292: Peter Gorny (Ed.): Informatik und Schule 1991, Informatik: Wege zur Vielfalt beim Lehren und Lernen, GI-Fachtagung, Oldenburg, Oktober 1991, Proceedings. Springer 1991, ISBN 3-540-54619-7
Contents
293: José L. Encarnação (Ed.): Telekommunikation und multimediale Anwendungen der Informatik, GI - 21. Jahrestagung, Darmstadt, 14.-18. Oktober 1991, Proceedings. Springer 1991, ISBN 3-540-54755-X
Contents
294: Reinhard Möller (Ed.): 2. Workshop Sichtsysteme - Visualisierung in der Simulationstechnik, Bremen, 18./19. November 1991, Proceedings. Springer 1991, ISBN 3-540-54902-1
Contents
295: Wolfgang A. Halang (Ed.): PEARL 91, Workshop über Realzeitsysteme, 12. Fachtagung des PEARL-Vereins e.V., Boppard, 28./29. November 1991, Proceedings. Springer 1991, ISBN 3-540-54909-9
Contents
296: Margret Häckler, Andreas Jaeschke (Eds.): Informatik für den Umweltschutz / Computer Science for Environmental Protection, 6. Symposium, München, 4.-6. Dezember 1991, Proceedings. Springer 1991, ISBN 3-540-54932-3
Contents
297: Thomas Ruf: Featurebasierte Integration von CAD/CAM-Systemen. Informatik-Fachberichte Vol. 297 Springer 1991, ISBN 3-540-54991-9
298: Alfons Kemper: Zuverlässigkeit und Leistungsfähigkeit objekt-orientierter Datenbanksysteme. Informatik-Fachberichte Vol. 298 Springer 1992, ISBN 3-540-55120-4
299: Peter Baumann: Software-Bewertung: Ein semantischer Ansatz für Infomationsmaße. Informatik-Fachberichte Vol. 299 Springer 1992, ISBN 3-540-55151-4