Informatik Fachberichte (IFB), Band 1-99

1

Hans Jürgen Schneider, Manfred Nagl (Eds.): Programmiersprachen, 4. Fachtagung der GI, Erlangen, 8.-10. März 1976, Proceedings. Springer 1976, ISBN 3-540-07619-0
Contents

2

Adolf Schreiner (Ed.): Betrieb von Rechenzentren, Workshop der GI, Karlsruhe, 23./24. September 1975, Proceedings. Springer 1976, ISBN 3-540-07621-2
Contents

3

Dieter Haupt, Heinz Petersen (Eds.): Rechnernetze und Datenfernverarbeitung, Fachtagung der GI und NTG, Aachen, 31.3.-2.4.1976. Springer 1976, ISBN 3-540-07672-7
Contents

4

Wolfgang Händler (Ed.): Computer Architecture, Workshop of the Gesellschaft für Informatik, Erlangen, May 22-23, 1995, Proceedings. Springer 1976, ISBN 3-540-07761-8
Contents

5

Erich J. Neuhold (Ed.): GI - 6. Jahrestagung, Stuttgart, 29. September - 1. Oktober 1976, Proceedings. Springer 1976, ISBN 3-540-07912-2
Contents

6

Bernd Schmidt: GPSS-FORTRAN, Version II: Einführung in die Simulation diskreter Systeme mit Hilfe eines FORTRAN-Programmpaketes. Informatik-Fachberichte Vol. 6 Springer 1977, ISBN 3-540-07956-4

7

Günther Schmidt (Ed.): Fachtagung Prozeßrechner 1977, GMR-GI-GFK, Augsburg, 7. und 8. März 1977, Proceedings. Springer 1977, ISBN 3-540-08123-2
Contents

8

Hans-Hellmut Nagel (Ed.): Digital Bildverarbeitung - Digital Image Processing, GI/NTG Fachtagung, München, 28.-30. März 1977. Springer 1977, ISBN 3-540-08169-0
Contents

9

Peter Paul Spies (Ed.): Modelle für Rechensysteme, Workshop der GI, Bonn, 31.3.-1.4.1977. Springer 1977, ISBN 3-540-08206-9
Contents

10

Hans Jürgen Schneider (Ed.): GI - 7. Jahrestagung, Nürnberg, 26.-28. September 1977, Proceedings. Springer 1977, ISBN 3-540-08425-8
Contents

11

Rupert Gnatz, Klaus Samelson (Eds.): Methoden der Informatik für Rechnerunterstütztes Entwerfen und Konstruieren, GI-Fachtagung, München, 19./21. Oktober 1977. Springer 1977, ISBN 3-540-08473-8
Contents

12

Klaus Alber (Ed.): Programmiersprachen, 5. Fachtagung der GI, Braunschweig, 8./9. März 1978, Proceedings. Springer 1978, ISBN 3-540-08680-3
Contents

13

Wilhelm Steinmüller, L. Ermer, W. Schimmel: Datenschutz bei riskanten Systemen: Eine Konzeption entwickelt am Beispiel eines medizinischen Informationssystems. Informatik-Fachberichte Vol. 13 Springer 1978, ISBN 3-540-08684-6

14

Wolffried Stucky, Elmar Holler (Eds.): Datenbanken in Rechnernetzen mit Kleinrechnern, GI-Fachtagung mit Unterstützung durch das German Chapter der ACM, 11./12. April 1978, Kernforschungszentrum Karlsruhe. Springer 1978, ISBN 3-540-08775-3
Contents

15

Dieter Wall (Ed.): Organisation von Rechenzentren, Fachgespräch der GI, Göttingen, 11./12. Oktober 1977, Proceedings. Springer 1978, ISBN 3-540-08878-4
Contents

16

Sigram Schindler, Wolfgang K. Giloi (Eds.): GI - 8. Jahrestagung, Berlin, 1978, Proceedings. Springer 1978, ISBN 3-540-09038-X
Contents

17

