دانلود کتاب GI — 5. Jahrestagung: Dortmund, 8.–10. Oktober 1975

فهرست مطالب :

Information systems: A survey by examples....Pages 3-34
The problem of requirements analysis for information systems applications....Pages 35-48
Speichertechnik und Rechnerarchitektur....Pages 49-56
Mathematische Logik und Informatik....Pages 57-70
L systems, sequences and languages....Pages 71-84
Rechnernetzwerke — Möglichkeiten und Grenzen....Pages 85-93
Belaestigung der Menschen durch Computer....Pages 94-106
Bewertung von Dialogsystemen zum Dokumenten-Retrieval....Pages 107-117
Ein Programmsystem zur Erfassung von Daten aus komplex strukturierten Tabellen....Pages 118-132
Ein Dialogsystem zur Methodensuche....Pages 133-148
Markierte Petrinetze und Σ — Teilsysteme....Pages 149-161
Introducing parallelism into sequential programs....Pages 162-176
Well formed programs optimal with respect to structural complexity....Pages 177-195
Merging control-flow and data-flow descriptions of structured systems in a unique notation....Pages 196-204
The construction of types of abstract machines in SIMAC....Pages 205-218
On the semantics of data bases: The semantics of data definition languages....Pages 219-234
A system to increase data independence in a hierarchical structure....Pages 235-246
Zugriffssynchronisation in Datenbanksystemen....Pages 247-258
Problems of the change of operating time of finite automata....Pages 259-268
Zur Konstruktion von Decodierautomaten....Pages 269-279
Zwei - Zähler - Automaten mit gekoppelten Bewegungen....Pages 280-289
Darstellung der Kategorie der determinierten Automaten als algebraische Kategorie....Pages 290-294
Experience of a departmental computer support network....Pages 295-309
Laborautomatisierung und Experimentkontrolle in einem hierarchisch strukturierten Computerverbund....Pages 310-318
Schnelle digitale Komponenten für grafische Sichtgeräte....Pages 319-332
Zur Strukturierung mehrstufiger Mustererkennungssysteme....Pages 333-348
Sysfap - an integrated system for application programs and data base management....Pages 349-365
Automatische Analyse und Prüfung von Eingabedaten....Pages 366-378
Implementierung von Zugriffspfaden durch Bitlisten....Pages 379-394
Kombination von sackgassenfreier Topdown- und Bottomup-Syntaxanalyse....Pages 395-408
Generierung kontextsensitiver Sprachen durch hyperbeschränkte zweischichtige Grammatiken mit einem Metazeichen....Pages 409-419
Allgemeine Σ-Grammatiken....Pages 420-428
Dynamische Speicherverwaltung durch Hardware....Pages 429-444
Neue strukturierte Sprachkonzepte zur Prozessynchronisation....Pages 445-461
Auswertungsnetze als Hilfsmittel zur Modellbildung — Probleme und deren Lösungen....Pages 462-474
Eine statistische Analyse der statischen Eigenschaften von PL/I-Programmen....Pages 475-490
Pattern matching and call by pattern....Pages 491-499
On the design of programming languages including mini algol 68....Pages 500-504
Asynchrone Schaltwerksimulation mit Ssm, einer Simulationssprache für Schaltwerke mittels mehrwertiger Logik....Pages 505-522
Polynomial separation of ternary functions....Pages 523-533
Universelle Klassen O(log(MxN))-testbarer iterativer und sequentieller Schaltungen....Pages 534-544
A model of a time-sharing system with two classes of processes....Pages 545-566
Zur optimalen Steuerung des Multiprogramminggrades in Rechnersystemen mit virtuellem Speicher und Paging....Pages 567-580
Ein zeitdiskretes Wartesystem mit unterbrechenden Prioritaeten....Pages 581-592
Ein modernes Netzwerkanalyseprogramm als begleitendes simuliertes Labor zu elektrotechnischen Vorlesungen....Pages 593-600
ALTID, eine Sprache für Lehr- und Informationsdialoge....Pages 601-610
Entwurf und Einsatz eines portablen RGU-Systems fuer die Lernersteuerung: LEGIS....Pages 611-624
SLS/1 : A translator writing system....Pages 625-641
An abstract ALGOL 68 machine and its application in a machine independent compiler....Pages 642-653
Verschränkung von Compiler-Moduln....Pages 654-666
First order logic as a tool to solve and classify problems....Pages 667-679
On evaluating recursion....Pages 680-690
Analogy categories, virtual machines, and structured programming....Pages 691-700
Kritischer Vergleich von Algorithmen für ein Scheduling-Problem....Pages 701-714
Performances of \"least reference probability\" paging algorithm under locality in program behavior....Pages 715-735
The logic of protection....Pages 736-751