Reinhard Wilhelm (Ed.):
GI - 10. Jahrestagung, Saarbrücken, 30. September - 2. Oktober 1980, Proceedings.
Informatik-Fachberichte 33 Springer 1980, ISBN 3-540-10388-0 BibTeX
@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 BibTeX
- Wolfram-Manfred Lippe, Franz Wagner:
Ein Entwurf zur maschinellen Unterstützung von Korrekheitsbeweisen bei Simulationen.
413-427 BibTeX
- Graham Wrightson:
On the Treatment of Equivalence Connectives in Automated Theorem Proving.
428 BibTeX
- Dominique Pastre:
Knowledge-Based Theorem Proving.
429 BibTeX
- Jacek Leszczylowski:
Edingburgh LCF Supporting FP Systems.
430 BibTeX
- H. Eigemeier, Christoph Knabe, Peter Raulefs, K. Tramer:
An Expert System for Automatic Codeing of Abstract Data Type Specifications.
431-441 BibTeX
- Eric Papon:
Inducing Non-Trivial Programs from Examples.
442-456 BibTeX
- Georg Winterstein, Manfred Dausmann, Guido Persch:
A Method for Describing Concurrent Problems Based on Logic.
457 BibTeX
- Heinz Dieter Maas:
Das Saarbrücker Übersetzungssystem SUSY.
458 BibTeX
- Anthony Jameson, Wolfgang Hoeppner, Wolfgang Wahlster:
The Natural Language System HAM-RPM as a Hotel Manager: Some Representational Prerequisites.
459-473 BibTeX
- J.-H. Jayez, P. Levasseur, M. Liscouet:
A Natural Language Processing Model.
474 BibTeX
Betriebliche Anwendungen der Datenverarbeitung / Business Applications of Electronic Data Processing
Kurzvortragssitzungen
- G. Müller, L. Dumke:
Entwicklung und Benutzung interaktiver Anwendungssyteme mit Hilfe von Methoden- und Datenbanksystemen.
536 BibTeX
- Jürgen C. W. Schröder:
Stand der Entwicklung von Bildschirmtext.
537 BibTeX
- H. Werner:
Der Thesaurus als Datenbank.
538 BibTeX
- Michael Eulenstein:
Ein Verfahren zur Aufnahme medizinischer Diagnosen in eine Datenbank.
539 BibTeX
- M. A. Ertel:
Einsatz von Hilfsmitteln der Netzplantechnik zur Planung und Steuerung des zeitlichen Ablaufes von Software-Projekten.
540 BibTeX
- Michael Payer:
Systematischer Entwurf von Makroprozessoren.
541 BibTeX
- Klaus-Jürgen Engelberg:
Plädoyer für den Datentyp Tree.
542 BibTeX
- Andreas Meier:
Flächenbezogene Datenstrukturen.
543 BibTeX
- Horst Kosanke:
Interpretation sprachorientierter Instruktionscodes in einem Timesharingsystem.
544 BibTeX
- N. Bauchrowitz, F. Simon:
Lambda-Kalkül Schemata als Kontrollstrukturen für LISP-Programme.
545 BibTeX
- 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 BibTeX
- Horst Niggemann:
Automatisierte Parallelisierung von Programmen.
547 BibTeX
- Eberhard Wegner:
Semantik-Definition der Prozeß-Programmiersprache PEARL.
548 BibTeX
- Peter Göhner:
Umwandlung von EPOS-Spezifikationen in Petri-Netze.
549 BibTeX
- Wilhelm K. Hackmann, Ekkart Rudolph, Hans Seidl:
Entwurfstechnologie auf der Grundlage von Petri-Netzen.
550 BibTeX
- Wilhelm K. Hackmann, Peter Theobald:
Modellieren und Simulieren mit dem Blockorientierten Interaktiven Simulationssystem BORIS.
551 BibTeX
- Bernd Meister:
Bedinungssyteme mit Unterbrechungen.
552 BibTeX
- J. Reyes, G. Roehmer:
Entwurf und Implementierung einer Systemumgebung für zeitdiskrete Simulation in PASCAL: PASIM.
553-554 BibTeX
- Hans-Josef Jeanrond, M. R. King, N. H. Shelness:
A Segment-Flow Model of Distributed Computing.
555 BibTeX
- Hans-H. Meyer, Werner Tesch:
Statistische Analyse des Echtzeitverhaltens von Softwaresystemen im DARTS-Entwicklungssystem.
556 BibTeX
- Monika Blum, Jürgen Höhne:
Lokalitätsverhalten bei der Pufferung von Magnetplatten-Zugriffen.
557 BibTeX
- J. Riedel:
Rechnersimulation und Leistungsmessung im Rahmen der Kapazitätsplanung von Rechnenzentren.
558 BibTeX
- Reiner W. Hartenstein, Peter Liell:
Ein Compiler für die Register Transfer-Sprache KARL-2.
559 BibTeX
- G. Stamon, Bertrand Zavidovique:
Some Problems in Parallel Image Processor Design.
560 BibTeX
- Ipke Wachsmuth:
Netze mit zeitvarianten Komponentenverzögerungen.
561 BibTeX
- Claudio Moraga:
Induktive Inferenz und mehrwertige Logik.
562 BibTeX
- Raymond Schneider:
Deadlock Prediction Using Petri Nets.
563 BibTeX
Copyright © Sat May 16 23:13:26 2009
by Michael Ley (ley@uni-trier.de)