Ernst E. Triendl (Ed.): Bildverarbeitung und Mustererkennung, DAGM Symposium, Oberpfaffenhofen, 11.-13 Oktober 1978, Proceedings. Springer 1978, ISBN 3-540-09058-4
Contents

18

Hans-Jürgen Siegert (Ed.): Virtuelle Maschinen, Nachbildung und Vervielfachung maschinenorientierter Schnittstellen, GI-Arbeitsseminar, München 1979. Springer 1979, ISBN 3-540-09618-3
Contents

19

Karl-Heinz Böhling, Peter Paul Spies (Eds.): GI - 9. Jahrestagung, Bonn, 1.-5. Oktober 1979, Proceedings. Springer 1979, ISBN 3-540-09664-7
Contents

20

Jörgen P. Foith (Ed.): Angewandte Szenenanalyse, DAGM Symposium, Karlsruhe, 10.-12 Oktober 1979, Proceedings. Springer 1979, ISBN 3-540-09665-5
Contents

21

Heinrich C. Mayr, Bernd E. Meyer (Eds.): Formale Modelle für Informationssysteme, GI-Fachtagung, 24.-26. Mai 1979, Tutzing. Springer 1979, ISBN 3-540-09773-2
Contents

22

Sigram Schindler, Jürgen C. W. Schröder (Eds.): Kommunikation in Verteilten Systemen - Workshop der Gesellschaft für Informatik e.V., 3.-4. Dezember 1979, Berlin. Springer 1979, ISBN 3-540-09865-8
Contents

23

Karl-Heinz Hauer: Portable Methodenmonitoren: Dialogsysteme zur Steuerung von Methodenbanken, softwaretechnischer Aufbau und Effizienzanalyse. Informatik-Fachberichte Vol. 23 Springer 1980, ISBN 3-540-09876-3

24

Norbert Ryska, Siegfried Herda: Kryptographische Verfahren in der Datenverarbeitung. Informatik-Fachberichte Vol. 24 Springer 1980, ISBN 3-540-09900-X

25

Hans-Jürgen Hoffmann (Ed.): Programmiersprachen und Programmentwicklung, 6. Fachtagung des Fachausschusses Programmiersprachen der GI, Darmstadt, 11.-12. März 1980, Proceedings. Springer 1980, ISBN 3-540-09937-9
Contents

26

Franz Gaffal: Datenverarbeitung im Hochschulbereich der USA: Stand und Entwicklungstendenzen. Informatik-Fachberichte Vol. 26 Springer 1980, ISBN 3-540-09938-7

27

Gerhard Zimmermann (Ed.): GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen, Kiel, 19.-21. März 1980, Proceedings. Springer 1980, ISBN 3-540-09952-2
Contents

28

Peter Stahlknecht (Ed.): Online-Systeme im Finanz- und Rechnungswesen, Anwendergespräch, Berlin, 29.-30. April 1980, Gesellschaft für Informatik e.V. und Verband der Hochschullehrer für Betriebswirtschaft e.v. (WK Betriebsinformatik). Springer 1980, ISBN 3-540-10100-4
Contents

29

Siegfried J. Pöppl, H. Platzer (Eds.): Erzeugung und Analyse von Bildern und Strukturen, DGaO-DAGM Tagung, Essen, 27.-31. Mai 1980, Proceedings. Springer 1980, ISBN 3-540-10130-6
Contents

30

Peter R. Wossidlo (Ed.): Textverarbeitung und Informatik, Fachtagung der GI, Bayreuth, 28.-30. Mai 1980. Springer 1980, ISBN 3-540-10148-9
Contents

31

Wolfgang K. Giloi (Ed.): Firmware Engineering, Seminar veranstaltet von der gemeinsamen Fachgruppe "Mikroprogrammierung" des GI Fachausschusses 3/4 und des NTG-Fachausschusses 6 vom 12.-14. März 1980 in Berlin, Proceedings. Springer 1980, ISBN 3-540-10304-X
Contents

32

Michael Kühn: CAD und Arbeitssituation: Untersuchungen zu den Auswirkungen von CAD sowie zur menschengerechten Gestaltung von CAD-Systemen. Informatik-Fachberichte Vol. 32 Springer 1980, ISBN 3-540-10324-4

