![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
10. GI Jahrestagung 1980: Saarbrücken
- Reinhard Wilhelm:
GI - 10. Jahrestagung, Saarbrücken, 30. September - 2. Oktober 1980, Proceedings. Informatik-Fachberichte 33, Springer 1980, ISBN 3-540-10388-0
Hauptvorträge
- Edward A. Feigenbaum:
Expert Systems: Looking Back and Looking Ahead. 1-14 - W. Frank King III:
Relational Database Systems: Where We Stand Today. 15-44 - Roger M. Needham:
Capabilities and Protection. 45-53 - Zvi Galil, Wolfgang J. Paul:
Effizienz Paralleler Rechner. 54-64 - Joseph Weizenbaum:
Die Rezeption des Buches "Die Macht der Computer und die Ohnmacht der Vernunft". 65
Software-Entwicklung, Software-Pflege
- Knut Ripken:
Application of Meta-Compilation Methods in the Ada Test Translator Development. 66-77 - Alain Tarabout, Bernard Maillot, Irène Vatton:
Abstraction and Refinefent Principles Applied to the Conception of Functionally Distributed Systems. 78-91 - Hans Keutgen, Hans-H. Meyer:
DARTS: Ein Softwareentwurfswerkzeug für Echtzeitprogramme. 92-105 - Ralf Steinbrüggen:
The Use of Nested Scheme Parameters in the System CIP. 106 - Wolfgang Hesse:
Das Projektmodell - Eine Grundlage für die Ingenieurmäßige Software-Entwicklung. 107-122 - Hans-Joachim Habermann, Jürgen Kirbach:
Praxisbezogene Systementwicklung aus ganzheitlicher Sicht. 123-138 - Horst Biller:
Ein Einführung der Strukturierten-Software-Dekompositions-Methode bei GOLEM. 139-149 - Hubert Österle:
Eine Methode zum Entwurf betrieblicher Informationssyteme. 150-165
Datenbanken / Data Base Systems
- Bernd Breutmann, Rosmarie Mauer:
Konstrukte zur Darstellung und Prüfung semantischer Regeln. 166-180 - Carl August Zehnder, Bertram Thurnherr:
Dynamic Consistency Constraints in the Conceptual Schema and Their Connections with the External Schema. 181-195 - Colette Rolland, Christian Richard:
Dynamics in Information System Design and Management. 196-212 - Hartmut Wedekind:
Konstruktive Abstrakte Datentypen. 213-224 - Hermann Bense:
Modularer Datenbank Entwurf für Kleinrechner. 225-242 - Theo Härder, Andreas Reuter:
Abhängigkeiten von Systemkomponenten in Datenbanksystemen. 243-257 - Patrick Bosc:
An Interface to Interrogate Heterogeneous Distributed Databases. 258 - Peter Dadam:
Rekonstruktion eines global-konsistenten Zustandes in verteilten Datenbank-Systemen. 259 - Michael Böhm, Martin Riemer, Karl Heinz Höhne:
Implementation of a Relational Data Base System on Top of a Commercial DBMS. 260
Schutzmechanismen in Rechensystemen / Protection Mechanisms in Computing Systems
- Klaus R. Dittrich, Karlheinz Hug, Peter Kammerer, Dieter Lienert, Hans Mau, Klaus Wachsmuth:
Schutz im OSKAR-Betriebssystem. 261-276 - D. Herman, Michel Raynal:
Synchronization and Protection Features for Data Abstraction. 277-291 - Theo von Bomhard, Hans vor der Brück, Norbert Ramsperger:
Probleme beim Entwurf sicherer Datenbanksysteme. 292-303 - Wolfgang Ballin:
Subjektorientierte Zugriffsautorisierung. 304 - S. Keramidis, Manfred Reitenspieß:
Schutzmechanismen in einem Betriebssystem für eine Multimikrocomputerkonfiguration. 305
Neuere Tendenzen in der theoretischen Informatik und ihre Auswirkungen auf die Praxis / New Tendencies in Theoretical Computer Science and their Impact on Practical Problems
- Walter Dosch, Martin Wirsing, Giorgio Ausiello, Gianfranco Mascari:
Polynomials - The Specification, Analysis and Development of an Abstract Data Type. 306-320 - Helmut J. Ludwigs:
A LR-Like Analyzer Algorithm for Graphs. 321-335 - Bernd Schmidt:
Platz- und zeiteffiziente Realisierung des Laufzeitkellers bei blockstrukturierten Programmiersprachen. 336-348 - Stefan Reisch:
Ein Sortierverfahren für Registermaschinen (Zusammenfassung). 349 - Michael Breder:
Sortieren in Magnetblasenspeichern. 350 - Hagen Huwig:
Das P=NP-Problem in der Kategorie der partiellen Ordnungen mit 2-stelligen Suprema. 351-364 - Peter Klein, Friedhelm Meyer auf der Heide:
Untere Zeitschranken für das Rucksack-Problem. 365-374 - Ralf Hartmut Güting, Hans-Peter Kriegel:
Multidimensional B-tree: An Efficient Dynamic File Structure for Exact Match Queries. 375-388 - Gerhard Jaeschke:
Towards Single Probe Retrieval. 389-399
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
- Gerhard 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, Harald Zimmermann:
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 Y. 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.