Reinhard Wilhelm (Ed.):
GI - 10. Jahrestagung, Saarbrücken, 30. September - 2. Oktober 1980, Proceedings.
Informatik-Fachberichte 33 Springer 1980, ISBN 3-540-10388-0 
@proceedings{DBLP:conf/gi/1980,
editor = {Reinhard Wilhelm},
title = {GI - 10. Jahrestagung, Saarbr{\"u}cken, 30. September - 2. Oktober
1980, Proceedings},
booktitle = {GI Jahrestagung},
publisher = {Springer},
series = {Informatik-Fachberichte},
volume = {33},
year = {1980},
isbn = {3-540-10388-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Hauptvorträge
Software-Entwicklung,
Software-Pflege
Datenbanken / Data Base Systems
Schutzmechanismen in Rechensystemen / Protection Mechanisms in Computing Systems
Neuere Tendenzen in the theoretischen Informatik und ihre Auswirkungen auf die Praxis / New Tendencies in Theoretical Computer Science and their Impact on Practical Problems
Künstliche Intelligenz / Artificial Intelligence
- Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, E. Unvericht, Christoph Walther:
Das Karlsruher Beweissystem.
400-412
- Wolfram-Manfred Lippe, Franz Wagner:
Ein Entwurf zur maschinellen Unterstützung von Korrekheitsbeweisen bei Simulationen.
413-427
- Graham Wrightson:
On the Treatment of Equivalence Connectives in Automated Theorem Proving.
428
- Dominique Pastre:
Knowledge-Based Theorem Proving.
429
- Jacek Leszczylowski:
Edingburgh LCF Supporting FP Systems.
430
- H. Eigemeier, Christoph Knabe, Peter Raulefs, K. Tramer:
An Expert System for Automatic Codeing of Abstract Data Type Specifications.
431-441
- Eric Papon:
Inducing Non-Trivial Programs from Examples.
442-456
- Georg Winterstein, Manfred Dausmann, Guido Persch:
A Method for Describing Concurrent Problems Based on Logic.
457
- Heinz Dieter Maas:
Das Saarbrücker Übersetzungssystem SUSY.
458
- Anthony Jameson, Wolfgang Hoeppner, Wolfgang Wahlster:
The Natural Language System HAM-RPM as a Hotel Manager: Some Representational Prerequisites.
459-473
- J.-H. Jayez, P. Levasseur, M. Liscouet:
A Natural Language Processing Model.
474
Betriebliche Anwendungen der Datenverarbeitung / Business Applications of Electronic Data Processing
- Joachim Griese:
Computergestützte Informationssysteme in der Materialwirtschaft.
475
- Peter Stahlknecht:
Online-Systeme im Finanz- und Rechnungswesen.
476-502
- Dietrich Seibt, Wilhelm Mülder:
Rechnergestützte Informations- und Dispositionssysteme für den Personalbereich.
503
- Klaus Wenke:
Verteilte Datenverarbeitung und Bildschirmtext.
504-513
- D. Schmidtmann:
5 Jahre BRIDGE - Erfahrungen mit dem Vertriebsinformationssystem der IBM Deutschland GmbH.
514-534
Kurzvortragssitzungen
- G. Müller, L. Dumke:
Entwicklung und Benutzung interaktiver Anwendungssyteme mit Hilfe von Methoden- und Datenbanksystemen.
536
- Jürgen C. W. Schröder:
Stand der Entwicklung von Bildschirmtext.
537
- H. Werner:
Der Thesaurus als Datenbank.
538
- Michael Eulenstein:
Ein Verfahren zur Aufnahme medizinischer Diagnosen in eine Datenbank.
539
- M. A. Ertel:
Einsatz von Hilfsmitteln der Netzplantechnik zur Planung und Steuerung des zeitlichen Ablaufes von Software-Projekten.
540
- Michael Payer:
Systematischer Entwurf von Makroprozessoren.
541
- Klaus-Jürgen Engelberg:
Plädoyer für den Datentyp Tree.
542
- Andreas Meier:
Flächenbezogene Datenstrukturen.
543
- Horst Kosanke:
Interpretation sprachorientierter Instruktionscodes in einem Timesharingsystem.
544
- N. Bauchrowitz, F. Simon:
Lambda-Kalkül Schemata als Kontrollstrukturen für LISP-Programme.
545
- Eike Hagen Riedemann:
The Control of Parallel Computations by Labeled Petri Nets: A Study in terms of Multiple-Firing Automata and Parallel Program Schemata.
546
- Horst Niggemann:
Automatisierte Parallelisierung von Programmen.
547
- Eberhard Wegner:
Semantik-Definition der Prozeß-Programmiersprache PEARL.
548
- Peter Göhner:
Umwandlung von EPOS-Spezifikationen in Petri-Netze.
549
- Wilhelm K. Hackmann, Ekkart Rudolph, Hans Seidl:
Entwurfstechnologie auf der Grundlage von Petri-Netzen.
550
- Wilhelm K. Hackmann, Peter Theobald:
Modellieren und Simulieren mit dem Blockorientierten Interaktiven Simulationssystem BORIS.
551
- Bernd Meister:
Bedinungssyteme mit Unterbrechungen.
552
- J. Reyes, G. Roehmer:
Entwurf und Implementierung einer Systemumgebung für zeitdiskrete Simulation in PASCAL: PASIM.
553-554
- Hans-Josef Jeanrond, M. R. King, N. H. Shelness:
A Segment-Flow Model of Distributed Computing.
555
- Hans-H. Meyer, Werner Tesch:
Statistische Analyse des Echtzeitverhaltens von Softwaresystemen im DARTS-Entwicklungssystem.
556
- Monika Blum, Jürgen Höhne:
Lokalitätsverhalten bei der Pufferung von Magnetplatten-Zugriffen.
557
- J. Riedel:
Rechnersimulation und Leistungsmessung im Rahmen der Kapazitätsplanung von Rechnenzentren.
558
- Reiner W. Hartenstein, Peter Liell:
Ein Compiler für die Register Transfer-Sprache KARL-2.
559
- G. Stamon, Bertrand Zavidovique:
Some Problems in Parallel Image Processor Design.
560
- Ipke Wachsmuth:
Netze mit zeitvarianten Komponentenverzögerungen.
561
- Claudio Moraga:
Induktive Inferenz und mehrwertige Logik.
562
- Raymond Schneider:
Deadlock Prediction Using Petri Nets.
563
Copyright © Fri Mar 12 17:11:52 2010
by Michael Ley (ley@uni-trier.de)