33

Reinhard Wilhelm (Ed.): GI - 10. Jahrestagung, Saarbrücken, 30. September - 2. Oktober 1980, Proceedings. Springer 1980, ISBN 3-540-10388-0
Contents

34

Reinhard Wilhelm (Ed.): CAD-Fachgespräch, GI - 10. Jahrestagung, Saarbrücken, 30. September - 2. Oktober 1980, Proceedings. Springer 1980, ISBN 3-540-10389-9
Contents

35

Bruno Buchberger, Franz Lichtenberger: Mathematik für Informatiker I: Die Methode der Mathematik. Informatik-Fachberichte Vol. 35 Springer 1980, ISBN 3-540-10417-8

36

Helmut K. Berg, Wolfgang K. Giloi (Eds.): The Use of Formal Specification of Software, June 25-27, 1979, Berlin. Springer 1980, ISBN 3-540-10442-9
Contents

37

Dieter Wall (Ed.): Entwicklungstendenzen wissenschaftlicher Rechenzentren, Kolloquium, Göttingen, 19.-20. June 1980. Springer 1980, ISBN 3-540-10491-7
Contents

38

Rainer Thome (Ed.): Datenverarbeitung im Marketing, Heidelberg, 9.-10. Oktober 1980. Springer 1981, ISBN 3-540-10555-7
Contents

39

R. Baumann (Ed.): Fachtagung Prozeßrechner 1981, GI, VDI/VDE-GMR, KfK, München, 10. und 11. März 1981, Proceedings. Springer 1981, ISBN 3-540-10617-0
Contents

40

Sigram Schindler, Jürgen C. W. Schröder (Eds.): Kommunikation in Verteilten Systemen - Fachtagung der GI, Berlin, 27.-30. Januar 1981, Proceedings. Springer 1981, ISBN 3-540-10618-9
Contents

41

B. Mertens (Ed.): Messung, Modellierung und Bewertung von Rechensystemen, GI/NTG-Fachtagung, Jülich, 23.-25. Februar 1981. Springer 1981, ISBN 3-540-10619-7
Contents

42

Wolfgang Kilian, Thomas Heissner, Brigitte Maschmann-Schulz: Personalinformationssysteme in deutschen Großunternehmen: Ausbaustand und Rechtsprobleme. Informatik-Fachberichte Vol. 42 Springer 1981, ISBN 3-540-10643-X

43

Gerhard Goos (Ed.): Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17. März 1981, Proceedings. Springer 1981, ISBN 3-540-10725-8
Contents

44

Herbert Fiedler, Klaus Grimmer, Klaus Lenk (Eds.): Organisation informationstechnik-gestützter öffentlicher Verwaltung, Fachtagung der GI und des Forschungsinstituts für öffentliche Verwaltung bei der Hochschule für Verwaltungswissenschaften Speyer, Speyer, 22.-24. Oktober 1980. Springer 1981, ISBN 3-540-10758-4
Contents

45

Rudolf Marty: PISA: A Programming System for Interactive Production of Application Software. Informatik-Fachberichte Vol. 45 Springer 1981, ISBN 3-540-10825-4

46

Franz Wolf (Ed.): Organisation und Betrieb von Rechenzentren, Fachgespräch der GI, Erlangen, 12./13. März 1981, Proceedings. Springer 1981, ISBN 3-540-10831-9
Contents

47

Jörg H. Siekmann (Ed.): GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, January 26-31, 1981, Proceedings. Springer 1981, ISBN 3-540-10859-9
Contents

48

Wolfgang Wahlster: Natürlichsprachliche Argumentation in Dialogsystemen: KI-Verfahren zur Rekonstruktion und Erklärung approximativer Inferenzprozesse. Informatik-Fachberichte Vol. 48 Springer 1981, ISBN 3-540-10873-4

49

