Search dblp for Publications

export results for "toc:db/conf/gi/gi81.bht:"

 download as .bib file

@inproceedings{DBLP:conf/gi/Ackermann81,
  author       = {Karl{-}Friedrich Ackermann},
  editor       = {Wilfried Brauer},
  title        = {Computergest{\"{u}}tzte Motivations- und Zufriedenheitsforschung
                  als Instrument der betrieblichen Personalpolitik},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {527--541},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_52},
  doi          = {10.1007/978-3-662-01089-1\_52},
  timestamp    = {Tue, 23 May 2017 01:10:33 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Ackermann81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/AstesianoZ81,
  author       = {Egidio Astesiano and
                  Elena Zucca},
  editor       = {Wilfried Brauer},
  title        = {Semantics of Distributed Processes Derived by Translation},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {78--87},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_10},
  doi          = {10.1007/978-3-662-01089-1\_10},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/AstesianoZ81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/BahlkeDL81,
  author       = {Rolf Bahlke and
                  Manfred Daniel and
                  Thomas Letschert},
  editor       = {Wilfried Brauer},
  title        = {Semantikdefinition im Rahmen eines Programmiersystemgenerators},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {49--56},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_6},
  doi          = {10.1007/978-3-662-01089-1\_6},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/BahlkeDL81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Balzert81,
  author       = {Helmut Balzert},
  editor       = {Wilfried Brauer},
  title        = {Quantitative Ans{\"{a}}tze zur Bestimmung der Komplexit{\"{a}}t
                  von Software-Systemen},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {170--190},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_18},
  doi          = {10.1007/978-3-662-01089-1\_18},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Balzert81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/BehrS81,
  author       = {M. Behr and
                  B. Sperling},
  editor       = {Wilfried Brauer},
  title        = {Integriertes Personalinformationssystem der Siemens {AG}},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {516--526},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_51},
  doi          = {10.1007/978-3-662-01089-1\_51},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/BehrS81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/BergstraT81,
  author       = {Jan A. Bergstra and
                  J. Terlouw},
  editor       = {Wilfried Brauer},
  title        = {A Characterization of Program Equivalence in Terms of Hoare's Logic},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {72--77},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_9},
  doi          = {10.1007/978-3-662-01089-1\_9},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/BergstraT81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/BroyDMW81,
  author       = {Manfred Broy and
                  Walter Dosch and
                  Bernhard M{\"{o}}ller and
                  Martin Wirsing},
  editor       = {Wilfried Brauer},
  title        = {GOTOs - {A} Study in the Algebraic Specification of Programming Languages
                  (Extended Abstract)},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {109--121},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_13},
  doi          = {10.1007/978-3-662-01089-1\_13},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/BroyDMW81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Budde81,
  author       = {Reinhard Budde},
  editor       = {Wilfried Brauer},
  title        = {Einige Bemerkungen zum Verst{\"{a}}ndnis nebenl{\"{a}}figer
                  Prozesse und Systeme},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {448--459},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_44},
  doi          = {10.1007/978-3-662-01089-1\_44},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Budde81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Buse81,
  author       = {Dierk Buse},
  editor       = {Wilfried Brauer},
  title        = {Erste Erfahrungen mit Informatik als Abiturpr{\"{u}}fungsfach
                  in Niedersachsen},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {385--389},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_36},
  doi          = {10.1007/978-3-662-01089-1\_36},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Buse81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Chin81,
  author       = {Mario Dal Cin},
  editor       = {Wilfried Brauer},
  title        = {Self-Diagnosis for Parallel Computers},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {285--292},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_26},
  doi          = {10.1007/978-3-662-01089-1\_26},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Chin81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Dittrich81,
  author       = {Klaus R. Dittrich},
  editor       = {Wilfried Brauer},
  title        = {Schutz, Sicherung und Sicherheit: Versuch einer Begriffskl{\"{a}}rung
                  aus der Sicht der Informatik},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {337--350},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_31},
  doi          = {10.1007/978-3-662-01089-1\_31},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Dittrich81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Dittrich81a,
  author       = {Ernestina Dittrich},
  editor       = {Wilfried Brauer},
  title        = {Projektbezogenes Arbeiten in einem Grundkurs Informatik},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {359--367},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_33},
  doi          = {10.1007/978-3-662-01089-1\_33},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Dittrich81a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/EhrigF81,
  author       = {Hartmut Ehrig and
                  Werner Fey},
  editor       = {Wilfried Brauer},
  title        = {Methodology for the Specification of Software Systems: From Formal
                  Requirements to Algebraic Design Specifications},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {255--269},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_24},
  doi          = {10.1007/978-3-662-01089-1\_24},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/EhrigF81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/FetschGV81,
  author       = {F. Fetsch and
                  Lothar Gmeiner and
                  Udo Voges},
  editor       = {Wilfried Brauer},
  title        = {Entwurf eines hochzuverl{\"{a}}ssigen redundanten Mikrorechnernetzes},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {317--326},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_29},
  doi          = {10.1007/978-3-662-01089-1\_29},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/FetschGV81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Fischer81,
  author       = {Gerhard Fischer},
  editor       = {Wilfried Brauer},
  title        = {Computer als konviviale Werkzeuge},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {409--416},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_39},
  doi          = {10.1007/978-3-662-01089-1\_39},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Fischer81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Ganzinger81,
  author       = {Harald Ganzinger},
  editor       = {Wilfried Brauer},
  title        = {Description of Parameterized Compiler Modules},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {11--19},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_2},
  doi          = {10.1007/978-3-662-01089-1\_2},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Ganzinger81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Ganzinger81a,
  author       = {Harald Ganzinger},
  editor       = {Wilfried Brauer},
  title        = {Programs as Transformations of Algebraic Theories (Extended Abstract)},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {32--40},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_4},
  doi          = {10.1007/978-3-662-01089-1\_4},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Ganzinger81a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/GiegerichM81,
  author       = {Robert Giegerich and
                  Ulrich M{\"{o}}ncke and
                  Reinhard Wilhelm},
  editor       = {Wilfried Brauer},
  title        = {Invariance of Approximate Semantics with Respect to Program Transformations},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {1--10},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_1},
  doi          = {10.1007/978-3-662-01089-1\_1},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/GiegerichM81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/HornBT81,
  author       = {Werner Horn and
                  Walter Buchstaller and
                  Robert Trappl},
  editor       = {Wilfried Brauer},
  title        = {Struktur der Wissensbasis f{\"{u}}r ein AI-System zur Unterst{\"{u}}tzung
                  {\"{a}}rztlicher diagnostischer und therapeutischer Entscheidungen},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {606--613},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_60},
  doi          = {10.1007/978-3-662-01089-1\_60},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/HornBT81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Hruschka81,
  author       = {Peter Hruschka},
  editor       = {Wilfried Brauer},
  title        = {Ein Projektmodell und Werkzeuge zu dessen Unterst{\"{u}}tzung},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {433--439},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_42},
  doi          = {10.1007/978-3-662-01089-1\_42},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Hruschka81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/JochumW81,
  author       = {Friedbert Jochum and
                  D. Winter},
  editor       = {Wilfried Brauer},
  title        = {{ISAC} - eine Analyse- und Entwurfsmethode f{\"{u}}r komplexe
                  Softwaresysteme},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {201--215},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_20},
  doi          = {10.1007/978-3-662-01089-1\_20},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/JochumW81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/KarsztKLS81,
  author       = {Jakob Karszt and
                  R. Krieger and
                  Georg Lausen and
                  Wolffried Stucky},
  editor       = {Wilfried Brauer},
  title        = {Designing the Conceptual Database Schema - {A} Framework for an Interactive
                  Approach},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {216--226},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_21},
  doi          = {10.1007/978-3-662-01089-1\_21},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/KarsztKLS81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Keil81,
  author       = {Karl{-}August Keil},
  editor       = {Wilfried Brauer},
  title        = {Computer an der Schule im Wandel},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {351--358},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_32},
  doi          = {10.1007/978-3-662-01089-1\_32},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Keil81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Keutgen81,
  author       = {Hans Keutgen},
  editor       = {Wilfried Brauer},
  title        = {Eine Metrik zur Bewertung der Modularisierung},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {191--199},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_19},
  doi          = {10.1007/978-3-662-01089-1\_19},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Keutgen81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Klingen81,
  author       = {Leo H. Klingen},
  editor       = {Wilfried Brauer},
  title        = {Auswertung naturwissenschaftlicher Me{\ss}reihen und sozialwissenschaftlicher
                  Erhebungen mit Computerunterst{\"{u}}tzung},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {425--432},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_41},
  doi          = {10.1007/978-3-662-01089-1\_41},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Klingen81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Kolm81,
  author       = {Paul Kolm},
  editor       = {Wilfried Brauer},
  title        = {Personalinformationssysteme und Gewerkschaftspolitik},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {542--548},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_53},
  doi          = {10.1007/978-3-662-01089-1\_53},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Kolm81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Konakovsky81,
  author       = {R. Konakovsky},
  editor       = {Wilfried Brauer},
  title        = {Verfahren zur Erkennung von Einfach- und Doppel-Ausf{\"{a}}llen
                  in einem zweikanaligen Schaltkreisssystem},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {293--306},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_27},
  doi          = {10.1007/978-3-662-01089-1\_27},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Konakovsky81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/KramerS81,
  author       = {Bernd J. Kr{\"{a}}mer and
                  Heinz W. Schmidt},
  editor       = {Wilfried Brauer},
  title        = {Der Entwurf nebenl{\"{a}}figer Systeme mit Handlungs-Entscheidungs-Netzen},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {460--471},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_45},
  doi          = {10.1007/978-3-662-01089-1\_45},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/KramerS81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Kretschmer81,
  author       = {Bernd Kretschmer},
  editor       = {Wilfried Brauer},
  title        = {Berufsqualifizierender Datenverarbeitungsunterricht},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {390--398},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_37},
  doi          = {10.1007/978-3-662-01089-1\_37},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Kretschmer81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Kroger81,
  author       = {Henner Kr{\"{o}}ger},
  editor       = {Wilfried Brauer},
  title        = {Static-Scope-Lisp: Zerlegung eines Interpretierers in {\"{U}}bersetzer
                  und Laufzeitsystem},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {20--31},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_3},
  doi          = {10.1007/978-3-662-01089-1\_3},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Kroger81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/LauberJ81,
  author       = {Rudolf Lauber and
                  Silvije Jovalekic},
  editor       = {Wilfried Brauer},
  title        = {Wie formal soll und darf die Beschreibung des Pflichtenheftes f{\"{u}}r
                  ein Proze{\ss}automatisierungsssystem sein?},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {482--490},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_47},
  doi          = {10.1007/978-3-662-01089-1\_47},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/LauberJ81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Loeckx81,
  author       = {Jacques Loeckx},
  editor       = {Wilfried Brauer},
  title        = {Implementations of Abstract Data Types and Their Verifaction},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {96--108},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_12},
  doi          = {10.1007/978-3-662-01089-1\_12},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Loeckx81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Loff81,
  author       = {J. Loff},
  editor       = {Wilfried Brauer},
  title        = {Lernziele im Informatik-Datenverarbeitungs-Organisationslehre-Unterricht
                  kaufm{\"{a}}nnischer Schulen},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {399--408},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_38},
  doi          = {10.1007/978-3-662-01089-1\_38},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Loff81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/MaehleH81,
  author       = {Erik Maehle and
                  Shi{-}Cheng Hu},
  editor       = {Wilfried Brauer},
  title        = {Ein Baukastenkonzept f{\"{u}}r fehlertolerante Multi-Mikroprozessorsysteme},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {307--316},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_28},
  doi          = {10.1007/978-3-662-01089-1\_28},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/MaehleH81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/MahrS81,
  author       = {Bernd Mahr and
                  Dirk Siefkes},
  editor       = {Wilfried Brauer},
  title        = {Relating Uniform and Nonuniform Models of Computation},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {41--48},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_5},
  doi          = {10.1007/978-3-662-01089-1\_5},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/MahrS81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Martin81,
  author       = {Tomas Martin},
  editor       = {Wilfried Brauer},
  title        = {Anforderungen an die Software zur Gestaltung humaner Arbeitspl{\"{a}}tze
                  in computergesteuerten Fertigungsprozessen},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {472--481},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_46},
  doi          = {10.1007/978-3-662-01089-1\_46},
  timestamp    = {Tue, 13 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Martin81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/MegenB81,
  author       = {Rudolf van Megen and
                  Heinz Bons},
  editor       = {Wilfried Brauer},
  title        = {Ermittlung und Verwendung quantitativer Angaben zur Bewertung der
                  Qualit{\"{a}}t von Software-Produkten},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {144--159},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_16},
  doi          = {10.1007/978-3-662-01089-1\_16},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/MegenB81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Mertin81,
  author       = {Carl{-}Otto Mertin},
  editor       = {Wilfried Brauer},
  title        = {Entwurfs- und Entwicklungswerkzeuge f{\"{u}}r rechnergest{\"{u}}tze
                  Informationsssysteme},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {227--241},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_22},
  doi          = {10.1007/978-3-662-01089-1\_22},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Mertin81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/MohrSRR81,
  author       = {Jochen R. M{\"{o}}hr and
                  Hans{-}J{\"{u}}rgen Seelos and
                  W. Raufmann and
                  Martin Rothemund},
  editor       = {Wilfried Brauer},
  title        = {Probleme der Standardisierung medizinischer Daten am Beispiel der
                  Erstellung einer standardisierten Symptomanamnese},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {580--589},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_57},
  doi          = {10.1007/978-3-662-01089-1\_57},
  timestamp    = {Tue, 30 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/MohrSRR81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Olderog81,
  author       = {Ernst{-}R{\"{u}}diger Olderog},
  editor       = {Wilfried Brauer},
  title        = {Hoare-Style Proof Systems and Formal Computations},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {65--71},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_8},
  doi          = {10.1007/978-3-662-01089-1\_8},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Olderog81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Ortner81,
  author       = {Erich Ortner},
  editor       = {Wilfried Brauer},
  title        = {Durch Pr{\"{a}}dikation zu Objekttypen},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {270--284},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_25},
  doi          = {10.1007/978-3-662-01089-1\_25},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Ortner81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Pils81,
  author       = {Manfred Pils},
  editor       = {Wilfried Brauer},
  title        = {Kontextverluste in computergest{\"{u}}tzten Personalinformationssystemen},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {491--499},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_48},
  doi          = {10.1007/978-3-662-01089-1\_48},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Pils81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Poigne81,
  author       = {Axel Poign{\'{e}}},
  editor       = {Wilfried Brauer},
  title        = {An Order Semantics for Non-Deterministic Recursive Program Schemes},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {122--129},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_14},
  doi          = {10.1007/978-3-662-01089-1\_14},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Poigne81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Reichel81,
  author       = {R. Reichel},
  editor       = {Wilfried Brauer},
  title        = {Erfahrungen {\"{u}}ber die Implementierung eines Konnzeptes f{\"{u}}r
                  ein Personalinformationssystem {(PERSIS)} im Bereiche des {\"{o}}sterr.
                  Bundesheeres},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {500--504},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_49},
  doi          = {10.1007/978-3-662-01089-1\_49},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Reichel81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Reichertz81,
  author       = {Peter L. Reichertz},
  editor       = {Wilfried Brauer},
  title        = {Wesen und Probleme der Urteilsfindung in der Medizin},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {549--556},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_54},
  doi          = {10.1007/978-3-662-01089-1\_54},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Reichertz81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Reusch81,
  author       = {Peter J. A. Reusch},
  editor       = {Wilfried Brauer},
  title        = {Das Data Dictionary: Ein universelles Werkzeug beim Aufbau und Einsatz
                  von Informationssssystemen},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {242--254},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_23},
  doi          = {10.1007/978-3-662-01089-1\_23},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Reusch81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/RonckenGR81,
  author       = {Marly Roncken and
                  Rob Gerth and
                  Willem P. de Roever},
  editor       = {Wilfried Brauer},
  title        = {A Proof System for Brinch Hansen's Distributed Processes},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {88--95},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_11},
  doi          = {10.1007/978-3-662-01089-1\_11},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/RonckenGR81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/SatorVNK81,
  author       = {Harald Sator and
                  Wolfgang Vogt and
                  Dorothea Nagel and
                  Maximilian Knedel},
  editor       = {Wilfried Brauer},
  title        = {Mustererkennung und -wiedererkennung am Beispiel der biochemischen
                  Schilddr{\"{u}}sendiagnostik},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {614--617},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_61},
  doi          = {10.1007/978-3-662-01089-1\_61},
  timestamp    = {Thu, 16 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/SatorVNK81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Schlorer81,
  author       = {Jan Schl{\"{o}}rer},
  editor       = {Wilfried Brauer},
  title        = {Sicherung statistischer Datenbanken: Output von Intervallen},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {327--336},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_30},
  doi          = {10.1007/978-3-662-01089-1\_30},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Schlorer81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/SchmidtS81,
  author       = {A. Schmidt and
                  Bernd Schmidt},
  editor       = {Wilfried Brauer},
  title        = {Modelluntersuchungen zum Fl{\"{u}}sigkeitshaushalt des menschlichen
                  K{\"{o}}rpers},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {590--597},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_58},
  doi          = {10.1007/978-3-662-01089-1\_58},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/SchmidtS81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/SchmidtV81,
  author       = {Uwe Schmidt and
                  Reinhard V{\"{o}}ller},
  editor       = {Wilfried Brauer},
  title        = {Die formale Entwicklung der maschinenunabh{\"{a}}ngigen Zwischensprache
                  {CAT}},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {57--64},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_7},
  doi          = {10.1007/978-3-662-01089-1\_7},
  timestamp    = {Wed, 19 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/SchmidtV81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Schulz81,
  author       = {A. Schulz},
  editor       = {Wilfried Brauer},
  title        = {Der Einflu{\ss} von Strukturierungsmethoden der Anwendungsprogrammierung
                  aud die Durchlaufzeit von Programmen},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {160--169},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_17},
  doi          = {10.1007/978-3-662-01089-1\_17},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Schulz81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Sonnenberg81,
  author       = {Walter Sonnenberg},
  editor       = {Wilfried Brauer},
  title        = {Erfahrungen beim softwareorientierten Entwurf eines portablen Betriebsleitsystems
                  des {\"{o}}ffentlichen Personennahverkehrs},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {440--447},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_43},
  doi          = {10.1007/978-3-662-01089-1\_43},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Sonnenberg81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Spengler81,
  author       = {Mario Spengler},
  editor       = {Wilfried Brauer},
  title        = {Zum Beginn des Rechnereinsatzes im Informatikunterricht},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {377--384},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_35},
  doi          = {10.1007/978-3-662-01089-1\_35},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Spengler81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Tusch81,
  author       = {G{\"{u}}nter Tusch},
  editor       = {Wilfried Brauer},
  title        = {Ein Fuzzy Algorithmus zur diagnostischen Klassifizierung in der cranialen
                  Computer-Tomographie {(CCT)}},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {598--605},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_59},
  doi          = {10.1007/978-3-662-01089-1\_59},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Tusch81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Ulmer81,
  author       = {K. Ulmer},
  editor       = {Wilfried Brauer},
  title        = {Erfahrungen bei Konzeption, Entwicklung und Einf{\"{u}}hrung
                  des Personalinformations-Systems der {IBM} Deutschland},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {505--515},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_50},
  doi          = {10.1007/978-3-662-01089-1\_50},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Ulmer81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Victor81,
  author       = {Norbert Victor},
  editor       = {Wilfried Brauer},
  title        = {Probleme des Einsatzes entscheidungstheoretischer Methoden in der
                  medizinischen Diagnostik},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {557--567},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_55},
  doi          = {10.1007/978-3-662-01089-1\_55},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Victor81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Voges81,
  author       = {Udo Voges},
  editor       = {Wilfried Brauer},
  title        = {Quantifizierung der Qualit{\"{a}}t von Software},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {131--143},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_15},
  doi          = {10.1007/978-3-662-01089-1\_15},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Voges81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Wabel-Frenk81,
  author       = {Ulrike Wabel{-}Frenk},
  editor       = {Wilfried Brauer},
  title        = {Informatik im zweiten Bildungsweg - Erfahrungen mit einem Informatikkurs
                  am Abendgymnasium},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {368--376},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_34},
  doi          = {10.1007/978-3-662-01089-1\_34},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Wabel-Frenk81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Wagner81,
  author       = {Kurt Wagner},
  editor       = {Wilfried Brauer},
  title        = {Der Bildschirmcomputer im Physikunterricht},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {417--424},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_40},
  doi          = {10.1007/978-3-662-01089-1\_40},
  timestamp    = {Tue, 23 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Wagner81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Wahlster81,
  author       = {Wolfgang Wahlster},
  editor       = {Wilfried Brauer},
  title        = {KI-Verfahren zur Unterst{\"{u}}tzung der {\"{a}}rztlichen
                  Urteilsbildung},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {568--579},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_56},
  doi          = {10.1007/978-3-662-01089-1\_56},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Wahlster81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gi/1981,
  editor       = {Wilfried Brauer},
  title        = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1},
  doi          = {10.1007/978-3-662-01089-1},
  isbn         = {3-540-10884-X},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/1981.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics