Reinhard Wilhelm (Ed.):
GI - 10. Jahrestagung, Saarbrücken, 30. September - 2. Oktober 1980, Proceedings.
Informatik-Fachberichte 33 Springer 1980, ISBN 3-540-10388-0 Hauptvorträge
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Joseph Weizenbaum :
Die Rezeption des Buches "Die Macht der Computer und die Ohnmacht der Vernunft".
65
Software-Entwicklung, Software-Pflege
export record as
dblp key:
Knut Ripken :
Application of Meta-Compilation Methods in the Ada Test Translator Development.
66-77
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Wolfgang Hesse :
Das Projektmodell - Eine Grundlage für die Ingenieurmäßige Software-Entwicklung.
107-122
export record as
dblp key:
export record as
dblp key:
Horst Biller :
Ein Einführung der Strukturierten-Software-Dekompositions-Methode bei GOLEM.
139-149
export record as
dblp key:
Hubert Österle :
Eine Methode zum Entwurf betrieblicher Informationssyteme.
150-165
Datenbanken / Data Base Systems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Hermann Bense :
Modularer Datenbank Entwurf für Kleinrechner.
225-242
export record as
dblp key:
export record as
dblp key:
Patrick Bosc :
An Interface to Interrogate Heterogeneous Distributed Databases.
258
export record as
dblp key:
Peter Dadam :
Rekonstruktion eines global-konsistenten Zustandes in verteilten Datenbank-Systemen.
259
export record as
dblp key:
Schutzmechanismen in Rechensystemen / Protection Mechanisms in Computing Systems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
W. Ballin :
Subjektorientierte Zugriffsautorisierung.
304
export record as
dblp key:
Neuere Tendenzen in the theoretischen Informatik und ihre Auswirkungen auf die Praxis / New Tendencies in Theoretical Computer Science and their Impact on Practical Problems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Bernd Schmidt :
Platz- und zeiteffiziente Realisierung des Laufzeitkellers bei blockstrukturierten Programmiersprachen.
336-348
export record as
dblp key:
Stefan Reisch :
Ein Sortierverfahren für Registermaschinen (Zusammenfassung).
349
export record as
dblp key:
export record as
dblp key:
Hagen Huwig :
Das P=NP-Problem in der Kategorie der partiellen Ordnungen mit 2-stelligen Suprema.
351-364
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Künstliche Intelligenz / Artificial Intelligence
export record as
dblp key:
export record as
dblp key:
Graham Wrightson :
On the Treatment of Equivalence Connectives in Automated Theorem Proving.
428
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Eric Papon :
Inducing Non-Trivial Programs from Examples.
442-456
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Betriebliche Anwendungen der Datenverarbeitung / Business Applications of Electronic Data Processing
export record as
dblp key:
Joachim Griese :
Computergestützte Informationssysteme in der Materialwirtschaft.
475
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Klaus Wenke :
Verteilte Datenverarbeitung und Bildschirmtext.
504-513
export record as
dblp key:
D. Schmidtmann :
5 Jahre BRIDGE - Erfahrungen mit dem Vertriebsinformationssystem der IBM Deutschland GmbH.
514-534
Kurzvortragssitzungen
export record as
dblp key:
G. Müller ,
L. Dumke :
Entwicklung und Benutzung interaktiver Anwendungssyteme mit Hilfe von Methoden- und Datenbanksystemen.
536
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Michael Eulenstein :
Ein Verfahren zur Aufnahme medizinischer Diagnosen in eine Datenbank.
539
export record as
dblp key:
M. A. Ertel :
Einsatz von Hilfsmitteln der Netzplantechnik zur Planung und Steuerung des zeitlichen Ablaufes von Software-Projekten.
540
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Horst Kosanke :
Interpretation sprachorientierter Instruktionscodes in einem Timesharingsystem.
544
export record as
dblp key:
export record as
dblp key:
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
export record as
dblp key:
export record as
dblp key:
Eberhard Wegner :
Semantik-Definition der Prozeß-Programmiersprache PEARL.
548
export record as
dblp key:
Peter Göhner :
Umwandlung von EPOS-Spezifikationen in Petri-Netze.
549
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
J. Reyes ,
G. Roehmer :
Entwurf und Implementierung einer Systemumgebung für zeitdiskrete Simulation in PASCAL: PASIM.
553-554
export record as
dblp key:
export record as
dblp key:
Hans-H. Meyer ,
Werner Tesch :
Statistische Analyse des Echtzeitverhaltens von Softwaresystemen im DARTS-Entwicklungssystem.
556
export record as
dblp key:
export record as
dblp key:
J. Riedel :
Rechnersimulation und Leistungsmessung im Rahmen der Kapazitätsplanung von Rechnenzentren.
558
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