Bernd Radig (Ed.): Modelle und Strukturen, DAGM Symposium, Hamburg, 6.-8. Oktober 1981, Proceedings. Springer 1981, ISBN 3-540-10876-9
Contents

50

Wilfried Brauer (Ed.): GI - 11. Jahrestagung in Verbindung mit Third Conference of the European Co-operation in Informatics (ECI), München, 20.-23. Oktober 1981, Proceedings. Springer 1981, ISBN 3-540-10884-X
Contents

51

Guido Pfeiffer: Erzeugung interaktiver Bildverarbeitungssysteme im Dialog: Konzepte, Entwurf und Implementierung eines Dialogsystems für die Bildverarbeitung in der Medizin. Informatik-Fachberichte Vol. 51 Springer 1982, ISBN 3-540-11181-6

52

Claude Girault, Wolfgang Reisig (Eds.): Application and Theory of Petri Nets, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, Stasbourg 23.-26. September 1980, Bad Honnef 28.-30. September 1981. Springer 1982, ISBN 3-540-11189-1
Contents

53

Hans Wössner (Ed.): Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet vom Fachausschuß 2 der GI, München, 9./10. März 1982, Proceedings. Springer 1982, ISBN 3-540-11204-9
Contents

54

Edgar Nett, Heinz Schwärtzel (Eds.): Fehlertolerierende Rechensysteme, GI-Fachtagung, München, 11.-12. März 1982, Proceedings. Springer 1982, ISBN 3-540-11209-X
Contents

55

Wolfgang Kowalk: Verkehrsanalyse in endlichen Zeiträumen: Grundlagen und Erweiterungen der operationalen Analyse. Informatik-Fachberichte Vol. 55 Springer 1982, ISBN 3-540-11561-7

56

Manuel Goller (Ed.): Simulationstechnik, 1. Symposium Simulationstechnik, Erlangen, 26.-28. April 1982, Proceedings. Springer 1982, ISBN 3-540-11605-2
Contents

57

Jürgen Nehmer (Ed.): GI - 12. Jahrestagung, Kaiserslautern, 5. -7. Oktober 1982, Proceedings. Springer 1982, ISBN 3-540-11609-5
Contents

58

Wolfgang Wahlster (Ed.): GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef, September 27 - October 1, 1982, Proceedings. Springer 1982, ISBN 3-540-11960-4
Contents

59

Wolfgang Bibel, Jörg H. Siekmann (Eds.): Künstliche Intelligenz, Frühjahrsschule, Teisendorf, 15.-24. März 1982. Springer 1982, ISBN 3-540-11974-4
Contents

60

Sigram Schindler, Otto Spaniol (Eds.): Kommunikation in Verteilten Systemen - Anwendungen und Betrieb, GI/ITG-Fachtagung, Berlin, 19-21 Januar 1983, Proceedings. Springer 1983, ISBN 3-540-11982-5
Contents

61

Paul J. Kühn, Klaus M. Schulz (Eds.): Messung, Modellierung und Bewertung von Rechensystemen, 2. GI/NTG-Fachtagung, Stuttgart, 21.-23. Februar 1983. Springer 1983, ISBN 3-540-11990-6
Contents

62

M. Malms: Ein inhaltsadressierbares Speichersystem zur Unterstützung zeitkritischer Prozesse der Informationswiedergewinnung in Datenbanksystemen. Informatik-Fachberichte Vol. 62 Springer 1983, ISBN 3-540-12006-8

63

Heinz Bender: Korrekte Zugriffe zu verteilten Daten. Informatik-Fachberichte Vol. 63 Springer 1983, ISBN 3-540-12282-6

64

Friedel Hossfeld: Parallele Algorithmen. Informatik-Fachberichte Vol. 64 Springer 1983, ISBN 3-540-12283-4

65

Horst Nowacki, Rupert Gnatz (Eds.): Geometrisches Modellieren, Fachtagung der GI und der Technischen Universität Berlin, Berlin, 24.-26. November 1982, Proceedings. Springer 1983, ISBN 3-540-12308-3
Contents

66

