Abstract is missing.
- Information Systems: A Survey by ExamplesPeter C. Lockemann. 3-34
- The Problem of Requirements Analysis for Information Systems ApplicationsRobert L. Ashenhurst. 35-48
- Speichertechnik und RechnerarchitekturHans-Otto Leilich. 49-56
- Mathematische Logik und InformatikKonrad Zuse. 57-70
- L Systems, Sequences and LanguagesGrzegorz Rozenberg. 71-84
- Rechnernetzwerke - Möglichkeiten und GrenzenLutz Richter. 85-93
- Belästigung der Menschen durch ComputerHartmann J. Genrich. 94-105
- Bewertung von Dialogsystemen zum Dokumenten-RetrievalFriedrich Gebhardt. 109-117
- Ein Programmsystem zur Erfassung von Daten aus komplex strukturierten TabellenK.-H. Dreckmann, G. Hofmann. 118-132
- Ein Dialogsystem zur MethodensucheR. Erbe, Georg Walch. 133-147
- Martierte Petrinetze und Sigma-TeilsystemeEike Best, Hans Albrecht Schmid. 151-161
- Introducing Parallelism into Sequential ProgramsEike Hagen Riedemann. 162-175
- Well Formed Programs Optimal with Respect to Structural ComplexityGiorgio De Michelis, Carla Simone. 179-195
- Merging Control-Flow and Data-Flow Descriptions of Structured Systems in a Unique NotationM. Maiocchi, Roberto Polillo. 196-204
- The Construction of Types of Abstract Machines in SIMACC. Daquin, C. Girault. 205-217
- On the Semantics of Data Bases: The Semantics of Data Definition LanguagesHorst Biller, Wolfgang Glatthaar. 221-234
- A System to Increase Data Independence in a Hierarchical StructureClaude Frasson. 235-246
- Zugriffssynchronisation in DatenbanksystemenGunter Schlageter. 247-258
- Problems of the Change of Operating Time of Finite AutomataJerzy W. Grzymala-Busse. 261-268
- Zur Konstruktion von DecodierautomatenIngrid Brüchner. 269-279
- Zwei-Zähler-Automaten mit gekoppelten BewegungenBurchard von Braunmühl. 280-289
- Darstellung der Kategorie der determinierten Automaten als algebraische KategorieDietmar Wätjen. 290-294
- Experience of a Departmental Computer Support NetworkDonald R. Innes, S. H. Leong, M. D. Langfield, James L. Alty. 297-309
- Laborautomatisierung und Experimentkontrolle in einem hierarchisch strukturierten ComputerverbundHagen Hultzsch. 310-318
- Schnelle Digitale Komponenten für grafische SichtgeräteWolfgang Straßer. 319-332
- Zur Strukturierung mehrstufiger MustererkennungssystemeH. Petersen, Norbert Vorstädt. 333-347
- SYSFAP - An Integrated System for Application Programs and Data Base ManagementE. Baar, G. Deprez. 351-365
- Automatische Analyse und Prüfung von EingabedatenPaul F. Rennert. 366-378
- Implementierung von Zugriffspfaden durch BitlistenTheo Härder. 379-393
- Kombination von sackgassenfreier Topdown- und Bottomup-SyntaxanalyseDietrich Thimm. 397-408
- Generierung kontextsensitiver Sprachen durch hyperbeschränkte zweischichtige Grammatiken mit einem MetazeichenHarry Feldmann. 409-419
- Allgemeine Sigma-GrammatikenManfred Opp. 420-428
- Dynamische Speicherverwaltung durch HardwareThomas Flick, H. Liebig. 431-444
- Neue strukturierte Sprachkonzepte zur ProzessynchronisationPeter Kammerer. 445-461
- Auswertungsnetze als Hilfsmittel zur Modellbildung: Probleme und deren LösungenL. Stewen. 462-474
- Eine statistische Analyse der statischen Eigenschaften von PL/I-ProgrammenP. Nawrot, Peter Rechenberg. 477-490
- Pattern Matching and Call by PatternGiorgio Levi, Franco Sirovich. 491-499
- On the Design of Programming Languages Including Mini ALgol 68Leendert Ammeraal. 500-504
- Asynchrone Schaltwerksimulation mit SSM, einer Simulationssprache für Schaltwerke mittels mehrwertiger LogikWinfried Görke. 507-522
- Polynomial Separation of Ternary FunctionsClaudio Moraga. 523-533
- Universelle Klassen O(log(MN))-testbarer iterativer und sequentieller SchaltungenWolfgang Coy. 534-544
- A Model of a Time-Sharing System with two Classes of ProcessesAlexandre Brandwajn. 547-566
- Zur Optimalen Steuerung des Multiprogramminggrades in Rechnersystemen mit virtuellem Speicher und PagingPaul J. Kühn. 567-580
- Ein zeitdiskretes Wartesystem mit unterbrechenden PrioritätenBernd Meister. 581-592
- Ein modernes Netzwerkanalyseprogramm als begleitendes simuliertes Labor zu elektrotechnischen VorlesungenH. Nielinger. 595-600
- ALTID, eine Sprache für Lehr- und InformationsdialogeR. Hansen, E.-G. Hoffmann, F. Simon. 601-610
- Entwurf und Einsatz eines portablen RGU-Systems für die Lernersteuerung: LEGISArndt Bode. 611-623
- SLS/1: A Translator Writing SystemJohan Lewi, Karel De Vlaminck, J. Huens, Peter Mertens. 627-641
- An Abstract ALGOL 68 Machine and its Application in a Machine Independent CompilerWilfried Koch, Christoph Oeters. 642-653
- Verschränkung von Compiler-ModulnHarald Ganzinger, Reinhard Wilhelm. 654-665
- First Order Logic as a Tool to Solve and Classify ProblemsDaniele Marini, Pierangelo Miglioli, Mario Ornaghi. 669-679
- On Evaluating RecursionPeter Raulefs. 680-690
- Analogy Categories, Virtual Machines, and Structured ProgrammingBrian R. Gaines. 691-699
- Kritischer Vergleich von Algorithmen für ein Scheduling-ProblemK. Ecker. 703-714
- Performance of Least Reference Probability Paging Algorithm under Locality in Program BehaviorTrân-Quôc-Tê. 715-735
- The Logic of ProtectionLadislav J. Kohout, Brian R. Gaines. 736-751