Anastasia Pagnoni, Grzegorz Rozenberg (Eds.): Applications and Theory of Petri Nets, Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, September 27-30, 1982. Springer 1983, ISBN 3-540-12309-1
Contents

67

Joachim Majus, Otto Spaniol (Eds.): Data Networks with Satellites, Working Conference of the joint GI/NTG working group "Computer Network", Cologne, September 20.-21., 1982. Springer 1983, ISBN 3-540-12311-3
Contents

68

B. Kutzler, Franz Lichtenberger: Bibliography on Abstract Data Types, Sponsored by the "Österr. Fonds zur Förderung der Wissenschaftlichen Forschung". Informatik-Fachberichte Vol. 68 Springer 1983, ISBN 3-540-12312-1

69

Martin A. Graef (Ed.): Betrieb von DV-Systemen in der Zukunft, 5. GI-Fachgespräch über Rechenzentren, Tübingen, 17.-18. März 1983, Proceedings. Springer 1983, ISBN 3-540-12315-6
Contents

70

W. E. Fischer: Datenbanksystem für CAD-Arbeitsplätze. Informatik-Fachberichte Vol. 70 Springer 1983, ISBN 3-540-12325-3

71

Walter Ameling (Ed.): First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings. Springer 1983, ISBN 3-540-12723-2
Contents

72

Joachim W. Schmidt (Ed.): Sprachen für Datenbanken, Fachgespräch auf der 13. GI-Jahrestagung, Hamburg 3.-7. Oktober 1983. Springer 1983, ISBN 3-540-12733-X
Contents

73

Ingbert Kupka (Ed.): GI - 13. Jahrestagung, Hamburg, 3.-7. Oktober 1983, Proceedings. Springer 1983, ISBN 3-540-12734-8
Contents

74

Günter Hommel, Dirk Krönig (Eds.): Requirements Engineering, Arbeitstagung der GI, Friedrichshafen, 12.-14. Oktober 1983. Springer 1983, ISBN 3-540-12692-9
Contents

75

Klaus R. Dittrich: Ein universelles Konzept zum flexiblen Informationsschutz in und mit Rechensystemen. Informatik-Fachberichte Vol. 75 Springer 1983, ISBN 3-540-12697-X

76

Bernd Neumann (Ed.): GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 19-23, 1983. Springer 1983, ISBN 3-540-12871-9
Contents

77

Urs Ammann (Ed.): Programmiersprachen und Programmentwicklung, 8. Fachtagung, veranstaltet vom Fachausschuß 2.1 der GI und der Schweizer Informatiker Gesellschaft, Zürich, 8./9. März 1984, Proceedings. Springer 1984, ISBN 3-540-12905-7
Contents

78

Horst D. Wettstein (Ed.): Architektur und Betrieb von Rechensystemen, 8. GI-NTG-Fachtagung, Karlsruhe, 26.-28. März 1984, Proceedings. Springer 1984, ISBN 3-540-12913-8
Contents

79

Werner Sammer, Werner Remmele (Eds.): Programierumgebungen: Entwicklungswerkzeuge und Programmiersprachen. Springer 1984, ISBN 3-540-12921-9
Contents

80

Roland Traunmüller, Herbert Fiedler, Klaus Grimmer, Heinrich Reinermann (Eds.): Neue Informationstechnologien und Verwaltung, Fachtagung, Linz, 14.-16. September 1983. Springer 1984, ISBN 3-540-12928-6
Contents

81

Rainer Kuhlen (Ed.): Koordination von Informationen: Die Bedeutung von Informations- und Kommunikationstechnologien in privaten und öffentlichen Verwaltungen, IX Verwaltungsseminar, Konstanz, 5.-7. Mai 1983. Springer 1984, ISBN 3-540-12929-4
Contents

82

Arndt Bode: Mikroarchitekturen und Mikroprogrammierung: Formale Beschreibung und Optimierung. Informatik-Fachberichte Vol. 82 Springer 1984, ISBN 3-540-13380-1

83

Fevzi Belli, Silvia Pfleger, Manfred H. Seifert (Eds.): Software-Fehlertoleranz und -Zuverlässigkeit. Springer 1984, ISBN 3-540-13383-6
Contents

84

Karl-Erwin Großpietsch, Mario Dal Cin (Eds.): Fehlertolerierende Rechensysteme, 2. GI/NTG/GMR-Fachtagung, Bonn, 19.-21. September 1984, Proceedings. Springer 1984, ISBN 3-540-13348-8
Contents

85

Felix Breitenecker, Wolfgang Kleinert (Eds.): Simulationstechnik, 2. Symposium Simulationstechnik, Wien, 25.-27. September 1984, Proceedings. Springer 1984, ISBN 3-540-13393-3
Contents

86

Heinz Trauboth, Andreas Jaeschke (Eds.): Prozeßrechner 1984, Prozeßdatenverarbeitung im Wandel, 4. GI/GMR/KfK-Fachtagung, Karlsruhe, 26.-28. September 1984, Proceedings. Springer 1984, ISBN 3-540-13858-7
Contents

87

Walter G. Kropatsch (Ed.): Mustererkennung 1984, DAGM/ÖAGM Symposium, Graz, 2.-4. Oktober 1984, Proceedings. Springer 1984, ISBN 3-540-13859-5
Contents

88

Hans-Dieter Ehrich (Ed.): GI - 14. Jahrestagung, Braunschweig, 2.-4. Oktober 1984, Proceedings. Springer 1984, ISBN 3-540-13861-7
Contents

89

Hans-Dieter Ehrich (Ed.): Fachgespräche auf der 14. GI-Jahrestagung, Braunschweig, 1.-2. Oktober 1984, Proceedings. Springer 1984, ISBN 3-540-13862-5
Contents

90

Wolfgang Arlt, Klaus Haefner (Eds.): Informatik als Herausforderung an Schule und Ausbildung, GI-Fachtagung Berlin, 8.-10. Oktober 1984. Springer 1984, ISBN 3-540-13869-2
Contents

91

Herbert Stoyan: Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation. Informatik-Fachberichte Vol. 91 Springer 1984, ISBN 3-540-13895-1

92

Fritz Krückeberg, Sigram Schindler, Otto Spaniol (Eds.): Offene Multifunktionale Büroarbeitsplätze und Bildschirmtext, Berlin, 25.-29. Juni 1984, Proceedings. Springer 1985, ISBN 3-540-15186-9
Contents

93

Christopher Habel (Ed.): Küstliche Intelligenz, Repräsentation von Wissen und natürlichsprachliche Systeme, Frühjahrsschule, Dassel (Solling), 5.-16. März 1984. Springer 1985, ISBN 3-540-15190-7
Contents

94

Albrecht Blaser, Peter Pistor (Eds.): Datenbanksysteme für Büro, Technik und Wissenschaft, GI-Fachtagung, Karlsruhe, 20.-22. März 1985, Proceedings. Springer 1985, ISBN 3-540-15196-6
Contents

95

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

96

Werner Dirlewanger (Ed.): Organisation und Betrieb der Informationsverarbeitung, 6. GI-Fachgespräch über Rechenzentren, Kassel, 21./22. März 1985, Proceedings. Springer 1985, ISBN 3-540-15207-5
Contents

97

Heidemarie Willmer: Systematische Software-Qualitätssicherung anhand von Qualitäts- und Produktmodellen. Informatik-Fachberichte Vol. 97 Springer 1985, ISBN 3-540-15220-2

98

Heinrich Reinermann, Herbert Fiedler, Klaus Grimmer, Klaus Lenk, Roland Traunmüller (Eds.): Öffentliche Verwaltung und Informationstechnik: Neue Möglichkeiten, neue Probleme, neue Perspektiven, Fachtagung, Speyer, 26.-28. September 1984. Springer 1985, ISBN 3-540-15224-5
Contents

99

Klaus Küspert: Fehlererkennung und Fehlerbehandlung in Speicherungsstrukturen von Datenbanksystemen. Informatik-Fachberichte Vol. 99 Springer 1985, ISBN 3-540-15238-5